Register
Sign In
Search by Specific Product Lines
Book
eBook
Audio / Video
Subscriptions
Software / Other
Toggle navigation
Home
Browse by Category
Technology & Engineering
Business & Economics
Education
Reference
Science
Medical
Computers
Browse by Product Line
Books
E-Books
Subscriptions
Audio / Video
Software / Other
Services
Bulk Orders
Subscription Claim
Rush Delivery
Schedule a Speaker
Out of Print Titles
Cataloging Services
Product Add Ons
New Site Features
CART
0
Technology & Engineering
Category
"If we encounter a man of rare intellect, we should ask him what books he reads."
― Ralph Waldo Emerson
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza
Hardcover
Out of Stock
In Cart!
Enhanced Virtual Prototyping for Heterogeneous Systems
Groe, Daniel
Hardcover
Out of Stock
In Cart!
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never
Pieper, Pascal
Hardcover
Out of Stock
In Cart!
Quality-Driven Systemc Design
Groe, Daniel
Hardcover
Out of Stock
In Cart!
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias
Hardcover
Out of Stock
In Cart!
Debugging at the Electronic System Level
Rogin, Frank
Hardcover
Out of Stock
In Cart!
Test Pattern Generation Using Boolean Proof Engines
Fey, Grschwin
Hardcover
Out of Stock
In Cart!
Advanced BDD Optimization
Fey, Grschwin
Hardcover
Out of Stock
In Cart!
Formal Verification of Circuits
Drechsler, Rolf
Hardcover
Out of Stock
In Cart!
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Huhn, Sebastian
Hardcover
Out of Stock
In Cart!
Enhanced Virtual Prototyping: Featuring Risc-V Case Studies
Groe, Daniel
Hardcover
Out of Stock
In Cart!
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
Goli, Mehran
Hardcover
Out of Stock
In Cart!
Exact Design of Digital Microfluidic Biochips
Keszocze, Oliver
Hardcover
Out of Stock
In Cart!
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Abdessaied, Nabila
Hardcover
Out of Stock
In Cart!
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Groe, Daniel
Hardcover
Out of Stock
In Cart!
In-Memory Computing: Synthesis and Optimization
Shirinzadeh, Saeideh
Hardcover
Out of Stock
In Cart!
1
Filter your search
Product Format
[ Clear ]
[ Select All ]
Hardcover
Paperback
16
Publisher
[ Clear ]
Springer
BISAC Subject
[ Select All ]
Technology & Engineering
16
Content Language
[ Clear ]
[ Select All ]
English
1
Author
[ Clear ]
Drechsler, Rolf
Publishing, Premier
43
Weezag
38
Designs, Vepa
37
Blokdyk, Gerardus
35
Shakespeare, William
35
Journals, Oldskool
31
See More