Отображение 441 - 460 результаты of 1,294 для поиска '"Logic"', время запроса: 0.05сек. Отмена результатов
  1. 441
    Transactions on Rough Sets XIX
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 442
    Problems of Normativity, Rules and Rule-Following
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 443
    Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 444
    Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 445
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    по Derrick, John, Boiten, Eerke A.
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 446
    Constructing Correct Software
    по Cooke, John
    Опубликовано в: Springer eBooks (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 447
    Rigid Flexibility The Logic of Intelligence /
    по Wang, Pei
    Опубликовано в: Springer e-books (2006)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 448
    Axiom of Choice
    по Herrlich, Horst
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 449
    Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
    по Anai, Hirokazu
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 450
    Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    по Hermann, Miki
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 451
    Modelling Distributed Systems
    по Fokkink, Wan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 452
    Decision Procedures An Algorithmic Point of View /
    по Kroening, Daniel
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 453
    Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
    по Sutcliffe, Geoff
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 454
    Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
    по Harju, Tero
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 455
    Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 456
    Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 457
    Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 458
    Past and Present Interactions in Legal Reasoning and Logic
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 459
    Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 460
    Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток