hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Echtzeitverarbeitung
4 Treffer
Seite < 1 >
Cover

Hoppen, Peter: Autonome mobile Roboter

: Echtzeitnavigation in bekannter und unbekannter Umgebung / von Peter Hoppen. - Mannheim : BI-Wiss.-Verl., 1992. - 242 S. : graph. Darst.; 24 cm - (Reihe Informatik; Bd. 87)

ISBN 978-3-411-15751-8 / 3-411-15751-8 kart. : DM 48.00

Literaturverz. S. 227 - 237

Quelle: DNB

Cover

Interactive systems

: design, specification, and verification : 13th international workshop ; revised papers / DSVIS 2006, Dublin, Ireland, July 26 - 28, 2006. Gavin Doherty ; Ann Blandford (ed.). - Berlin : Springer, 2007. - XI, 268 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4323)

ISBN 978-3-540-69553-0 / 3-540-69553-2 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Jippa, Kai-Nicolas: Onlinefähige, thermodynamikbasierte Ansätze für die Auswertung von Zylinderdruckverläufen

/ Kai-Nicolas Jippa. - Renningen : expert-Verl., 2003. - 122 S. : graph. Darst.; 21 cm - (Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart; Bd. 20)

ISBN 978-3-8169-2306-0 / 3-8169-2306-2 kart. : EUR 37.00, sfr 64.00

Quelle: DNB

Cover

Koymans, Ronald L.: Specifying message passing and time critical systems with temporal logic

/ Ron Koymans. - Berlin : Springer, 1992. - VIII, 164 S.; 24 cm - (Lecture notes in computer science; Vol. 651)

ISBN 978-3-540-56283-2 / 3-540-56283-4 kart. : DM 46.00

Literaturverz. S. 151 - 161

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen