Отображение 1,161 - 1,180 результаты of 1,266 для поиска '"Logic."', время запроса: 0.05сек. Отмена результатов
  1. 1161
    Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  2. 1162
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  3. 1163
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  4. 1164
    SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  5. 1165
    Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  6. 1166
    Rough Sets and Knowledge Technology First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings
    по Wang, Guoyin
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  7. 1167
    LATIN 2008: Theoretical Informatics 8th Latin American Symposium, BГєzios, Brazil, April 7-11, 2008. Proceedings /
    по Laber, Eduardo Sany
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 1168
    Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings /
    по Chen, Falai
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  9. 1169
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  10. 1170
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  11. 1171
    Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  12. 1172
    Computer Aided Systems Theory - EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
    по Moreno Díaz, Roberto
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  13. 1173
    Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers /
    по Schilder, Frank
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  14. 1174
    Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /
    по Prodan, Radu
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 1175
    Computational Intelligence (vol. # 4114) International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II
    по Huang, De-Shuang
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  16. 1176
    Artificial Intelligence and Soft Computing - ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings
    по Rutkowski, Leszek
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  17. 1177
    Advances in Natural Language Processing 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
    по Salakoski, Tapio
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  18. 1178
    LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
    по Correa, José R.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  19. 1179
    Advances in Geometric Modeling and Processing 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings
    по Kim, Myung-Soo
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  20. 1180
    Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
    по Yeung, Daniel S.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток