Отображение 321 - 340 результаты of 696 для поиска '"meaning."', время запроса: 0.06сек. Отмена результатов
  1. 321
    Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
    по Aksit, Mehmet
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 322
    Logic Programming (vol. # 3668) 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
    по Gabbrielli, Maurizio
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 323
    Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
    по Lightfoot, David
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 324
    SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
    по Gaudin, Emmanuel
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 325
    Model Driven Architecture вЂ" Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /
    по Schieferdecker, Ina
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 326
    Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
    по Dearle, Alan
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 327
    Logic Programming (vol. # 4079) 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    по Etalle, Sandro
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 328
    SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
    по Prinz, Andreas
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 329
    Multiparadigm Programming in Mozart Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
    по Van Roy, Peter
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 330
    Model-Driven Architecture - Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
    по Rensink, Arend
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 331
    Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
    по Hagiya, Masami
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 332
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    по Futatsugi, Kokichi
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 333
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    по Beckert, Bernhard
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 334
    Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
    по Akehurst, David
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 335
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 336
    Theoretical Aspects of Computing вЂ" ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 337
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 338
    User-Level Workflow Design A Bioinformatics Perspective /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 339
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 340
    Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток