Formal System Verification. 1st ed. 2018

Bỡi Drechsler, Rolf
Được phát hành 2020

Robustness and Usability in Modern Design Flows

Bỡi Fey, Görschwin, Drechsler, Rolf
Được phát hành 2020

Advanced Boolean Techniques

Bỡi Drechsler, Rolf, Soeken, Mathias
Được phát hành 2020

In-Memory Computing

Bỡi Shirinzadeh, Saeideh, Drechsler, Rolf
Được phát hành 2020

Information Storage

Bỡi Große, Cornelia S., Drechsler, Rolf
Được phát hành 2020

Formal Specification Level Concepts, Methods, and Algorithms

Bỡi Soeken, Mathias, Drechsler, Rolf
Được phát hành 2015

Advanced Logic Synthesis. 1st ed. 2018

Bỡi Reis, André Inácio, Drechsler, Rolf
Được phát hành 2020

Advanced BDD Optimization

Bỡi Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Được phát hành 2020

Automatic Methods for the Refinement of System Models

Bỡi Seiter, Julia, Wille, Robert, Drechsler, Rolf
Được phát hành 2020

Test Pattern Generation using Boolean Proof Engines

Bỡi Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Được phát hành 2020

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Bỡi Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Được phát hành 2020

Applications of Evolutionary Computing

Bỡi Giacobini, Mario, Brabazon, Anthony, Cagnoni, Stefano, Caro, Gianni A. Di, Drechsler, Rolf, Ekart, Aniko, Esparcia-Alcazar, Anna I., Farooq, Muddassar, Fink, Andreas, McCormack, Jon
Được phát hành 2020