Skip to content
Find a Library
Browse Collections
Apps
Libby Blog
Search by title or author
Browse Collections
Apps
Libby Blog
Find a Library
Media
Browse the Catalog
Sort
Relevance
Title
Release date
Popularity
Filter
Release date
Previous releases
0
Previous releases
15
Past year
3
Publisher
Springer International Publishing
15
Language
English
11
German
4
Format
Adobe EPUB eBook
15
OverDrive READ
15
Kindle Book
1
Subjects
Engineering
15
Technology
15
Nonfiction
15
Computer Technology
13
Reference
2
Creators
Rolf Drechsler
15
Daniel Große
5
Sebastian Huhn
3
Mehran Goli
2
Saeideh Shirinzadeh
2
Vladimir Herdt
2
Alireza Mahzoon
1
Cornelia S. Große
1
Frank Sill Torres
1
Marcel Walter
1
Mathias Soeken
1
Muhammad Hassan
1
Robert Wille
1
Looking for a library? Show libraries matching your search.
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)