Отображение 761 - 780 результаты of 1,413 для поиска 'computers programming (languages OR language)', время запроса: 0.14сек. Отмена результатов
  1. 761
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 762
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    по Bošnacki, Dragan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 763
    Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
    по Fiadeiro, José Luiz
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 764
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    по Yorav, Karen
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 765
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 766
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Programming Languages, Compilers, Interpreters. 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 767
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 768
    Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 769
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21вЂ"22, 2002 Revised Papers /
    по Cortesi, Agostino
    Публикация 2006
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 770
    Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...My Early Education and Concurrent Objects -- Object-Oriented Concurrent Programming in ABCL/1...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 771
    ECOOP 2002 вЂ" Object-Oriented Programming 16th European Conference MГЎlaga, Spain, June 10вЂ"14, 2002 Proceedings /
    по Magnusson, Boris
    Публикация 2006
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 772
    Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
    по Fisher, Michael
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Computer Science 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 773
    Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 774
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer programming. 439171...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 775
    Advances in Generative Lexicon Theory
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Translators (Computer programs). 306125...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 776
    Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Computer Science 155490...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 777
    Software Process Modeling
    по Acuna, Silvia T.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 778
    A Software Process Model Handbook for Incorporating People's Capabilities
    по Acuna, Silvia T.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 779
    Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
    по Lämmel, Ralf
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Programming Languages, Compilers, Interpreters 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 780
    OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Programming Languages, Compilers, Interpreters. 303287...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток