Отображение 301 - 320 результаты of 1,266 для поиска '"Logic."', время запроса: 0.05сек. Отмена результатов
  1. 301
    Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 302
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  3. 303
    Theory and Applications of Satisfiability Testing (vol. # 3569) 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    по Bacchus, Fahiem
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  4. 304
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  5. 305
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  6. 306
    Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  7. 307
    Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  8. 308
    A Roadmap for Formal Property Verification
    по DasGupta, Pallab
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 309
    Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    по Kleine Büning, Hans
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  10. 310
    Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    по Marques-Silva, Joao
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  11. 311
    Theory and Applications of Satisfiability Testing (vol. # 3542) 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    по Hoos, Holger H.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  12. 312
    Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    по Biere, Armin
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  13. 313
    Elementary Logic For Software Development /
    по Lover, Robert
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  14. 314
    Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    по Bodik, Rastislav
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 315
    Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    по Nieuwenhuis, Robert
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  16. 316
    Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  17. 317
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  18. 318
    Semantics of Probabilistic Processes An Operational Approach /
    по Deng, Yuxin
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  19. 319
    Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    по Hendren, Laurie
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  20. 320
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    по Reps, Thomas
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток