Отображение 201 - 220 результаты of 1,266 для поиска '"Logic."', время запроса: 0.04сек. Отмена результатов
  1. 201
    Practical Problems in VLSI Physical Design Automation
    по Lim, Sung Kyu
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 202
    The Legacy of Mario Pieri in Geometry and Arithmetic
    по Marchisotto, Elena Anne
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  3. 203
    104 Number Theory Problems From the Training of the USA IMO Team /
    по Andreescu, Titu
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  4. 204
    FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  5. 205
    Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  6. 206
    Advances in Computer Systems Architecture (vol. # 4186) 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings
    по Jesshope, Chris
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  7. 207
    Advances in Computer Systems Architecture (vol. # 3740) 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
    по Chang, Chip-Hong
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 208
    Compressed Data Structures for Strings On Searching and Extracting Strings from Compressed Textual Data /
    по Venturini, Rossano
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Arithmetic and Logic Structures....”
    Полный текст
    Электронная книга
  9. 209
    Trends in Continuum Mechanics of Porous Media
    по Boer, Reint
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  10. 210
    Abstraction, Refinement and Proof for Probabilistic Systems
    по McIver, Annabelle
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 211
    Abductive reasoning logical investigations into discovery and explanation
    по Aliseda, Atocha
    Опубликовано в: Springer e-books (2006)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  12. 212
    Electronics System Design Techniques for Safety Critical Applications
    по Sterpone, Luca
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  13. 213
    Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori /
    Предметы: “...Logic, Symbolic and mathematical....”
    Полный текст
    Электронная книга
  14. 214
    Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  15. 215
    Mathematical Olympiad Challenges
    по Andreescu, Titu
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  16. 216
    Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science /
    по Atmanspacher, Harald
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  17. 217
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    по Rocca, Simona Ronchi
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  18. 218
    Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
    по Miguel, Ian
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  19. 219
    Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
    по Saitta, Lorenza
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  20. 220
    Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    по Sakaibara, Yasibumi
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток