Browse the Catalog

Sort
Filter
Looking for a library? Show libraries matching your search.
cover image of Design Automation Techniques for Approximation Circuits

Design Automation Techniques...

Arun Chandrasekharan Author
Daniel Große 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 Natural Language Processing for Electronic Design Automation

Natural Language Processing...

Mathias Soeken Editor
Rolf Drechsler Editor
(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)