Industrial benefit and advances in formal methods
: proceedings / FME '96, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996. Marie-Claude Gaudel ; James Woodcock (ed.). Co-sponsored by IFIP WG 14.3. - Berlin : Springer, 1996. - XII, 704 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1051)
ISBN 978-3-540-60973-5 / 3-540-60973-3 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial benefit of formal methods
: proceedings / FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.). - Berlin : Springer, 1994. - XI, 723 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 873)
ISBN 978-3-540-58555-8 / 3-540-58555-9 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Industrial excellence
: management quality in manufacturing ; with 17 tables / Christoph H. Loch .... - Berlin : Springer, 2003. - XVII, 248 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-00254-3 / 3-540-00254-5 Pp. : EUR 53.45
Literaturangaben
Quelle: DNB
Industrial image processing
/ C. Demant .... - Berlin : Springer, 1999. - 353 S. : Ill., graph. Darst.; 25 cm
ISBN 978-3-540-66410-9 : DM 169.00, sfr 153.00, S 1234.00
Literaturverz. S. 345 - 347
Quelle: DNB
Industrial information and design issues
: with 8 tables / J.-E. Dubois ; N. Gershon (ed.). - Berlin : Springer, 1996. - XVIII, 293 S : graph. Darst.; 25 cm - (Data and knowledge in a changing world)
ISBN 978-3-540-61457-9 / 3-540-61457-5 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Industrial perspectives of safety critical systems
: proceedings of the Sixth Safety Critical Systems Symposium, Birmingham 1998 / Felix Redmill and Tom Anderson (ed.). [Safety Critical Systems Club]. - London : Springer, 1998. - IX, 233 S. : graph. Darst.; 24 cm
ISBN 978-3-540-76189-1 / 3-540-76189-6 kart. : DM 128.00
Literaturangaben
Quelle: DNB
Shen, Thomas T.: Industrial pollution prevention
/ Thomas T. Shen. - Berlin : Springer, 1995. - XIII, 371 S. : graph. Darst.; 24 cm - (Environmental engineering)
ISBN 978-3-540-58001-0 / 3-540-58001-8 Pp. : DM 98.00
Literaturangaben
Quelle: DNB
Shen, Thomas T.: Industrial pollution prevention
: with 14 tables / Thomas T. Shen. - 2., completely rev. and enl. ed. - Berlin : Springer, 1999. - XIV, 428 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-65208-3 / 3-540-65208-6 Pp. : DM 169.00
Literaturangaben
Quelle: DNB
Industrial project management
: planning, design, and construction / Stefano Tonchia with additional contributions by Flavio Cozzi. - Berlin : Springer, 2008. - XV, 229 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-77542-3 Pp. : EUR 53.45 (freier Pr.), ca. sfr 87.00 (freier Pr.)
Literaturverz. S. 225 - 229
Quelle: DNB
Industrial strength formal methods
: proceedings / FME' 93, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 - 23, 1993. J. C. P. Woodcock ; P. G. Larsen (ed.). - Berlin : Springer, 1993. - XI, 689 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 670)
ISBN 978-3-540-56662-5 / 3-540-56662-7 kart. : DM 122.00
Literaturangaben
Quelle: DNB
