Отображение 461 - 480 результаты of 1,294 для поиска '"Logic"', время запроса: 0.06сек. Отмена результатов
  1. 461
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 462
    Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 463
    Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
    по Baader, Franz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 464
    Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 465
    Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 466
    Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 467
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    по Altenkirch, Thorsten
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 468
    Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 469
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
    по Shao, Zhong
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 470
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 471
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    по Miculan, Marino
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 472
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 473
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    по Baader, Franz
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 474
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    по O'Regan, Gerard
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 475
    Programming Logics Essays in Memory of Harald Ganzinger /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 476
    Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 477
    Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 478
    Essays in Constructive Mathematics
    по Edwards, Harold M.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 479
    Kolmogorov’s Heritage in Mathematics
    по Charpentier, Éric
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 480
    Abstract Computing Machines A Lambda Calculus Perspective /
    по Kluge, W.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток