Отображение 81 - 94 результаты of 94 для поиска '"Computer logic."', время запроса: 0.08сек. Отмена результатов
  1. 81
    Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 82
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 83
    Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 84
    Software Engineering for Collective Autonomic Systems The ASCENS Approach /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 85
    Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 86
    Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 87
    Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 88
    Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 89
    Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 90
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 91
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 92
    Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 93
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 94
    Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток