Отображение 501 - 520 результаты of 696 для поиска '"meaning."', время запроса: 0.06сек. Отмена результатов
  1. 501
    Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
    по Jedrzejowicz, Joanna
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 502
    Principles of the Spin Model Checker
    по Ben-Ari, Mordechai
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 503
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
    по Barthe, Gilles
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 504
    Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    по Adi, Asaf
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 505
    Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
    по Královič, Rastislav
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 506
    System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    по Gotzhein, Reinhard
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 507
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
    по Barthe, Gilles
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 508
    Programming Languages and Systems (vol. # 3924) 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
    по Sestoft, Peter
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 509
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    по Arvind, V.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 510
    Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 511
    Computer Safety, Reliability, and Security (vol. # 3688) 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
    по Dahll, Gustav
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 512
    The Semantic Web вЂ" ISWC 2002 First International Semantic Web Conference Sardinia, Italy, June 9вЂ"12, 2002 Proceedings /
    по Horrocks, Ian
    Публикация 2006
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 513
    Principles and Practice of Constraint Programming вЂ" CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings /
    по Bessière, Christian
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 514
    Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
    по Kreowski, Hans-Jörg
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 515
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    по Misra, Jayadev
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 516
    Computer Safety, Reliability, and Security (vol. # 4166) 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    по Górski, Janusz
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 517
    Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 518
    Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
    по Saglietti, Francesca
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 519
    Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
    по Kučera, Luděk
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 520
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток