Showing 781 - 800 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.11s Refine Results
  1. 781
    Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer Science. 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 782
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 783
    DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... of Simple Shapes Using Random -- Probability 1 Computation with Chemical Reaction Networks...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 784
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 785
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    by Baader, Franz
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 786
    Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach /
    by Jörges, Sven
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 787
    Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    by de Boer, Frank S.
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 788
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    by Boer, Frank S.
    Published in Springer eBooks (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 789
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 790
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    by Bonsangue, Marcello M.
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 791
    Python Algorithms Mastering Basic Algorithms in the Python Language /
    by Hetland, Magnus Lie
    Published in Springer eBooks (2014)
    Subjects: “...Computer Science. 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 792
    An Integrated Approach to Software Engineering
    by Jalote, Pankaj
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 793
    Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
    Published in Springer eBooks (2014)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 794
    Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
    by Dearle, Alan
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 795
    The Integration of Phonetic Knowledge in Speech Technology
    by Barry, William J.
    Published in Springer e-books (2005)
    Subjects: “...Translators (Computer programs) 306125...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 796
    System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 797
    The Pedagogy of English as an International Language Perspectives from Scholars, Teachers, and Students /
    Published in Springer eBooks (2014)
    Table of Contents: “...Foreword -- Chapter One: The Pedagogy of English as an International Language (EIL): More...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 798
    Attention and Vision in Language Processing
    Published in Springer eBooks (2015)
    Table of Contents: “...Section 1: Attention and Vision in Spoken Language Comprehension and Production -- Chapter 1. Real...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 799
    Foreign Language Education in Japan Exploring Qualitative Approaches /
    Published in Springer eBooks (2015)
    Table of Contents: “... and Its Local Implementation in a Weekend Japanese Language School in the United States -- Identity, Place...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 800
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Published in Springer eBooks (2014)
    Table of Contents: “... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed