Showing 1 - 20 results of 635 for search '"Logic design."', query time: 0.07s Refine Results
  1. 1
    High-Level Synthesis From Algorithm to Digital Circuit /
    by Coussy, Philippe
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 2
    Transactions on Computational Science XXIV Special Issue on Reversible Computing /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  3. 3
    Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
    Subjects: “...Logic design....”
    Get full text
    eBook
  4. 4
    Design of Experiments for Reinforcement Learning
    by Gatti, Christopher
    Published in Springer eBooks (2015)
    Subjects: “...Logic design....”
    Get full text
    eBook
  5. 5
    Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
    Subjects: “...Logic design....”
    Get full text
    eBook
  6. 6
    Johan van Benthem on Logic and Information Dynamics
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  7. 7
    Practical Problems in VLSI Physical Design Automation
    by Lim, Sung Kyu
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 8
    Electronics System Design Techniques for Safety Critical Applications
    by Sterpone, Luca
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 9
    Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
    by Chang, Kai-hui
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  10. 10
    Elementary Logic For Software Development /
    by Lover, Robert
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 11
    Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  12. 12
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 13
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 14
    Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 15
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    by Etessami, Kousha
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 16
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    by Hurd, Joe
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 17
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    by Schneider, Klaus
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 18
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Ball, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 19
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 20
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    by Damm, Werner
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed