Formal methods applied to complex systems /

Other Authors:	Boulanger, Jean-Louis,
Format:	Book
Language:	English
Series:	Computer Engineering Series
Subjects:	Computer-aided design. Computer engineering.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10892220

Similar Items

Formal design methods for CAD: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16- 19 June 1994/
Published: (1994)

CAD systems development :tools and methods /
Published: (1997)

Technology CAD systems/
Published: (1993)

Computer aided engineering design /
by: Saxena, Anupam
Published: (2005)

Proceedings 2001 : Design Automation Conference : 38th, Las Vegas Convention Center, Las Vegas, NV, June 18-22, 2001 /
Published: (2001)

CAD systems : proceedings of the IFIP Working Conference on Computer-aided Design Systems /
Published: (1977)

Αρχές & μορφές σχεδίου
by: Wong, Wucius.
Published: (2001)

MicroStation for AutoCAD users: a bi-directional handbook/
by: Conforti, Frank
Published: (1999)

Inside MicroStation
by: Sahai, Ranjit S.
Published: (1996)

Understanding MicroStation 95/SE: a basic guide to MicroStation, MicroStation Modeler, and MasterPiece/
by: Coen-Brown, Karen L.
Published: (1998)

Knowledge-based design systems/
by: Coyne, Richard
Published: (1990)

TurboCAD Designer 2D/3D the easiest way to learn and use CAD /
by: Newton, Randall S., 1955-
Published: (1996)

AutoCAD 2011 & AutoCAD LT 2011 bible
by: Finkelstein, Ellen A.
Published: (2010)

Mudbox 2013 cookbook over 60 recipes to sculpt digital masterpieces like a modern Michelangelo /
by: Roland, Jeremy.
Published: (2012)

Elements of parametric design/
by: Woodbury, Robert Francis, 1955-
Published: (2010)

3D printing with SketchUp : real-world case studies to help you design models in SketchUp for 3D printing on anything ranging from the smallest desktop machines to the largest industrial 3D printers /
by: Ritland, Marcus,

Engineering computations : international journal for computer-aided engineering and software.
Published: (2005)

Inside MicroStation/
by: Conforti, Frank
Published: (2003)

Computer-aided engineering journal/
Published: (1983)

Emergent computing methods in engineering design : applications of genetic algorithms and neural networks /
Published: (1996)

Expert CAD management : the complete guide /
by: Green, Robert, 1961-
Published: (2007)

Optimization in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Optimization in Computer-Aided Design, Lyon, France, 24-26 October, 1983 /
Published: (1985)

The Pro/ENGINEER exercise book/
Published: (1994)

Adaptive computing in design and manufacture :the integration of evolutionary and adaptive computing technologies with product/system design and realisation /
Published: (1998)

Quality engineering using robust design /
by: Phadke, Madhav Shridhar 1948-
Published: (1989)

Inside Pro/ENGINEER: the professional user's guide to designing with Pro/ENGINEER/
by: Utz, James
Published: (1995)

Computer-aided design and manufacturing /
by: Amirouche, Farid M. L.
Published: (1993)

Visual design fundamentals a digital approach /
by: Hashimoto, Alan.
Published: (2004)

Visual design fundamentals a digital approach /
by: Hashimoto, Alan.
Published: (2009)

ICCAD-2002: IEEE/ACM International Conference on Computer Aided Design : a conference for the CAD professional, November 10-14, 2002, DoubleTree Hotel, San Jose, CA/
Published: (2002)

Pro/Engineer wildfire /
by: Lamit, Louis Gary 1949-
Published: (2004)

Pro/Engineer wildfire /
by: Lamit, Louis Gary 1949-
Published: (2004)

Proceedings 2000 : Design Automation Conference : 37th, Los Angeles Convention Center, Los Angeles, CA, June 5-9, 2000 /
Published: (2000)

Computational geometry and computer-aided design : abstracts of papers presented at a conference sponsored by the National Aeronautics and Space Administration and the University of Southern Mississippi and held at New Orleans, Louisiana, June 5-8, 1985 /
Published: (1985)

The CAD guidebook: a basic manual for understanding and improving computer-aided design/
by: Schoonmaker, Stephen J.
Published: (2003)

Design methods /
by: Jones, J. Christopher 1927-
Published: (1992)

Engineering design methods : strategies for product design /
by: Cross, Nigel.
Published: (2008)

Τεχνικό σχέδιο με Η/Υ : βασικές αρχές /
by: Allmannsberger - Klauke, Marianne.
Published: (1999)

Computer aided design
Published: (1968)

Proceedings 2002: Design Automation Conference: 39th DAC : Ernest N. Morial Convention Center, New Orleans, LA, June 10-14, 2002/
Published: (2002)

Cannot write session to /tmp/vufind_sessions/sess_jlgpsj0agg0e3lmtoaaonhaue0