Отображение 221 - 240 результаты of 654 для поиска '"mathematical logic and formal language."', время запроса: 0.06сек. Отмена результатов
  1. 221
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 222
    Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 223
    Reasoning Web. Reasoning on the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 224
    Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 225
    Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 226
    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 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 227
    Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    по Ésik, Zoltán
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 228
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    по Etessami, Kousha
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 229
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    по Hurd, Joe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 230
    Complexity Theory Exploring the Limits of Efficient Algorithms /
    по Wegener, Ingo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 231
    Advances in Case-Based Reasoning 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4вЂ"7, 2002 Proceedings /
    по Craw, Susan
    Публикация 2006
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 232
    Mathematical Problems from Applied Logic I Logics for the XXIst Century /
    по Gabbay, Dov M.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 233
    Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    по Yi, Kwangkeun
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 234
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    по Dershowitz, Nachum
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 235
    KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, OsnabrГјck, Germany, September 10-13, 2007. Proceedings /
    по Hertzberg, Joachim
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 236
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 237
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    по Damm, Werner
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 238
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    по Schneider, Klaus
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 239
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 240
    Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    по Hankin, Chris
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток