Отображение 401 - 420 результаты of 2,055 для поиска '"programs"', время запроса: 0.07сек. Отмена результатов
  1. 401
    Mathematical Problems from Applied Logic I Logics for the XXIst Century /
    по Gabbay, Dov M.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 402
    Words and Intelligence I Selected Papers by Yorick Wilks
    по Ahmad, Khurshid
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  3. 403
    Modern Multidimensional Scaling Theory and Applications /
    по Borg, Ingwer
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  4. 404
    The Basics of S-PLUS
    по Krause, Andreas
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  5. 405
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    по Beckert, Bernhard
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  6. 406
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  7. 407
    Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
    по Seidl, Helmut
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  8. 408
    Argumentation in Multi-Agent Systems Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papers /
    по Maudet, Nicolas
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  9. 409
    Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers /
    по Rahwan, Iyad
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  10. 410
    Software Composition (vol. # 4089) 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
    по Löwe, Welf
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 411
    Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
    по Bravetti, Mario
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 412
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    по Gurevich, Yuri
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 413
    Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers
    по Hofmeister, Christine
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 414
    Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
    по Jermann, Christophe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 415
    Argumentation in Multi-Agent Systems (vol. # 4049) Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers
    по Parsons, Simon
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  16. 416
    Component-Based Software Engineering (vol. # 4063) 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings
    по Gorton, Ian
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  17. 417
    Developments in Language Theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
    по De Felice, Clelia
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 418
    Implementation and Application of Automata (vol. # 4094) 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
    по Ibarra, Oscar H.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 419
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Programming Languages, Compilers, Interpreters....”
    Полный текст
    Электронная книга
  20. 420
    Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток