Skip to content
Find a Library
Browse Collections
Apps
Libby Blog
Search by title or author
Browse Collections
Apps
Libby Blog
Find a Library
Publishers
Springer International Publishing
Springer International Publishing
Sort
Title
Release date
Popularity
Filter
Subjects
Engineering
25
Technology
25
Nonfiction
25
Computer Technology
23
Reference
2
Creators
Rolf Drechsler
25
Daniel Große
7
Robert Wille
5
Sebastian Huhn
3
Mathias Soeken
2
Mehran Goli
2
Muhammad Hassan
2
Saeideh Shirinzadeh
2
Vladimir Herdt
2
Alireza Mahzoon
1
André Inácio Reis
1
Arun Chandrasekharan
1
Cornelia S. Große
1
Frank Sill Torres
1
Judith Przigoda
1
Julia Seiter
1
Marcel Walter
1
Nabila Abdessaied
1
Nils Przigoda
1
Oliver Keszocze
1
Format
Adobe EPUB eBook
25
OverDrive READ
25
Kindle Book
1
Imprint
Springer
20
Springer Vieweg
5
Formal Specification Level
Mathias Soeken
Author
Rolf Drechsler
Author
(2014)
Automatic Methods for the...
SpringerBriefs in Electrical and Computer Engineering (Series)
Julia Seiter
Author
Robert Wille
Author
(2016)
Formal System Verification
Rolf Drechsler
Editor
(2017)
Languages, Design Methods,...
Lecture Notes in Electrical Engineering (Series)
Book 2015
Rolf Drechsler
Editor
Robert Wille
Editor
(2016)
Reversible and Quantum Circuits
Nabila Abdessaied
Author
Rolf Drechsler
Author
(2016)
Design Automation Techniques...
Arun Chandrasekharan
Author
Daniel Große
Author
(2018)
Advanced Logic Synthesis
André Inácio Reis
Editor
Rolf Drechsler
Editor
(2017)
Automated Validation &...
Nils Przigoda
Author
Robert Wille
Author
(2018)
Exact Design of Digital...
Oliver Keszocze
Author
Robert Wille
Author
(2018)
In-Memory Computing
Saeideh Shirinzadeh
Author
Rolf Drechsler
Author
(2019)
Advanced Boolean Techniques
Rolf Drechsler
Editor
Mathias Soeken
Editor
(2019)
Information Storage
Cornelia S. Große
Editor
Rolf Drechsler
Editor
(2019)
Automated Analysis of Virtual...
Mehran Goli
Author
Rolf Drechsler
Author
(2020)
Enhanced Virtual Prototyping
Vladimir Herdt
Author
Daniel Große
Author
(2020)
Design for Testability, Debug...
Sebastian Huhn
Author
Rolf Drechsler
Author
(2021)
Recent Findings in Boolean...
Rolf Drechsler
Editor
Daniel Große
Editor
(2021)
Design Automation for...
Marcel Walter
Author
Robert Wille
Author
(2022)
Enhanced Virtual Prototyping...
Muhammad Hassan
Author
Daniel Große
Author
(2022)
Verbessertes virtuelles...
Vladimir Herdt
Author
Daniel Große
Author
(2023)
Formal Verification of...
Alireza Mahzoon
Author
Daniel Große
Author
(2023)
Advanced Boolean Techniques
Rolf Drechsler
Editor
Sebastian Huhn
Editor
(2023)
In-Memory-Computing
Saeideh Shirinzadeh
Author
Rolf Drechsler
Author
(2023)
Automatisierte Analyse von...
Mehran Goli
Author
Rolf Drechsler
Author
(2023)
Design für Testbarkeit,...
Sebastian Huhn
Author
Rolf Drechsler
Author
(2024)
Erweiterte virtuelle...
Muhammad Hassan
Author
Daniel Große
Author
(2024)