Отображение 861 - 880 результаты of 1,294 для поиска '"Logic"', время запроса: 0.08сек. Отмена результатов
  1. 861
    Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
    по Swart, Harrie de
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 862
    Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
    по Kramer, Stefan
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 863
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    по Clavel, Manuel
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 864
    Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germ
    по Berghammer, Rudolf
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 865
    Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 866
    Transactions on Rough Sets XVIII
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 867
    Transactions on Rough Sets XVII
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 868
    Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK,
    по Schmidt, Renate A.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 869
    Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
    по Bravetti, Mario
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 870
    Software Composition (vol. # 3628) 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    по Assmann, Uwe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 871
    Learning Theory (vol. # 3559) 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings
    по Auer, Peter
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 872
    Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers
    по Hofmeister, Christine
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 873
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    по Gurevich, Yuri
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 874
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    по Beckert, Bernhard
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 875
    Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /
    по Overhage, Sven
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 876
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 877
    Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers /
    по Almási, George
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Arithmetic and Logic Structures 307979...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 878
    MICAI 2006: Advances in Artificial Intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings
    по Gelbukh, Alexander
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 879
    Learning Theory (vol. # 4005) 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings
    по Simon, Hans Ulrich
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 880
    Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток