Отображение 1 - 20 результаты of 94 для поиска '"Computer logic."', время запроса: 0.07сек. Отмена результатов
  1. 1
    Validation of Evolving Software
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Transactions on Petri Nets and Other Models of Concurrency X
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 3
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    по Martínez, Luis, Rodriguez, Rosa M., Herrera, Francisco
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    Dag Prawitz on Proofs and Meaning
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 7
    Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 8
    Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 10
    Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 12
    Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 13
    Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 14
    Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 15
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    по Jureta, Ivan
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 16
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 17
    Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 18
    Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 19
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 20
    Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток