Rolf Drechsler

Advanced BDD Opti...
Drechsler, Rolf
Electronic book text: $378.00

Spectral Techniqu...
Thornton, Mitchell ...
Paperback: $169.99

Towards a Design ...
Wille, Robert
Paperback: $109.99

Automatic Methods...
Seiter, Julia
Paperback: $69.99

Design for Testab...
Huhn, Sebastian
Hardback: $119.99

In-Memory Computi...
Shirinzadeh, Saeideh
Paperback: $149.99

Automated Validat...
Przigoda, Nils
Paperback: $139.99

Formal and Practi...
Pieper, Pascal
Hardback: $129.99

Evolutionary Algo...
Drechsler, Rolf
Paperback: $109.99

Towards One-Pass ...
Drechsler, Rolf
Paperback: $109.99

Formal Verificati...
Drechsler, Rolf
Paperback: $169.99

Formal Verificati...
Drechsler, Rolf
Electronic book text: $219.00