All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer
Springer International Publishing AG
Springer Nature Switzerland AG
Springer Vieweg
Springer-Verlag
Springer-Verlag New York
Vieweg+teubner Verlag
Filter Results
Showing 24 Results in All Departments
Relevance
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme - Design, Verständnis und Anwendungen (1. Aufl. 2023)
Mehran Goli
,
Rolf Drechsler
R
3,223
Add to Cart
Ships in 10 - 15 working days
Advanced Boolean Techniques - Selected Papers from the 15th International Workshop on Boolean Problems (1st ed. 2023)
R
3,209
Add to Cart
Ships in 10 - 15 working days
In-Memory-Computing - Synthese und Optimierung (Hardcover, 1. Aufl. 2023)
Saeideh Shirinzadeh
,
Rolf Drechsler
R
2,632
Add to Cart
Ships in 12 - 17 working days
Recent Findings in Boolean Techniques - Selected Papers from the 14th International Workshop on Boolean Problems (Paperback, 1st ed. 2021)
R
2,930
Add to Cart
Ships in 10 - 15 working days
Recent Findings in Boolean Techniques - Selected Papers from the 14th International Workshop on Boolean Problems (Hardcover, 1st ed. 2021)
R
2,963
Add to Cart
Ships in 10 - 15 working days
Design for Testability, Debug and Reliability - Next Generation Measures Using Formal Techniques (Hardcover, 1st ed. 2021)
Sebastian Huhn
,
Rolf Drechsler
R
3,212
Add to Cart
Ships in 10 - 15 working days
Information Storage - A Multidisciplinary Perspective (Paperback, 1st ed. 2020)
R
2,957
Add to Cart
Ships in 10 - 15 working days
Natural Language Processing for Electronic Design Automation (Hardcover, 1st ed. 2020)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems (Paperback, 1st ed. 2020)
R
2,957
Add to Cart
Ships in 10 - 15 working days
In-Memory Computing - Synthesis and Optimization (Paperback, 1st ed. 2020)
Saeideh Shirinzadeh
,
Rolf Drechsler
R
2,957
Add to Cart
Ships in 10 - 15 working days
Automated Analysis of Virtual Prototypes at the Electronic System Level - Design Understanding and Applications (Hardcover, 1st ed. 2020)
Mehran Goli
,
Rolf Drechsler
R
2,448
Add to Cart
Ships in 10 - 15 working days
Information Storage - A Multidisciplinary Perspective (Hardcover, 1st ed. 2020)
R
2,978
Add to Cart
Ships in 10 - 15 working days
Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems (Hardcover, 1st ed. 2020)
R
2,984
Add to Cart
Ships in 10 - 15 working days
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Paperback, Softcover reprint of the original 1st ed. 2018)
Nils Przigoda
,
Robert Wille
,
Judith Przigoda
,
Rolf Drechsler
R
4,485
Add to Cart
Ships in 10 - 15 working days
In-Memory Computing - Synthesis and Optimization (Hardcover, 1st ed. 2020)
Saeideh Shirinzadeh
,
Rolf Drechsler
R
2,957
Add to Cart
Ships in 10 - 15 working days
SAVE
R
373
Exact Design of Digital Microfluidic Biochips (Hardcover, 1st ed. 2019)
Oliver Keszocze
,
Robert Wille
,
Rolf Drechsler
List Price
R
2,964
R
2,591
Add to Cart
Ships in 12 - 17 working days
Formal System Verification - State-of the-Art and Future Trends (Paperback, Softcover reprint of the original 1st ed. 2018)
R
3,466
Add to Cart
Ships in 10 - 15 working days
Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2015 (Paperback, Softcover reprint of the original 1st ed. 2016)
R
2,133
Add to Cart
Ships in 10 - 15 working days
Reversible and Quantum Circuits - Optimization and Complexity Analysis (Paperback, Softcover reprint of the original 1st ed. 2016)
Nabila Abdessaied
,
Rolf Drechsler
R
2,145
Add to Cart
Ships in 10 - 15 working days
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Hardcover, 1st ed. 2018)
Nils Przigoda
,
Robert Wille
,
Judith Przigoda
,
Rolf Drechsler
R
4,531
Add to Cart
Ships in 10 - 15 working days
Advanced Logic Synthesis (Hardcover, 1st ed. 2018)
R
3,903
Add to Cart
Ships in 10 - 15 working days
Formal System Verification - State-of the-Art and Future Trends (Hardcover, 1st ed. 2018)
R
4,274
Add to Cart
Ships in 10 - 15 working days
Formal Specification Level - Concepts, Methods, and Algorithms (Paperback, Softcover reprint of the original 1st ed. 2015)
Mathias Soeken
,
Rolf Drechsler
R
2,957
Add to Cart
Ships in 10 - 15 working days
Automatic Methods for the Refinement of System Models - From the Specification to the Implementation (Paperback, 1st ed. 2017)
Julia Seiter
,
Robert Wille
,
Rolf Drechsler
R
1,823
Add to Cart
Ships in 10 - 15 working days
Load More