Отображение 381 - 400 результаты of 1,294 для поиска '"Logic"', время запроса: 0.06сек. Отмена результатов
  1. 381
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 382
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 383
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 384
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 385
    Introduction to Concurrency Theory Transition Systems and CCS /
    по Gorrieri, Roberto, Versari, Cristian
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 386
    Reflections on Theoretical Issues in Argumentation Theory
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 387
    Petri Net Synthesis
    по Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 388
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 389
    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)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 390
    Philosophy of Logic and Mathematics Proceedings of the 41st International Ludwig Wittgenstein Symposium
    Публикация 2019
    Предметы: “...Logic Congresses....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 391
    Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 392
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 393
    Complexity Theory Exploring the Limits of Efficient Algorithms /
    по Wegener, Ingo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 394
    The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions /
    по Rahman, Shahid
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 395
    German Idealism and the Problem of Knowledge: Kant, Fichte, Schelling, and Hegel
    по Limnatis, Nectarios G.
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 396
    Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    по Yi, Kwangkeun
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 397
    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)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 398
    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)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 399
    Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    по Hankin, Chris
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 400
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    по Edelkamp, Stefan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток