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
Domain modeling and the duration calculus
: international training school, Shanghai, China, September 17 - 21, 2007 ; advanced lectures / Chris W. George ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4710)
ISBN 978-3-540-74964-6
Lizenzpflichtig
Quelle: DNB
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
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5136)
ISBN 978-3-540-70569-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 13th international workshop ; revised papers / DSVIS 2006, Dublin, Ireland, July 26 - 28, 2006. Gavin Doherty ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4323)
ISBN 978-3-540-69554-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ; Philippe Palanque (ed.). - Berlin : Springer, 2008. - IX, 309 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5136)
ISBN 978-3-540-70568-0 kart. : EUR 51.36 (freier Pr.), sfr 80.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
On-line error detection and fast recover techniques for dependable embedded processors
/ M. Pflanz. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2270)
ISBN 978-3-540-45858-6
Lizenzpflichtig
Quelle: DNB
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
Real time mobile multimedia services
: proceedings / 10th IFIP, IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007. Dilip Krishnaswamy ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4787)
ISBN 978-3-540-75869-3
Lizenzpflichtig
Quelle: DNB
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
