Oded Maler | Akateeminen Kirjakauppa

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

HYBRID AND REAL-TIME SYSTEMS - INTERNATIONAL WORKSHOP, HART'97, GRENOBLE, FRANCE, MARCH 26-28, 1997, PROCEEDINGS

Oded Maler
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja

49,60 €

HYBRID SYSTEMS BIOLOGY - SECOND INTERNATIONAL WORKSHOP, HSB 2013, TAORMINA, ITALY, SEPTEMBER 2, 2013 AND THIRD INTERNATIONAL WOR

Oded Maler; Ádám Halász; Thao Dang; Carla Piazza
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

40,00 €

HYBRID SYSTEMS: COMPUTATION AND CONTROL - 6TH INTERNATIONAL WORKSHOP, HSCC 2003 PRAGUE, CZECH REPUBLIC, APRIL 3-5, 2003, PROCEED

Freek Wiedijk; Oded Maler; Amir Pnueli
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

97,90 €

COMPUTER AIDED VERIFICATION : 21ST INTERNATIONAL CONFERENCE, CAV 2009, GRENOBLE, FRANCE, JUNE 26 - JULY 2, 2009, PROCEEDINGS

Ahmed Bouajjani (ed.); Oded Maler (ed.)
Springer (2009)
Pehmeäkantinen kirja

97,90 €

VERIFICATION AND SYNTHESIS OF HYBRID SYSTEMS

Eugine Asarin; Oded Maler; Thao Dang
Springer London (2006)
Kovakantinen kirja

132,20 €

Hybrid and Real-Time Systems - International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Oded Maler

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 426 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997
Julkaisuvuosi: 1997, 05.03.1997 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1201

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.
The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.
Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus