Limit Search Results
Author
SpringerLink (Online service)
(18)
Drechsler, Rolf. author.
(10)
Drechsler, Rolf. editor.
(8)
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
18 Results Found Subscribe to search results
000000000000000000DEFAULT
Print
1. 
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:
2. 
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 
XX(518528.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-09994-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for Quality-Driven SystemC Design
Quality-Driven SystemC Design
Author 
Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3631-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows
Author 
Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Exact Design of Digital Microfluidic Biochips
Exact Design of Digital Microfluidic Biochips
Author 
Keszocze, Oliver. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
Author 
Chandrasekharan, Arun. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Author 
Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
Author 
Chio, Cecilia. editor. Agapitos, Alexandros. editor. Cagnoni, Stefano. editor. Cotta, Carlos. editor. Vega, Francisco Fernández. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29178-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Applications of Evolutionary Computation EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II
Applications of Evolutionary Computation EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II
Author 
Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Drechsler, Rolf. editor. Farooq, Muddassar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20520-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
Author 
Giacobini, Mario. editor. Brabazon, Anthony. editor. Cagnoni, Stefano. editor. Caro, Gianni A. editor. Drechsler, Rolf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78761-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
Author 
Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Costa, Ernesto. editor. Cotta, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11732242
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Advanced BDD Optimization
Advanced BDD Optimization
Author 
Ebendt, Rüdiger. author. Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107399
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Applications of Evolutionary Computing EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings
Applications of Evolutionary Computing EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings
Author 
Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Corne, David Wolfe. editor. Drechsler, Rolf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106856
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets