Отображение 301 - 320 результаты of 684 для поиска '"Logics and Meanings of Programs."', время запроса: 0.07сек. Отмена результатов
  1. 301
    Programming Languages and Operational Semantics A Concise Overview /
    по Fernández, Maribel
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 302
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 303
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 304
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 305
    Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 306
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 307
    Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
    по Aceto, Luca
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 308
    Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
    по Baldoni, Matteo
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 309
    Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 310
    Model Driven Architecture - Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
    по Hartman, Alan
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 311
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 312
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 313
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 314
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 315
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 316
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 317
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 318
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 319
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 320
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток