1- 20 of 279 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Hardware Verification: Methods and Systems in Comparison / Edition 1, Author: Thomas Kropf
QUICK ADD
Formal Hardware Verification:…
by Thomas Kropf
#1287 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: Asynchronous Digital Circuit Design, Author: Graham Birtwistle
QUICK ADD
Asynchronous Digital Circuit…
by Graham Birtwistle, Alan Davis
Explore Series
Paperback $54.99
Title: Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings / Edition 1, Author: Kiyoshi Tanaka
QUICK ADD
Evolvable Systems: From…
by Kiyoshi Tanaka, Masaya Iwata, Tetsuya Higuchi, Moritoshi Yasunaga
#2210 in Series
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 / Edition 1, Author: George J. Milne
QUICK ADD
Correct Hardware Design and…
by George J. Milne, Laurence Pierre
#683 in 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 / Edition 1, Author: Miriam Leeser
QUICK ADD
Hardware Specification,…
by Miriam Leeser, Geoffrey Brown
#408 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: 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: 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: Compact Models and Measurement Techniques for High-Speed Interconnects / Edition 1, Author: Rohit Sharma
QUICK ADD
Compact Models and Measurement…
by Rohit Sharma, Tapas Chakravarty
Explore Series
Paperback $54.99
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
QUICK ADD
Hardware and Software,…
by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
#3875 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 / Edition 1, Author: Marco Bernardo
QUICK ADD
Formal Methods for…
by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
#5016 in Series
Paperback $54.99
Title: Guidebook for Managing Silicon Chip Reliability / Edition 1, Author: Michael Pecht
QUICK ADD
Guidebook for Managing Silicon…
by Michael Pecht, Riko Radojcic, Gopal Rao
#5 in Series
Paperback $54.99
Title: Introduction to Formal Hardware Verification / Edition 1, Author: Thomas Kropf
QUICK ADD
Introduction to Formal…
by Thomas Kropf
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: Catching Up and Leapfrogging: The new latecomers in the integrated circuits industry / Edition 1, Author: Xiao-Shan Yap
QUICK ADD
Catching Up and Leapfrogging:…
by Xiao-Shan Yap, Rajah Rasiah
Explore Series
Paperback $58.99
Title: A Modern Approach to Regression with R / Edition 1, Author: Simon Sheather
QUICK ADD
A Modern Approach to…
by Simon Sheather
Explore Series
Paperback $64.99
Title: Design Of Cmos Rf Integrated Circuits And Systems, Author: Kiat Seng Yeo
QUICK ADD
Design Of Cmos Rf Integrated…
by Kiat Seng Yeo, Manh Anh Do, Chirn Chye Boon
Hardcover $68.00
Title: Applied Digital Logic Exercises Using FPGAs / Edition 1, Author: Kurt Wick
QUICK ADD
Applied Digital Logic…
by Kurt Wick
Explore Series
Paperback $70.00
Title: ASIC and FPGA Verification: A Guide to Component Modeling, Author: Richard Munden
QUICK ADD
ASIC and FPGA Verification: A…
by Richard Munden
Explore Series
Hardcover $73.95

Pagination Links