Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
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: Asynchronous Digital Circuit Design, Author: Graham Birtwistle
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: Computer Graphics and Geometric Modelling: Mathematics / Edition 1, Author: Max K. Agoston
Title: Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation: 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings / Edition 1, Author: Dimitrios Soudris
Title: Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. Proceedings / Edition 1, Author: Franz Pichler
Title: Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers / Edition 1, Author: Tuncer I. Ören
Title: Cooperative Design, Visualization, and Engineering: 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007 / Edition 1, Author: Yuhua Luo
Title: New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design: IFIP International Working Conference: EduTech 2005, Perth, Australia, October 20-21, 2005 / Edition 1, Author: Achim Rettberg
Title: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
Title: Google SketchUp for Site Design: A Guide to Modeling Site Plans, Terrain and Architecture / Edition 1, Author: Daniel Tal
Title: Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings / Edition 1, Author: Yuhua Luo
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: 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: Motion Simulation and Mechanism Design with SolidWorks Motion 2013, Author: Kuang-Hua Chang
Title: Chapters in Architectural Drawing, Author: Daniel John Stine
Paperback from $36.35 $59.95 Current price is $36.35, Original price is $59.95.
Title: SolidWorks 2014 in 5 Hours with Video Instruction, Author: David Planchard
Title: Mastering AutoCAD 2014 and AutoCAD LT 2014: Autodesk Official Press / Edition 1, Author: George Omura

Pagination Links