Formal methods and software engineering
: proceedings / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4260)
ISBN 978-3-540-47462-3
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008. Shaoying Liu ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5256)
ISBN 978-3-540-88194-0
Lizenzpflichtig
Quelle: DNB
Formal methods applications and technology
: 11th international workshop and 5th international workshop ; revised selected papers / FMICS 2006, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4346)
ISBN 978-3-540-70951-0 / 3-540-70951-7 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods: applications and technology
: revised selected papers / 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4346)
ISBN 978-3-540-70952-7
Lizenzpflichtig
Quelle: DNB
Formal methods for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
Lizenzpflichtig
Quelle: DNB
Steininger, Konrad: Führung und Zusammenarbeit im Flugbetrieb
: Crew-resource-Management für Berufs- und Verkehrsflugzeugführer nach JAR OPS 1.943 / Konrad Steininger. - Norderstedt : Books on Demand GmbH, 2007. - 225 S. : Ill., graph. Darst.; 22 cm
ISBN 978-3-8334-4816-4 / 3-8334-4816-4 kart. : EUR 27.90
Erscheinungsjahr auf der Haupttitels.: 2003. - Literaturverz. S. 222 - 225
Quelle: DNB Verlagsmeldungen
Kaderali, Firoz: Graphen, Algorithmen, Netze
: Grundlagen und Anwendungen in der Nachrichtentechnik / Firoz Kaderali ; Werner Poguntke. - Braunschweig : Vieweg, 1995. - 528 S. : graph. Darst.; 23 cm - (Studium Technik)
ISBN 978-3-528-06662-8 / 3-528-06662-8 kart. : DM 68.00
Literaturverz. S. 516 - 524
Quelle: DNB
Apel, Harald: Instandhaltungs- und Servicemanagement
: Systeme mit Industrie 4.0 / Harald Apel (Hrsg.) ; Autoren: Prof. Dr.-Ing. Harald Apel, Hochschule Magdeburg-Stendal (Kap. 1-18) [und 9 weitere]. - München : Fachbuchverlag Leipzig im Carl Hanser Verlag, 2018. - 576 Seiten : Illustrationen; 24 cm
ISBN 978-3-446-45323-4 / 3-446-45323-7 Broschur : circa EUR 40.00 (DE), circa EUR 41.20 (AT)
Quelle: DNB
Instandhaltungs- und Servicemanagement
: intelligente Systeme / Harald Apel (Hrsg.). - 2., aktualisierte und erweiterte Auflage - München : Hanser, 2023. - 604 Seiten : Illustrationen; 24 cm, 1143 g
ISBN 978-3-446-47653-0 / 3-446-47653-9 Broschur : circa EUR 49.99 (DE), circa EUR 51.40 (AT)
Quelle: DNB
International Conference on Design of Reliable Communication Networks 2017
: DRCN 2017 : 8-10 March 2017, Munich, Germany - Berlin : VDE VERLAG, 2017. - 1 CD-ROM
ISBN 978-3-8007-4383-4 / 3-8007-4383-3 : EUR 98.00 (DE), EUR 98.90 (AT)
Quelle: DNB
