Отображение 901 - 920 результаты of 1,294 для поиска '"Logic"', время запроса: 0.06сек. Отмена результатов
  1. 901
    Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.
    по Nicola, Rocco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 902
    Object-Oriented Technology ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18-22, 2001 Proceedings /
    по Frohner, Ákos
    Публикация 2006
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 903
    Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192) 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings
    по Mohr, Bernd
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Arithmetic and Logic Structures 307979...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 904
    Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
    по Paech, Barbara
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 905
    Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 906
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    по Backhouse, Roland
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 907
    Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 908
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 909
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 910
    Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 911
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 912
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 913
    Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 914
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 915
    Automotive Software- Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
    по Broy, Manfred
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 916
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 917
    Philosophy of logic
    Публикация 2007
    Предметы: “...logic. 295753...”
    Publisher description
    Перейти в каталог НБ ТГУ
    Книга
  18. 918
    Programming Multi-Agent Systems (vol. # 3346) Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    по Bordini, Rafael H.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 919
    Computational Linguistics and Intelligent Text Processing (vol. # 3406) 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 920
    Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    по Rust, Heinrich
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток