SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Thomas A. Henzinger | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?



Embedded Software - First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Thomas A. Henzinger; Christoph M. Kirsch
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Systems: Computation and Control - First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998,
Thomas A. Henzinger; Shankar Sastry
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, Septem
Jacques Duparc (ed.); Thomas A. Henzinger (ed.)
Springer (2007)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Systems III - Verification and Control
Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8
Krishnendu Chatterjee (ed.); Thomas A. Henzinger (ed.)
Springer (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematical and Engineering Methods in Computer Science - 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Repub
Antonin Kucera; Thomas A. Henzinger; Jaroslav Nešetřil; Tomas Vojnar; David Antos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2
Ashutosh Gupta; Thomas A. Henzinger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Model Checking
Edmund M. Clarke (ed.); Thomas A. Henzinger (ed.); Helmut Veith (ed.); Roderick Bloem (ed.)
Springer (2018)
Kovakantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Model Checking
Edmund M. Clarke (ed.); Thomas A. Henzinger (ed.); Helmut Veith (ed.); Roderick Bloem (ed.)
Springer (2020)
Pehmeäkantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Embedded Software - First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 504 sivua
Asu: Pehmeäkantinen kirja
Painos: 2001
Julkaisuvuosi: 2001, 26.09.2001 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2211
This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8-10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G' erard Berry (Esterel Technologies, France) Paul Hudak (Yale University, USA) Hermann Kopetz(Technical University of Vienna, Austria) Edward Lee (University of California, Berkeley, USA) Ragunathan Rajkumar (Carnegie Mellon University, USA) Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) Douglas Schmidt (Defense Advanced Research Projects Agency, USA) Joseph Sifakis (Verimag Grenoble, France) The workshop was sponsored jointly by the DARPA Information Technology O?ce within the MobIES (Model-based Integration of Embedded Systems) p- gram (Dr. Janos Sztipanovits), and by the National Science Foundation (Dr. Helen Gill). The workshop URL is www. emsoft. org. Embedded software is software that interacts with physical processes. As - bedded systems increasingly permeate our daily lives on all levels, from micr- copic devices to international networks, the cost-e?cient development of reliable embedded software is one of the grand challenges in computer science today.
The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software devel- ment, and to incubate a research community in this way.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Embedded Software - First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540426738
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste