Showing 521 - 540 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.17s Refine Results
  1. 521
    Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Automata theory and formal languages -- Principles and semantics of programming languages...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 522
    Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “...Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 523
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... and Ontological Reasoning -- Program Transformation Based on Symbolic Execution and Deduction -- Constraint...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 524
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 525
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 526
    The Nature of Language Evolution, Paradigms and Circuits /
    by Hillert, Dieter
    Published in Springer eBooks (2014)
    Table of Contents: “... Aphasia -- 11.2 Communicative Disorders -- Chapter 12. Language Acquisition -- 12.1 The Genetic Program...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 527
    Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
    by Durand-Lose, Jérôme
    Published in Springer e-books (2007)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 528
    Language teacher development in digital contexts
    Published 2022
    Table of Contents: “... identities in an online MA TESOL program / Angel N. Steadman -- Gameful teaching : exploring language teacher...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  9. 529
    ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
    by Black, Andrew
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 530
    ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
    by Thomas, Dave
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 531
    Charting a New Course: Natural Language Processing and Information Retrieval Essays in Honour of Karen Spärck Jones /
    by Tait, John I.
    Published in Springer e-books (2005)
    Subjects: “...Translators (Computer programs) 306125...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 532
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published in Springer eBooks (2015)
    Table of Contents: “... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 533
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Table of Contents: “... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 534
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    by Arun-Kumar, S.
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 535
    FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
    by Ramanujam, R.
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 536
    Mastering machine learning with R advanced machine learning techniques for building smart applications with R 3.5
    by Lesmeister, Cory
    Published 2019
    Subjects: “...R (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  17. 537
    A Beginner's Guide to Scala, Object Orientation and Functional Programming
    by Hunt, John
    Published in Springer eBooks (2014)
    Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 538
    Pro Apache Beehive
    by Mittal, Kunal
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 539
    AutoCAD 2006 VBA A Programmer’s Reference /
    by Sutphin, Joe
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 540
    Beginning Apache Struts From Novice to Professional /
    by Doray, Arnold
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed