461- 480 of 507 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
QUICK ADD
Introduction to Formal…
by Thomas Kropf
Paperback $54.99
Title: Computer Graphics and Geometric Modelling: Mathematics / Edition 1, Author: Max K. Agoston
QUICK ADD
Computer Graphics and…
by Max K. Agoston
Hardcover $54.99
Title: Cooperative Design, Visualization, and Engineering: Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings / Edition 1, Author: Yuhua Luo
QUICK ADD
Cooperative Design,…
by Yuhua Luo
#3675 in Series
Paperback $54.99
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
QUICK ADD
Cooperative Design,…
by Yuhua Luo
#3190 in Series
Paperback $54.99
Title: Cooperative Design, Visualization, and Engineering: 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007 / Edition 1, Author: Yuhua Luo
QUICK ADD
Cooperative Design,…
by Yuhua Luo
#4674 in Series
Paperback $54.99
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
QUICK ADD
Formal Methods in…
by Alan J. Hu, Andrew K. Martin
#3312 in Series
Paperback $54.99
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
QUICK ADD
Correct Hardware Design and…
by Paolo Enrico Camurati, Hans Eveking
#987 in Series
Paperback $54.99
Title: System Reduction for Nanoscale IC Design, Author: Peter Benner
QUICK ADD
System Reduction for Nanoscale…
by Peter Benner
#20 in Series
Paperback $54.99
Title: System Reduction for Nanoscale IC Design, Author: Peter Benner
QUICK ADD
System Reduction for Nanoscale…
by Peter Benner
#20 in Series
Hardcover $54.99
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
QUICK ADD
Integrated Circuit Design:…
by Dimitrios Soudris, Peter Pirsch, Erich Barke
#1918 in Series
Paperback $54.99
Title: Cell Formation in Industrial Engineering: Theory, Algorithms and Experiments / Edition 1, Author: Boris Goldengorin
QUICK ADD
Cell Formation in Industrial…
by Boris Goldengorin, Dmitry Krushinsky, Panos M. Pardalos
#79 in Series
Hardcover $54.99
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
QUICK ADD
Computer Aided Systems Theory …
by Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht
#1030 in Series
Paperback $54.99
Title: Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers / Edition 1, Author: Tuncer I. ïren
QUICK ADD
Computer Aided Systems Theory …
by Tuncer I. ïren, George J. Klir
#1105 in Series
Paperback $54.99
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
QUICK ADD
Correct Hardware Design and…
by Tiziana Margaria, Tom Melham
#2144 in Series
Paperback $54.99
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
QUICK ADD
Theorem Provers in Circuit…
by Ramayya Kumar, Thomas Kropf
#901 in Series
Paperback $54.99
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
Paperback $54.99
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
QUICK ADD
Correct Hardware Design and…
by Daniel Geist, Enrico Tronci
#2860 in Series
Paperback $54.99
Title: Internet Applications in Product Design and Manufacturing / Edition 1, Author: George Q. Huang
QUICK ADD
Internet Applications in…
by George Q. Huang, K.L. Mak
Hardcover $54.99
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
QUICK ADD
Introduction to Formal…
by Thomas Kropf
Hardcover $54.99
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
QUICK ADD
Computer Aided Systems Theory …
by Franz Pichler, Roberto Moreno Diaz
#763 in Series
Paperback $54.99

Pagination Links