Отображение 881 - 900 результаты of 1,294 для поиска '"Logic."', время запроса: 0.06сек. Отмена результатов
  1. 881
    MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  2. 882
    Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  3. 883
    Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  4. 884
    Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  5. 885
    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....”
    Полный текст
    Электронная книга
  6. 886
    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....”
    Полный текст
    Электронная книга
  7. 887
    Learning Theory (vol. # 3559) 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings
    по Auer, Peter
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  8. 888
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 889
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    по Backhouse, Roland
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 890
    Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  11. 891
    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...”
    Полный текст
    Электронная книга
  12. 892
    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...”
    Полный текст
    Электронная книга
  13. 893
    Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /
    по Ayguadé, Eduard
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Arithmetic and Logic Structures...”
    Полный текст
    Электронная книга
  14. 894
    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...”
    Полный текст
    Электронная книга
  15. 895
    Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings /
    по Sawyer, Pete
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  16. 896
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 897
    Learning Theory (vol. # 4005) 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings
    по Simon, Hans Ulrich
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  18. 898
    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...”
    Полный текст
    Электронная книга
  19. 899
    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...”
    Полный текст
    Электронная книга
  20. 900
    MICAI 2006: Advances in Artificial Intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток