Hoppa till sidans huvudinnehåll

Thomas A. Henzinger - Böcker

Visar alla böcker från författaren Thomas A. Henzinger.
8 produkter

Handbook of Model Checking

AvEdmund M. Clarke Jr.,Thomas A. Henzinger m. fl.

Inbunden, Engelska, 2018

1 909 kr

Skickas inom 10-15 vardagar

Embedded Software

First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

AvThomas A. Henzinger,Christoph M. Kirsch

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Hybrid Systems III

Verification and Control

AvRajeev Alur,Thomas A. Henzinger m. fl.

Häftad, Engelska, 1996

1 419 kr

Skickas inom 10-15 vardagar

Hybrid Systems: Computation and Control

First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

AvThomas A. Henzinger,Shankar Sastry

Häftad, Engelska, 1998

709 kr

Skickas inom 10-15 vardagar

Computer Science Logic

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

AvJacques Duparc,Thomas A. Henzinger

Häftad, Engelska, 2007

1 379 kr

Skickas inom 10-15 vardagar

Formal Modeling and Analysis of Timed Systems

8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

AvKrishnendu Chatterjee,Thomas A. Henzinger

Häftad, Engelska, 2010

709 kr

Skickas inom 10-15 vardagar

Mathematical and Engineering Methods in Computer Science

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

AvAntonin Kucera,Thomas A. Henzinger m. fl.

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Computational Methods in Systems Biology

11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings

AvAshutosh Gupta,Thomas A. Henzinger

Häftad, Engelska, 2013

689 kr

Skickas inom 10-15 vardagar