Pink, Axel: Software-Entwicklung für Kommunikationsnetze
: 11 Tabellen / Axel Pink ; Heinz Koßmann. In Zusammenarbeit mit Manfred Broy. Mit Beitr. von Edeltraud Kargl .... - Berlin : Springer, 2002. - XIII, 273 S. : graph. Darst.; 24 cm - (Xpert.press)
ISBN 978-3-540-43265-4 / 3-540-43265-5 Pp. : EUR 44.95, sfr 69.50, L 29.50, $ 39.49
Literaturverz. S. 265 - 267
Quelle: DNB
Softwaretechnik in Automatisierung und Kommunikation
: Datenbanken unter Realzeit- und technischen Entwicklungsanforderungen ; Vorträge der GI/ITG/GMA-Fachtagung vom 1. bis 2. März 1994 in Ilmenau / STAK '94. Wiss. Tagungsleitung: Alejandro P. Buchmann. Veranst.: Gesellschaft für Informatik (GI) .... - Berlin : vde-Verl., 1994. - 241 S. : graph. Darst.; 30 cm - (ITG-Fachbericht; 125)
ISBN 978-3-8007-1994-5 / 3-8007-1994-0 kart. : DM 70.00, sfr 62.00, S 493.00
Beitr. teilw. dt., teilw. engl. - Literaturangaben
Quelle: DNB
Software technolgies for embedded and ubiquitous systems
: 5th IFIP WG 10.2 international workshop ; revised papers / SEUS 2007, Santorini Island, Greece, May 7 - 8, 2007. Roman Obermaisser ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4761)
ISBN 978-3-540-75664-4
Lizenzpflichtig
Quelle: DNB
Software technologies for embedded and ubiquitous systems
: 6th IFIP WG 10.2 international workshop ; proceedings / SEUS 2008, Anacapri, Capri Island, Italy, October 1 - 3, 2008. Uwe Brinkschulte ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5287)
ISBN 978-3-540-87785-1
Lizenzpflichtig
Quelle: DNB
Hooman, Jozef J. M.: Specification and compositional verification of real time systems
/ J. Hooman. - Berlin : Springer, 1991. - VIII, 235 S.; 24 cm - (Lecture notes in computer science; 558)
ISBN 978-3-540-54947-5 / 3-540-54947-1 kart. : DM 39.50
Literaturverz. S. 228 - 235
Quelle: DNB
Hatley, Derek J.: Strategien für die Echtzeit-Programmierung
/ Derek J. Hatley ; Imtiaz A. Pirbhai. Aus dem Amerikan. übers. von ADP-Dripke-Publikationen-GmbH. - München : Hanser, 1993. - XVII, 444 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-446-16288-4 / 3-446-16288-7 Pp. : DM 88.00
Quelle: DNB
Ward, Paul T.: Strukturierte Systemanalyse von Echtzeit-Systemen
/ Paul T. Ward und Stephen J. Mellor. [Übers. von Stefan Löffler und Wolfgang Scholten]. - München : Hanser, 1991. - XVI, 159 S. : graph. Darst.; 24 cm
ISBN 978-3-446-16198-6 / 3-446-16198-8 Kunststoff : DM 58.00
Aus dem Amerikan. übers.
Quelle: DNB
System analysis and modeling: language profiles
: 5th international workshop ; revised selected papers / SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006. Reinhard Gotzhein ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4320)
ISBN 978-3-540-68373-5
Lizenzpflichtig
Quelle: DNB
System analysis and modeling: language profiles
: 5th international workshop ; revised selected papers / SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006. Reinhard Gotzhein ; Rick Reed (ed.). [SDL]. - Berlin : Springer, 2006. - X, 228 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4320)
ISBN 978-3-540-68371-1 / 3-540-68371-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Weber, Matthias: Systematic design of embedded control systems
: composing models of system structure and behavior / Matthias Weber. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1997. - 248 S. : graph. Darst.; 23 cm - (GMD-Bericht; Nr. 283)
ISBN 978-3-486-24464-9 / 3-486-24464-7 kart. : ca. DM 70.00, ca. sfr 61.00, ca. S 511.00
Quelle: DNB
