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
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. Mathai Joseph (ed.). - Berlin : Springer, 2000. - X, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1926)
ISBN 978-3-540-41055-3 / 3-540-41055-4 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
- Berlin : Springer, 1991. - IX, 620 S. : graph. Darst. - (Lecture notes in computer science; Vol. 571)
ISBN 978-3-540-55092-1 / 3-540-55092-5 kart. : DM 87.00
Quelle: DNB
Formal techniques in real time and fault tolerant systems
- Berlin : Springer, 1994. - (Lecture notes in computer science; 863)
ISBN 978-3-540-58468-1 / 3-540-58468-4 Softcover : DM 142.00
Quelle: DNB
Formal techniques in real time and fault tolerant systems
- Berlin : Springer, 1996. - X, 478 S. : lll., graph. Darst. - (Lecture notes in computer science; 1135)
ISBN 978-3-540-61648-1 / 3-540-61648-9 kart : DM 94.00
Quelle: DNB
Formal techniques, modelling and analysis of timed and fault tolerant systems
: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)
ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Kriete, Andres: Form and function of mammalian lung
: analysis by scientific computing / A. Kriete. - Berlin : Springer, 1998. - IX, 108 S. : Ill., graph. Darst.; 24 cm - (Advances in anatomy, embryology and cell biology; Vol. 145)
ISBN 978-3-540-64494-1 / 3-540-64494-6 kart. : DM 199.00
Quelle: DNB
Makhous, Monzer: The formation of hydrocarbon deposits in the North African basins
: geological and geochemical conditions / Monzer Makhous. - Berlin : Springer, 2001. - XII, 329 S. : Ill., graph. Darst., Kt.; 24 cm - (Lecture notes in earth sciences; 89)
ISBN 978-3-540-66369-0 / 3-540-66369-X kart. : DM 149.00
Literaturverz. S. 293 - 307
Quelle: DNB
