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: Analog Circuits, Author: Robert Pease
Title: Guidebook for Managing Silicon Chip Reliability / Edition 1, Author: Michael Pecht
Title: Catching Up and Leapfrogging: The new latecomers in the integrated circuits industry / Edition 1, Author: Xiao-Shan Yap
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: Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / Edition 1, Author: Marco Bernardo
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: Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Edition 1, Author: Alan J. Hu
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: 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: Current-Mode VLSI Analog Filters: Design and Applications / Edition 1, Author: P.V. Ananda Mohan
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: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
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: 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: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
Title: Compact Models and Measurement Techniques for High-Speed Interconnects / Edition 1, Author: Rohit Sharma

Pagination Links