Отображение 481 - 500 результаты of 696 для поиска '"meaning."', время запроса: 2.15сек. Отмена результатов
  1. 481
    Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings /
    по Suzuki, Kenji
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 482
    Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    по Kobayashi, Naoki
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 483
    Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    по Giesl, Jürgen
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 484
    Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    по Graf, Susanne
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 485
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    по Meyer, Bertrand
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 486
    Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
    по Al-Begain, Khalid
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 487
    Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 488
    Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings /
    по Winckler, Marco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 489
    Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
    по Tuyls, Karl
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 490
    Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 491
    Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 492
    Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 493
    Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 494
    FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 495
    Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 496
    Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 497
    Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 498
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    по Filliatre, Jean-Christophe
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 499
    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul
    по Boissier, Olivier
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 500
    Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток