Thomas A. Henzinger - Böcker
Visar alla böcker från författaren Thomas A. Henzinger.
9 produkter
9 produkter
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Jr. Clarke, Edmund M., Edmund M. Clarke
Häftad, Engelska, 2020
2 029 kr
Skickas inom 10-15 vardagar
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke
Inbunden, Engelska, 2018
1 969 kr
Skickas inom 10-15 vardagar
Del 2211 - Lecture Notes in Computer Science
Embedded Software
Häftad, Engelska, 2001
739 kr
Skickas inom 10-15 vardagar
Del 1066 - Lecture Notes in Computer Science
Hybrid Systems III
Häftad, Engelska, 1996
1 449 kr
Skickas inom 10-15 vardagar
Del 1386 - Lecture Notes in Computer Science
Hybrid Systems: Computation and Control
Häftad, Engelska, 1998
739 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2007
1 409 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar
Mathematical and Engineering Methods in Computer Science
Av Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos, Jaroslav Ne¿et¿il
Häftad, Engelska, 2013
739 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar