Showing 701 - 720 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.18s Refine Results
  1. 701
    Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 702
    Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    by Ong, Luke
    Published in Springer e-books (2005)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 703
    Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    by Ésik, Zoltán
    Published in Springer e-books (2006)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 704
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 705
    ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 706
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 707
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Published in Springer eBooks (2014)
    Table of Contents: “... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 708
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Constructed Automata Programs: A Case Study -- A Framework to Synergize Partial Order Reduction with State...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 709
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
    by Abdallah, Ali E.
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 710
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    by Romijn, Judi M. T.
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 711
    Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    by Crnkovic, Ivica
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 712
    Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 713
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 714
    Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 715
    Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings /
    by Oquendo, Flavio
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 716
    Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 717
    JRuby Rails Web Application Development
    by Vohra, Deepak
    Published in Springer eBooks (2014)
    Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 718
    The Developer's Guide to Debugging
    by Grötker, Thorsten
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 719
    Computational Linguistics and Intelligent Text Processing (vol. # 3878) 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
    by Gelbukh, Alexander
    Published in Springer e-books (2006)
    Subjects: “...Translators (Computer programs) 306125...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 720
    Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed