Title: Forrest Mims Engineer's Notebook / Edition 4, Author: Forrest Mims
Title: Environmental, Safety, and Health Issues in IC Production: Volume 447, Author: Allen Bowling
Title: 64 to 256-Megabit Reticle Generation: Technology Requirements and Approaches, Author: Gregory K. Hearn
Title: Analog Circuits, Author: Robert Pease
Title: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
Title: Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / Edition 1, Author: Dominique Borrione
Title: Power-Aware Computer Systems: Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers / Edition 1, Author: Babak Falsafi
Title: Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / Edition 1, Author: Tiziana Margaria
Title: Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings / Edition 1, Author: Miriam Leeser
Title: Asynchronous Digital Circuit Design, Author: Graham Birtwistle
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Compact Models and Measurement Techniques for High-Speed Interconnects / Edition 1, Author: Rohit Sharma
Title: Guidebook for Managing Silicon Chip Reliability / Edition 1, Author: Michael Pecht
Title: Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings / Edition 1, Author: Ramayya Kumar
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / Edition 1, Author: Eyal Bin
Title: Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings / Edition 1, Author: Kiyoshi Tanaka
Title: Current-Mode VLSI Analog Filters: Design and Applications / Edition 1, Author: P.V. Ananda Mohan
Title: Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings / Edition 1, Author: Paolo Enrico Camurati
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
Title: Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / Edition 1, Author: Marco Bernardo

Pagination Links