Showing 741 - 760 results of 1,413 for search 'computers programming (languages OR language)', query time: 0.15s Refine Results
  1. 741
    Software Engineering 1 Abstraction and Modelling /
    by Bjørner, Dines
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 742
    Software Engineering 3 Domains, Requirements, and Software Design /
    by Bjørner, Dines
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 743
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    by Davies, Jim
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 744
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    by Virbitskaite, Irina
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 745
    Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
    by Meuter, Wolfgang
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 746
    Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15вЂ"18, 2002 Proceedings /
    by Butler, Michael
    Published 2006
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 747
    Model-Based Testing of Reactive Systems Advanced Lectures
    by Broy, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 748
    Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    by Cousot, Radhia
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 749
    Fundamental Approaches to Software Engineering (vol. # 3442) 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
    by Cerioli, Maura
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 750
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    by Emerson, E. Allen
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 751
    Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    by Banach, Richard
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 752
    Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
    by Godefroid, Patrick
    Published in Springer e-books (2005)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 753
    Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
    by Baresi, Luciano
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 754
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    by Logozzo, Francesco
    Published in Springer eBooks (2008)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 755
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
    by Ur, Shmuel
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 756
    Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
    by Valmari, Antti
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 757
    Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    by Liu, Zhiming
    Published in Springer e-books (2006)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 758
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    by Cook, Byron
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 759
    Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
    by Bin, Eyal
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 760
    Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
    by Dwyer, Matthew B.
    Published in Springer e-books (2007)
    Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed