Showing 721 - 740 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.11s Refine Results
  1. 721
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Computer Science. 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 722
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    by Etessami, Kousha
    Published in Springer e-books (2005)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 723
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Ball, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Computer Science 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 724
    Variations on Constants Flow Analysis of Sequential and Parallel Programs
    by Müller-Olm, Markus
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 725
    Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
    by Di Martino, Beniamino
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 726
    Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192) 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings
    by Mohr, Bernd
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 727
    Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
    by Boulé, Marc
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 728
    Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute /
    by Williams, John
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 729
    Term Rewriting and Applications (vol. # 4098) 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    by Pfenning, Frank
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 730
    Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    by Giesl, Jürgen
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 731
    Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer Science. 155490...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 732
    Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
    by Schmidt, Heinz W.
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 733
    Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
    by Lumpe, Markus
    Published in Springer eBooks (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 734
    Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
    by Pautasso, Cesare
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 735
    Building and Using Comparable Corpora
    Published in Springer eBooks (2013)
    Table of Contents: “... Corpora between Languages. S.Sharoff -- Exploiting Comparable Corpora for Lexicon Extraction: Measuring...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 736
    Software Composition (vol. # 3628) 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    by Assmann, Uwe
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 737
    Component-Based Software Engineering (vol. # 4063) 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings
    by Gorton, Ian
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 738
    Software Composition (vol. # 4089) 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
    by Löwe, Welf
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 739
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    by Beckert, Bernhard
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 740
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed