Title: Environmental, Safety, and Health Issues in IC Production: Volume 447, Author: Allen Bowling
Title: Forrest Mims Engineer's Notebook / Edition 4, Author: Forrest Mims
Title: 64 to 256-Megabit Reticle Generation: Technology Requirements and Approaches, Author: Gregory K. Hearn
Title: Guidebook for Managing Silicon Chip Reliability / Edition 1, Author: Michael Pecht
Title: Evolvable Systems: From Biology to Hardware: First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers / Edition 1, Author: Tetsuya Higuchi
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: Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings / Edition 1, Author: George J. Milne
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
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: 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: Asynchronous Digital Circuit Design, Author: Graham Birtwistle
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: Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Edition 1, Author: Daniel Geist
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: 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: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
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: Power-Aware Computer Systems: Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers / Edition 1, Author: Babak Falsafi
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: Current-Mode VLSI Analog Filters: Design and Applications / Edition 1, Author: P.V. Ananda Mohan

Pagination Links