hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Echtzeitsystem
94 Treffer
Seite < 1 2 3 4 5 6 7 ... 10 >
Cover

Formal modeling and analysis of timed systems

: 4th international conference ; proceedings / FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4202)

ISBN 978-3-540-45031-3

Lizenzpflichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)

ISBN 978-3-540-31616-9

Lizenzpflichtig

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998. Anders P. Ravn ; Hans Rischel (ed.). - Berlin : Springer, 1998. - VIII, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1486)

ISBN 978-3-540-65003-4 / 3-540-65003-2 kart. : DM 74.00

Literaturangaben

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 7th international symposium ; proceedings / FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2469)

ISBN 978-3-540-45739-8

Lizenzpflichtig

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. M. Joseph (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1926)

ISBN 978-3-540-45352-9

Lizenzpflichtig

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 1998. A. P. Ravn ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1486)

ISBN 978-3-540-49792-9

Lizenzpflichtig

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. Mathai Joseph (ed.). - Berlin : Springer, 2000. - X, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1926)

ISBN 978-3-540-41055-3 / 3-540-41055-4 kart. : DM 82.00

Literaturangaben

Quelle: DNB

Cover

Formal techniques, modelling and analysis of timed and fault tolerant systems

: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)

ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

High integrity system specification and design

/ Jonathon P. Bowen and Michael G. Hinchey. - London : Springer, 1999. - XIX, 701 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)

ISBN 978-3-540-76226-3 / 3-540-76226-4 kart. : DM 195.00

Literaturangaben

Quelle: DNB

Cover

Hybrid and real time systems

: international workshop ; proceedings / HART '97, Grenoble, France, March 26 - 28, 1997. Oded Maler (ed.). - Berlin : Springer, 1997. - IX, 414 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1201)

ISBN 978-3-540-62600-8 / 3-540-62600-X kart. : DM 90.00

Literaturangaben

Quelle: DNB

Seite < 1 2 3 4 5 6 7 ... 10 >
Projekte . Kooperationen