Showing 561 - 580 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.54s Refine Results
  1. 561
    From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /
    Published in Springer eBooks (2013)
    Table of Contents: “...Foreword -- Introduction -- Nature as Quantum Computer -- Jack Schwartz Meets Karl Marx -- SETL...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 562
    Semantics with Applications: An Appetizer
    by Nielson, Hanne Riis
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 563
    Modelling Computing Systems Mathematics for Computer Science /
    by Moller, Faron, Struth, Georg
    Published in Springer eBooks (2013)
    Table of Contents: “...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 564
    Reliable Software Technologies вЂ" Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17вЂ"21, 2002 Proceedings /
    by Blieberger, Johann
    Published 2006
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 565
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 566
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    by Nielson, Hanne Riis
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 567
    25 Years of Model Checking History, Achievements, Perspectives /
    by Grumberg, Orna
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 568
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /
    by Cousot, Patrick
    Published 2006
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 569
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... analysis -- Model checking -- New applications -- Program transformation -- Program verification...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 570
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    by Puebla, Germán
    Published in Springer e-books (2007)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 571
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 572
    The Pandas Workshop a Comprehensive Guide to Using Python for Data Analysis with Real-World Case Studies
    by Bateman, Blaine
    Published 2022
    Subjects: “...Python (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  13. 573
    The statistics and calculus workshop a comprehensive introduction to mathematics in Python for artificial intelligence applications
    by Farrell, Peter, 1966-
    Published 2020
    Table of Contents: “... for Statistics -- Introduction -- Scientific Computing and NumPy Basics -- NumPy Arrays -- Vectorization...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
  14. 574
    Temporal Logic and State Systems
    by Kröger, Fred
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 575
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 576
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 577
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 578
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published in Springer eBooks (2014)
    Table of Contents: “... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 579
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 580
    C++ Data Structures and Algorithms Learn how to write efficient code to build scalable and robust applications in C++.
    by Anggoro, Wisnu
    Published 2018
    Subjects: “...C++ (Computer program language)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed