Rentschler, Udo: Fehlertolerantes Präzisionsfügen
/ Udo Rentschler. - Berlin : Springer, 1995. - 128 S. : Ill., graph. Darst.; 21 cm - (ISW-Forschung und -Praxis; Bd. 104)
ISBN 978-3-540-58591-6 / 3-540-58591-5 kart. : DM 88.00
Quelle: DNB
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
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998. Anders P. Ravn ; Hans Rischel (ed.). - Berlin : Springer, 1998. - VIII, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1486)
ISBN 978-3-540-65003-4 / 3-540-65003-2 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 7th international symposium ; proceedings / FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2469)
ISBN 978-3-540-45739-8
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. M. Joseph (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1926)
ISBN 978-3-540-45352-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 1998. A. P. Ravn ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1486)
ISBN 978-3-540-49792-9
Lizenzpflichtig
Quelle: DNB