Отображение 541 - 560 результаты of 696 для поиска '"meaning."', время запроса: 0.06сек. Отмена результатов
  1. 541
    Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 542
    Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 543
    Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 544
    Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 545
    Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 546
    Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 547
    Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
    по Malenfant, Jacques
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 548
    Programming Languages and Systems (vol. # 3444) 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,
    по Sagiv, Mooly
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 549
    Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 550
    Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 551
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    по Fitzgerald, John
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 552
    Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 553
    Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 554
    Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 555
    Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 556
    Natural Language Processing and Information Systems (vol. # 3513) 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    по Métais, Elisabeth
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 557
    Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
    по Aldini, Alessandro
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 558
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    по Arun-Kumar, S.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 559
    Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II /
    по Jacko, Julie A.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 560
    Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III /
    по Jacko, Julie A.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток