Showing 681 - 696 results of 696 for search '"meaning."', query time: 0.06s Refine Results
  1. 681
    Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 682
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 683
    Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 684
    Software Engineering for Collective Autonomic Systems The ASCENS Approach /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 685
    Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 686
    Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 687
    Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 688
    Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 689
    Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 690
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 691
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 692
    Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 693
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 694
    Иностранный язык (английский). Модуль 2. English for the first-year students of IHTP электронный курс
    Subjects: “...means of transport...”
    Get full text
    Book
  15. 695
    Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 696
    Свойства химических соединений и лекарств как функции их структуры
    Subjects: “...Arithmetic Mean Toxicity (AMT model), модель средней арифметической токсичности...”
    Перейти в каталог НБ ТГУ
    Book
Search Tools: Get RSS Feed