1- 20 of 28 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: 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: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / Edition 1, Author: Dominique Borrione
QUICK ADD
Correct Hardware Design and…
by Dominique Borrione, Wolfgang Paul
#3725 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: 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: 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: Theoretical Foundations of VLSI Design, Author: K. McEvoy
QUICK ADD
Theoretical Foundations of…
by K. McEvoy, J. V. Tucker
#10 in Series
Paperback $63.99
Title: From Frequency to Time-Average-Frequency: A Paradigm Shift in the Design of Electronic Systems / Edition 1, Author: Liming Xiu
QUICK ADD
From Frequency to Time-Average…
by Liming Xiu, R. Jacob Baker
Explore Series
Paperback $78.95
Title: PSPICE and MATLAB for Electronics: An Integrated Approach, Second Edition / Edition 2, Author: John Okyere Attia
QUICK ADD
PSPICE and MATLAB for…
by John Okyere Attia
Explore Series
Paperback $86.99
Title: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings / Edition 1, Author: Jorge Juan Chico
QUICK ADD
Integrated Circuit and System…
by Jorge Juan Chico, Enrico Macii
#2799 in Series
Paperback $109.99
Title: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings / Edition 1, Author: Vassilis Paliouras
QUICK ADD
Integrated Circuit and System…
by Vassilis Paliouras, Johan Vounckx, Diederik Verkest
#3728 in Series
Paperback $109.99
Title: Symbolic Analysis and Reduction of VLSI Circuits / Edition 1, Author: Zhanhai Qin
QUICK ADD
Symbolic Analysis and…
by Zhanhai Qin, Chung-Kuan Cheng
Paperback $109.99
Title: Systematic Design of Analog IP Blocks / Edition 1, Author: Jan Vandenbussche
QUICK ADD
Systematic Design of Analog IP…
by Jan Vandenbussche, Georges Gielen, Michiel Steyaert
#738 in Series
Paperback $109.99
Title: VLSI Circuit Design Methodology Demystified: A Conceptual Taxonomy / Edition 1, Author: Liming Xiu
QUICK ADD
VLSI Circuit Design…
by Liming Xiu
Paperback $112.95
Title: System on Chip Design Languages: Extended papers: best of FDL'01 and HDLCon'01 / Edition 1, Author: Anne Mignotte
QUICK ADD
System on Chip Design…
by Anne Mignotte, Eugenio Villar, Lynn Horobin
Paperback $169.00
Title: System Specification & Design Languages: Best of FDL'02 / Edition 1, Author: Eugenio Villar
QUICK ADD
System Specification & Design…
by Eugenio Villar, Jean Mermet
Explore Series
Paperback $169.00
Title: R-Trees: Theory and Applications / Edition 1, Author: Yannis Manolopoulos
QUICK ADD
R-Trees: Theory and…
by Yannis Manolopoulos, Alexandros Nanopoulos, Apostolos N. Papadopoulos, Yannis Theodoridis
Explore Series
Paperback $169.99
Title: Multilevel Optimization in VLSICAD / Edition 1, Author: Jingsheng Jason Cong
QUICK ADD
Multilevel Optimization in…
by Jingsheng Jason Cong, Joseph R. Shinnerl
#14 in Series
Paperback $169.99
Title: Practical Problems in VLSI Physical Design Automation / Edition 1, Author: Sung Kyu Lim
QUICK ADD
Practical Problems in VLSI…
by Sung Kyu Lim
Paperback $169.99
Title: Morphological Image Processing: Architecture and VLSI design / Edition 1, Author: P.P. Jonker
QUICK ADD
Morphological Image Processing…
by P.P. Jonker
Paperback $169.99

Pagination Links