Werner Damm - Böcker

Av Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Benoît Caillaud, Dejan Caillaud, Benoît, Nickovic, Kim G Larsen, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm

Häftad, Engelska, 2018

Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke

Häftad, Engelska, 2020

Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke

Inbunden, Engelska, 2018

Av Thomas A. Henzinger, Christoph M. Kirsch

Häftad, Engelska, 2001

Av Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag

Häftad, Engelska, 1996

Av Thomas A. Henzinger, Shankar Sastry

Häftad, Engelska, 1998

Av Jacques Duparc, Thomas A. Henzinger

Häftad, Engelska, 2007

Av Krishnendu Chatterjee, Thomas A. Henzinger

Häftad, Engelska, 2010

Av Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos

Häftad, Engelska, 2013

Av Ashutosh Gupta, Thomas A. Henzinger

Häftad, Engelska, 2013