Отображение 361 - 380 результаты of 635 для поиска '"Logic design."', время запроса: 0.12сек. Отмена результатов
  1. 361
    Categories for Software Engineering
    по Fiadeiro, José Luiz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 362
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 363
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 364
    Modelling Distributed Systems
    по Fokkink, Wan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 365
    Decision Procedures An Algorithmic Point of View /
    по Kroening, Daniel
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 366
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
    по Montanari, Ugo
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 367
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 368
    Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
    по Barthe, Gilles
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 369
    Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /
    по Bemporad, Alberto
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 370
    Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 371
    Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    по Gilroy, Stephen W.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 372
    Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings /
    по Concas, Giulio
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 373
    Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
    по Barthe, Gilles
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 374
    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. 375
    Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /
    по Paschke, Adrian
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 376
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 377
    Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 378
    Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 379
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 380
    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...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток