Отображение 141 - 160 результаты of 1,266 для поиска '"Logic."', время запроса: 0.06сек. Отмена результатов
  1. 141
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    по Ball, Thomas
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 142
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  3. 143
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    по Damm, Werner
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 144
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  5. 145
    Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  6. 146
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  7. 147
    Handbook of Spatial Logics
    по Aiello, Marco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Science Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  8. 148
    Argumentation Methods for Artificial Intelligence in Law
    по Walton, Douglas
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  9. 149
    Extensionalism The Revolution in Logic /
    по Bar-Am, Nimrod
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  10. 150
    High-Level Synthesis From Algorithm to Digital Circuit /
    по Coussy, Philippe
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 151
    Anaphora and Type Logical Grammar
    по Jäger, Gerhard
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  12. 152
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  13. 153
    Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
    по Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  14. 154
    Design of Experiments for Reinforcement Learning
    по Gatti, Christopher
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  15. 155
    Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004 /
    по Bagaria, Joan
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  16. 156
    Logic, Thought and Action
    по Vanderveken, Daniel
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  17. 157
    Alfred Tarski Early Work in Poland—Geometry and Teaching /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical....”
    Полный текст
    Электронная книга
  18. 158
    Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
    по Shi, Guoyong, Tan, Sheldon X.-D, Tlelo Cuautle, Esteban
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  19. 159
    Cardinal Invariants on Boolean Algebras Second Revised Edition /
    по Monk, J. Donald
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical....”
    Полный текст
    Электронная книга
  20. 160
    Combinatorial Algebra: Syntax and Semantics
    по Sapir, Mark V.
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток