Gabriel, Roland: Gestaltung und Einsatz von Datenbanksystemen
: data base engineering und Datenbankarchitekturen / Roland Gabriel ; Heinz-Peter Röhrs. Unter Mitarb. von Carsten Dittmar .... - Berlin : Springer, 2003. - XVIII, 422 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-44231-8 / 3-540-44231-6 kart. : EUR 29.95
Literaturangaben
Quelle: DNB
Vetter, Max: Global denken, lokal handeln in der Informatik
: 10 Gebote eines ganzheitlichen, objektorientierten Informatik-Einsatzes / von Max Vetter. - Stuttgart : Teubner, 1994. - 182 S. : Ill., graph. Darst.; 24 cm - (Informatik und Unternehmensführung)
ISBN 978-3-519-02188-9 / 3-519-02188-9 Pp. : DM 44.00, sfr 44.00, S 343.00
Quelle: DNB
Bank, Dirk: High resolution ultrasonic sensing for autonomous mobile systems
/ Dirk Bank. - Als Ms. gedr. - Düsseldorf : VDI-Verl., 2005. - X, 211 S. : Ill., graph. Darst.; 21 cm - (Fortschritt-Berichte VDI : Reihe 08, Mess-, Steuerungs- und Regelungstechnik; Nr. 1086)
ISBN 978-3-18-508608-3 / 3-18-508608-2 kart. : EUR 65.00 (nicht im Sortimentsbuchh.), EUR 58.50 (VDI-Mitgliederpr.)
Quelle: DNB
Industrial applications and strengthened foundations of formal methods
: proceedings / FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997. John Fitzgerald ... (ed.). - Berlin : Springer, 1997. - XIII, 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1313)
ISBN 978-3-540-63533-8 / 3-540-63533-5 kart. : DM 130.00
Literaturangaben
Quelle: DNB
Industrial benefit and advances in formal methods
: proceedings / FME '96, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996. Marie-Claude Gaudel ; James Woodcock (ed.). Co-sponsored by IFIP WG 14.3. - Berlin : Springer, 1996. - XII, 704 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1051)
ISBN 978-3-540-60973-5 / 3-540-60973-3 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial benefit of formal methods
: proceedings / FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.). - Berlin : Springer, 1994. - XI, 723 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 873)
ISBN 978-3-540-58555-8 / 3-540-58555-9 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial strength formal methods
: proceedings / FME' 93, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 - 23, 1993. J. C. P. Woodcock ; P. G. Larsen (ed.). - Berlin : Springer, 1993. - XI, 689 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 670)
ISBN 978-3-540-56662-5 / 3-540-56662-7 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Sølvberg, Arne: Information systems engineering
: an introduction / A. Sølvberg ; D. C. Kung. - Berlin : Springer, 1993. - XV, 540 S. : graph. Darst.; 25 cm
ISBN 978-3-540-56310-5 / 3-540-56310-5 Pp. : DM 98.00
Literaturverz. S. 527 - 535
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)
ISBN 978-3-540-24756-2
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - XI, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2999)
ISBN 978-3-540-21377-2 / 3-540-21377-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
