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: Combinatorial Algorithms for Integrated Circuit Layout, Author: Thomas Lengauer
Title: Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, Author: Mark D. Aagaard
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: Evolvable Systems: From Biology to Hardware: Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 Proceedings / Edition 1, Author: Moshe Sipper
Title: Compact Models and Measurement Techniques for High-Speed Interconnects / Edition 1, Author: Rohit Sharma
Title: Design to Test: A Definitive Guide for Electronic Design, Manufacture, and Service, Author: John Turino
Title: Integrated Analog-To-Digital and Digital-To-Analog Converters, Author: Rudy J. van de Plassche
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Power-Aware Computer Systems: Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers, Author: Babak Falsafi
Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
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: 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: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers, Author: Babak Falsafi
Title: Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, Author: Laurence Pierre
Title: Reduced Thermal Processing for ULSI, Author: R.A. Levy
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics, Author: A. Peled
Title: Living with the Chip, Author: D. Manners
Title: Silicon-on-Insulator: Its Technology and Applications, Author: S. Furukawa

Pagination Links