Отображение 1,141 - 1,160 результаты of 1,266 для поиска '"Logic."', время запроса: 0.07сек. Отмена результатов
  1. 1141
    Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  2. 1142
    Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  3. 1143
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 1144
    A Modular Calculus for the Average Cost of Data Structuring
    по Schellekens, Michel
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  5. 1145
    Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings /
    по Kapetanios, Epaminondas
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  6. 1146
    Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    по Corradini, Andrea
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  7. 1147
    Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers /
    по Branco, António
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  8. 1148
    Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings
    по Yao, JingTao
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  9. 1149
    Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings /
    по Masulli, Francesco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  10. 1150
    Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
    по Hong, Hoon
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  11. 1151
    Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Arithmetic and Logic Structures....”
    Полный текст
    Электронная книга
  12. 1152
    Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Arithmetic and Logic Structures....”
    Полный текст
    Электронная книга
  13. 1153
    Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  14. 1154
    Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  15. 1155
    Programming Languages An Active Learning Approach /
    по Lee, Kent
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  16. 1156
    Bestimmt die Sprache unser Weltbild? zur Kritik der gegenwärtigen bürgerlichen Sprachphilosophie
    по Albrecht, Erhard
    Публикация 1974
    Предметы: “...Logical positivism....”
    Книга
  17. 1157
    Fuzzy Systems and Knowledge Discovery (vol. # 3614) Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
    по Jin, Yaochu
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  18. 1158
    Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  19. 1159
    Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  20. 1160
    Engineering Secure Future Internet Services and Systems Current Research /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток