Tools and algorithms for the construction and analysis of systems
: third international workshop ; proceedings / TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997. Ed Brinksma (ed.). - Berlin : Springer, 1997. - X, 431 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1217)
ISBN 978-3-540-62790-6 / 3-540-62790-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: second international workshop ; proceedings / TACAS '96, Passau, Germany, March 27 - 29, 1996. Tiziana Margaria ; Bernhard Steffen (ed.). - Berlin : Springer, 1996. - XI, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1055)
ISBN 978-3-540-61042-7 / 3-540-61042-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: first international workshop ; selected papers / TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. E. Brinksma ... (ed.). - Berlin : Springer, 1995. - 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1019)
ISBN 978-3-540-60630-7 / 3-540-60630-0 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Tools and applications of biochemical engineering science
/ vol. ed.: K. Schügerl .... - Berlin : Springer, 2002. - Onlien-Ressource - (Advances in biochemical engineering, biotechnology; 74)
ISBN 978-3-540-45736-7
Lizenzpflichtig
Quelle: DNB
Tools and applications of biochemical engineering science
/ vol. ed.: K. Schhügerl ; A.-P. Zeng. With contributions by J. G. Aunins .... - Berlin : Springer, 2002. - XVIII, 274 S. : Ill., graph. Darst.; 24 cm - (Advances in biochemical engineering, biotechnology; 74)
ISBN 978-3-540-42250-1 / 3-540-42250-1 Pp. : EUR 180.83
Literaturangaben
Quelle: DNB
Tools and applications with artificial intelligence
/ Constantinos Koutsojannis ... ed.. - Berlin : Springer, 2008. - Online-Ressource - (Studies in computational intelligence; Vol. 166)
ISBN 978-3-540-88069-1
Lizenzpflichtig
Quelle: DNB
Seydel, Rüdiger: Tools for computational finance
/ Rüdiger U. Seydel. - 4. ed. - Berlin : Springer, 2009. - XXI, 332 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-92928-4 kart. : EUR 48.10
Literaturverz. S. 311 - 323
Quelle: DNB
Seydel, Rüdiger: Tools for computational finance
/ Rüdiger U. Seydel. - 3. Ed. - Berlin : Springer, 2006. - XIX, 299 S. : graph. Darst.; 24 cm, 400 gr. - (Universitext)
ISBN 978-3-540-27923-5 / 3-540-27923-7 kart. : EUR 45.96 (freier Pr.), sfr 78.50 (freier Pr.)
Literaturverz. S. 283 - 292
Quelle: DNB
Seydel, Rüdiger: Tools for computational finance
/ Rüdiger Seydel. - 2. ed. - Berlin : Springer, 2004. - XVI, 240 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-40604-4 / 3-540-40604-2 kart. : EUR 42.75 (freier Pr.), sfr 68.50
Literaturverz. S. 227 - 234
Quelle: DNB
Seydel, Rüdiger: Tools for computational finance
/ Rüdiger Seydel. - Berlin : Springer, 2002. - XIV, 224 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-43609-6 / 3-540-43609-X kart. : EUR 42.75
Literaturverz. S. 211 - 217
Quelle: DNB
