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
System-Engineering für Realzeitsysteme
: Bericht über das Verbundprojekt PROSYT / Hartwig Steusloff ; Thomas Batz (Hrsg.). - Berlin : Springer, 1991. - XVII, 421 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-53184-5 / 3-540-53184-X kart. : DM 88.00
Literaturverz. S. 405 - 421
Quelle: DNB
Schulz, Marc: Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung
/ M. Sc. Marc Schulz. - Als Manuskript gedruckt - Düsseldorf : VDI Verlag GmbH, 2019. - VIII, 186 Seiten : Illustrationen; 21 m - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1264)
ISBN 978-3-18-526408-5 Broschur
Quelle: DNB
Verteilte Echtzeitsysteme
: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung und PEARL (EP), Boppard, 27./28. November 2003 / [PEARL 2003]. Peter Holleczek ; Birgit Vogel-Heuser (Hrsg.). - Berlin : Springer, 2003. - 119 S. : Ill., graph. Darst.; 24 cm - (Informatik aktuell)
ISBN 978-3-540-20141-0 / 3-540-20141-6 kart. : EUR 39.95, sfr 64.00
Literaturangaben
Quelle: DNB
Trescher, Joachim: Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme
/ Joachim Trescher. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - X, 206 S. : graph. Darst. - (GMD-Bericht; Nr. 257)
ISBN 978-3-486-23839-6 / 3-486-23839-6 kart. : DM 60.00
Quelle: DNB
Solvie, Michael: Zeitbehandlung und Multimedia-Unterstützung in Feldkommunikationssystemen
/ Michael Solvie. - München : Hanser, 1996. - V, 186 S. : Ill., graph. Darst.; 21 cm - (Fertigungstechnik - Erlangen; 52)
ISBN 978-3-446-18607-1 / 3-446-18607-7 kart.
Quelle: DNB