1- 20 of 228 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers, Author: Babak Falsafi
QUICK ADD
Power-Aware Computer Systems:…
by Babak Falsafi (Editor), T.N. Vijaykumar (Editor)
#3471 in Series
Paperback $54.99
Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
QUICK ADD
Practical Formal Methods for…
by Carlos Delgado Kloos (Editor), Werner Damm (Editor)
Explore Series
Paperback $54.99
Title: Integrated Circuit Design, Author: A. MURRAY
QUICK ADD
Integrated Circuit Design
by A. MURRAY
Paperback $54.99
Title: Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings, Author: George J. Milne
QUICK ADD
Correct Hardware Design and…
by George J. Milne (Editor), Laurence Pierre (Editor)
#683 in Series
Paperback $54.99
Title: Successful ASIC Design the First Time Through, Author: John Huber
QUICK ADD
Successful ASIC Design the…
by John Huber
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, Author: Ramayya Kumar
QUICK ADD
Theorem Provers in Circuit…
by Ramayya Kumar (Editor), Thomas Kropf (Editor)
#901 in Series
Paperback $54.99
Title: Combinatorial Algorithms for Integrated Circuit Layout, Author: Thomas Lengauer
QUICK ADD
Combinatorial Algorithms for…
by Thomas Lengauer (With)
Explore Series
Paperback $54.99
Title: Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings, Author: Miriam Leeser
QUICK ADD
Hardware Specification,…
by Miriam Leeser (Editor), Geoffrey Brown (Editor)
#408 in Series
Paperback $54.99
Title: Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings, Author: Kiyoshi Tanaka
QUICK ADD
Evolvable Systems: From…
by Kiyoshi Tanaka (Editor), Masaya Iwata (Editor), Tetsuya Higuchi (Editor), Moritoshi Yasunaga (Editor)
#2210 in Series
Paperback $54.99
Title: Design to Test: A Definitive Guide for Electronic Design, Manufacture, and Service, Author: John Turino
QUICK ADD
Design to Test: A Definitive…
by John Turino
Paperback $54.99
Title: Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Hardware…
by Marco Bernardo (Editor), Alessandro Cimatti (Editor)
#3965 in Series
Paperback $54.99
Title: Introduction to Formal Hardware Verification, Author: Thomas Kropf
QUICK ADD
Introduction to Formal…
by Thomas Kropf
Paperback $54.99
Title: Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, Author: Alan J. Hu
QUICK ADD
Formal Methods in…
by Alan J. Hu (Editor), Andrew K. Martin (Editor)
#3312 in Series
Paperback $54.99
Title: Large Scale Integrated Circuits Technology: State of the Art and Prospects: Proceedings of the NATO Advanced Study Institute on Large Scale Integrated Circuits Technology: State of the Art and Prospects, Erice, Italy, July 15-27, 1981, Author: Leo Esaki
QUICK ADD
Large Scale Integrated…
by Leo Esaki (Editor), G. Soncini (Editor)
#55 in Series
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, Author: Daniel Geist
QUICK ADD
Correct Hardware Design and…
by Daniel Geist (Editor), Enrico Tronci (Editor)
#2860 in Series
Paperback $54.99
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
QUICK ADD
Correct Hardware Design and…
by Laurence Pierre (Editor), Thomas Kropf (Editor)
#1703 in Series
Paperback $54.99
Title: Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008, Author: Marco Bernardo
QUICK ADD
Formal Methods for…
by Marco Bernardo (Editor), Pierpaolo Degano (Editor), Gianluigi Zavattaro (Editor)
#5016 in Series
Paperback $54.99
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, Author: Dominique Borrione
QUICK ADD
Correct Hardware Design and…
by Dominique Borrione (Editor), Wolfgang Paul (Editor)
#3725 in Series
Paperback $54.99
Title: Evolvable Systems: From Biology to Hardware: Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 Proceedings, Author: Moshe Sipper
QUICK ADD
Evolvable Systems: From…
by Moshe Sipper (Editor), Daniel Mange (Editor), Andres Perez-Uribe (Editor)
#1478 in Series
Paperback $54.99
Title: Power-Aware Computer Systems: Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers, Author: Babak Falsafi
QUICK ADD
Power-Aware Computer Systems:…
by Babak Falsafi (Editor), T. N. Vijaykumar (Editor)
#3164 in Series
Paperback $54.99

Pagination Links