Title: Layered Urbanisms, Author: Nina Rappaport
Title: Applied Geometry for Computer Graphics and CAD / Edition 2, Author: Duncan Marsh
Title: Hybride Modellnutzung in der automotiven Formfindung: Ein Beitrag zur interdisziplin�ren Zusammenarbeit im Designprozess, Author: Ulrich Feldinger
Title: Computer-aided Specification Techniques, Author: Janos Demetrovics
Title: The Student's Guide to VHDL / Edition 2, Author: Peter J. Ashenden
Title: AutoCAD 2015 3D Modeling, Author: Munir Hamad
Title: AutoCAD 2016 and AutoCAD LT 2016 No Experience Required: Autodesk Official Press / Edition 1, Author: Donnie Gladfelter
Title: AutoCAD 2014 Beginning and Intermediate, Author: Munir Hamad
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: 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: 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: 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: Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / Edition 1, Author: Susanne Graf
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
Title: Computer Aided Systems Theory - EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. 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: Control and Automation: International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / Edition 1, Author: Dominik Slezak
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

Pagination Links