Отображение 1 - 20 результаты of 635 для поиска '"Logic design."', время запроса: 0.08сек. Отмена результатов
  1. 1
    High-Level Synthesis From Algorithm to Digital Circuit /
    по Coussy, Philippe
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 2
    Transactions on Computational Science XXIV Special Issue on Reversible Computing /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  3. 3
    Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
    по Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  4. 4
    Design of Experiments for Reinforcement Learning
    по Gatti, Christopher
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  5. 5
    Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
    по Shi, Guoyong, Tan, Sheldon X.-D, Tlelo Cuautle, Esteban
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  6. 6
    Johan van Benthem on Logic and Information Dynamics
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  7. 7
    Practical Problems in VLSI Physical Design Automation
    по Lim, Sung Kyu
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 8
    Electronics System Design Techniques for Safety Critical Applications
    по Sterpone, Luca
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 9
    Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
    по Chang, Kai-hui
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 10
    Elementary Logic For Software Development /
    по Lover, Robert
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 11
    Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  12. 12
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  13. 13
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  14. 14
    Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  15. 15
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    по Etessami, Kousha
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  16. 16
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    по Hurd, Joe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 17
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    по Schneider, Klaus
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  18. 18
    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...”
    Полный текст
    Электронная книга
  19. 19
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  20. 20
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    по Damm, Werner
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток