Gabriel, Robert: Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen
/ Robert Gabriel. - München : Oldenbourg, 1995. - 171 S. : Ill. - (GMD-Bericht; Nr. 256)
ISBN 978-3-486-23634-7 / 3-486-23634-2 kart. : DM 51.00, sfr 51.00, S 378.00
Quelle: DNB
Models in software engineering
: workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers / Holger Giese (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5002)
ISBN 978-3-540-69073-3
Lizenzpflichtig
Quelle: DNB
Models in software engineering
: workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers / Holger Giese (ed.). - Berlin : Springer, 2008. - X, 322 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5002)
ISBN 978-3-540-69069-6 kart. : EUR 51.36 (freier Pr.), sfr 80.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Models in software engineering
: workshops and symposia at MoDELS 2006, Genoa, Italy, October 1 - 6, 2006 ; reports and revised selected papers / Thomas Kühne (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4364)
ISBN 978-3-540-69489-2
Lizenzpflichtig
Quelle: DNB
Friesen, Viktor: Objektorientierte Spezifikation hybrider Systeme
/ Viktor Friesen. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1997. - 256 S.; 24 cm - (GMD-Bericht; Nr. 289)
ISBN 978-3-486-24699-5 / 3-486-24699-2 kart. : DM 72.00
Quelle: DNB
Schieferdecker, Ina: Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
/ Ina Kathrin Schieferdecker. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - 256 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 242)
ISBN 978-3-486-23328-5 / 3-486-23328-9 kart. : ca. DM 70.00, ca. sfr 70.00, ca. S 546.00
Quelle: DNB
Programming languages and systems
: 6th Asian symposium ; proceedings / APLAS 2008, Bangalore, India, December 9 - 11, 2008. G. Ramalingam (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5356)
ISBN 978-3-540-89330-1
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: 6th Asian symposium ; proceedings / APLAS 2008, Bangalore, India, December 9 - 11, 2008. G. Ramalingam (ed.). - Berlin : Springer, 2008. - X, 341 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 5356)
ISBN 978-3-540-89329-5 kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Mester, Arnulf: Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern
/ Arnulf Mester. - Münster : Krehl, 2002. - VII, 167 S. : graph. Darst.; 22 cm
ISBN 978-3-8311-3880-7 / 3-8311-3880-X kart. : EUR 45.00 (freier Pr.)
Hergestellt on demand
Quelle: DNB
Services and visualization
: towards user-friendly design ; selected papers / ACOS '98 ... T. Margaria ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1385)
ISBN 978-3-540-69760-2
Lizenzpflichtig
Quelle: DNB
