Springer International Publishing

Sort
Filter
cover image of Formal Specification Level

Formal Specification Level

Mathias Soeken Author
Rolf Drechsler Author
(2014)

cover image of Automatic Methods for the Refinement of System Models

Automatic Methods for the...

SpringerBriefs in Electrical and Computer Engineering (Series)

Julia Seiter Author
Robert Wille Author
(2016)

cover image of Formal System Verification

Formal System Verification

Rolf Drechsler Editor
(2017)

cover image of Languages, Design Methods, and Tools for Electronic System Design

Languages, Design Methods,...

Lecture Notes in Electrical Engineering (Series)

Book 2015

Rolf Drechsler Editor
Robert Wille Editor
(2016)

cover image of Reversible and Quantum Circuits

Reversible and Quantum Circuits

Nabila Abdessaied Author
Rolf Drechsler Author
(2016)

cover image of Design Automation Techniques for Approximation Circuits

Design Automation Techniques...

Arun Chandrasekharan Author
Daniel Große Author
(2018)

cover image of Advanced Logic Synthesis

Advanced Logic Synthesis

André Inácio Reis Editor
Rolf Drechsler Editor
(2017)

cover image of Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation &...

Nils Przigoda Author
Robert Wille Author
(2018)

cover image of Exact Design of Digital Microfluidic Biochips

Exact Design of Digital...

Oliver Keszocze Author
Robert Wille Author
(2018)

cover image of In-Memory Computing

In-Memory Computing

Saeideh Shirinzadeh Author
Rolf Drechsler Author
(2019)

cover image of Advanced Boolean Techniques

Advanced Boolean Techniques

Rolf Drechsler Editor
Mathias Soeken Editor
(2019)

cover image of Information Storage

Information Storage

Cornelia S. Große Editor
Rolf Drechsler Editor
(2019)

cover image of Automated Analysis of Virtual Prototypes at the Electronic System Level

Automated Analysis of Virtual...

Mehran Goli Author
Rolf Drechsler Author
(2020)

cover image of Enhanced Virtual Prototyping

Enhanced Virtual Prototyping

Vladimir Herdt Author
Daniel Große Author
(2020)

cover image of Design for Testability, Debug and Reliability

Design for Testability, Debug...

Sebastian Huhn Author
Rolf Drechsler Author
(2021)

cover image of Recent Findings in Boolean Techniques

Recent Findings in Boolean...

Rolf Drechsler Editor
Daniel Große Editor
(2021)

cover image of Design Automation for Field-coupled Nanotechnologies

Design Automation for...

Marcel Walter Author
Robert Wille Author
(2022)

cover image of Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping...

Muhammad Hassan Author
Daniel Große Author
(2022)

cover image of Verbessertes virtuelles Prototyping

Verbessertes virtuelles...

Vladimir Herdt Author
Daniel Große Author
(2023)

cover image of Formal Verification of Structurally Complex Multipliers

Formal Verification of...

Alireza Mahzoon Author
Daniel Große Author
(2023)

cover image of Advanced Boolean Techniques

Advanced Boolean Techniques

Rolf Drechsler Editor
Sebastian Huhn Editor
(2023)

cover image of In-Memory-Computing

In-Memory-Computing

Saeideh Shirinzadeh Author
Rolf Drechsler Author
(2023)

cover image of Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

Automatisierte Analyse von...

Mehran Goli Author
Rolf Drechsler Author
(2023)

cover image of Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

Design für Testbarkeit,...

Sebastian Huhn Author
Rolf Drechsler Author
(2024)