Отображение 1,081 - 1,100 результаты of 1,266 для поиска '"Logic."', время запроса: 0.06сек. Отмена результатов
  1. 1081
    The Semantic Web — ISWC 2002 First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings /
    по Horrocks, Ian
    Публикация 2006
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 1082
    Principles and Practice of Semantic Web Reasoning (vol. # 3703) Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
    по Fages, François
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  3. 1083
    Computer Safety, Reliability, and Security (vol. # 3688) 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
    по Dahll, Gustav
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 1084
    Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  5. 1085
    PRICAI 2014: Trends in Artificial Intelligence 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  6. 1086
    Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  7. 1087
    Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  8. 1088
    Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  9. 1089
    Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  10. 1090
    Основы языка VHDL [учебное пособие для студентов учреждений, обеспечивающих получение высшего образования по специальностям вычислительной техники, радиоэлектроники и информатики]
    по Бибило, Петр Николаевич
    Публикация 2007
    Предметы: “...STD LOGIC 1164, пакет программ...”
    Полный текст
    Электронная книга
  11. 1091
    Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
    по Alonso, Eduardo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  12. 1092
    Conceptual Modeling - ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
    по Delcambre, Lois
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  13. 1093
    Mathematical Linguistics
    по Kornai, András
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  14. 1094
    Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  15. 1095
    Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  16. 1096
    Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  17. 1097
    Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  18. 1098
    Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  19. 1099
    Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  20. 1100
    Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток