hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Echtzeitsystem
83 Treffer
Seite < 1 2 3 4 5 6 7 ... 9 >
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, 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

Brugger, Hermann: Implementierung eines echtzeitfähigen Rechnersystems zur Bewegungsregelung eines autonomen mobilen Roboters

/ Hermann Brugger. - Als Ms. gedr. - Düsseldorf : VDI-Verl., 2005. - X, 118 S. : Ill., graph. Darst.; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1056)

ISBN 978-3-18-505608-6 / 3-18-505608-6 kart. : EUR 41.00 (nicht im Sortimentsbuchh.), EUR 36.90 (VDI-Mitgliederpr.)

Quelle: DNB

Cover

Gray, David: Introduction to the formal design of real time systems

/ David Gray. - London : Springer, 1999. - XIII, 461 S. : Ill., graph. Darst.; 24 cm - (Applied computing)

ISBN 978-3-540-76140-2 / 3-540-76140-3 kart. : DM 98.00

Literaturverz. S. 451 - 454

Quelle: DNB

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