Limit Search Results
Author
SpringerLink (Online service)
(26)
Drechsler, Rolf. author.
(16)
Drechsler, Rolf. editor.
(10)
Squillero, Giovanni. editor.
(5)
Cagnoni, Stefano. editor.
(4)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author 
Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Author 
Drechsler, Rolf. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31723-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Author 
Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-09994-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof Engines
Author 
Drechsler, Rolf. author. Eggersglüβ, Stephan. author. Fey, Görschwin. author. Tille, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-2360-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Author 
Pieper, Pascal. author. (orcid)0000-0002-7155-2537 Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51692-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Logic Synthesis
Advanced Logic Synthesis
Author 
Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Reversible and Quantum Circuits Optimization and Complexity Analysis
Reversible and Quantum Circuits Optimization and Complexity Analysis
Author 
Abdessaied, Nabila. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31937-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Specification Level Concepts, Methods, and Algorithms
Formal Specification Level Concepts, Methods, and Algorithms
Author 
Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08699-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
Author 
Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9976-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Debugging at the Electronic System Level
Debugging at the Electronic System Level
Author 
Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9255-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic
Author 
Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9579-4
Format: 
Availability 
Online Library~1
Available:
Copies: