Automated technology for verification and analysis
: 5th international symposium ; proceedings / ATVA 2007, Tokyo, Japan, October 22 - 25, 2007. Kedar S. Namjoshi ... (ed.). - Berlin : Springer, 2007. - XIV, 566 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4762)
ISBN 978-3-540-75595-1 / 3-540-75595-0 kart. : EUR 72.76 (freier Pr.), ca. sfr 118.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Schumann, Johann M. Ph.: Automated theorem proving in software engineering
/ Johann M. Schumann. Foreword by Donald Loveland. - Berlin : Springer, 2001. - XIV, 228 S. : graph. Darst.; 25 cm
ISBN 978-3-540-67989-9 / 3-540-67989-8 Pp. : DM 79.00
Literaturverz. S. 203 - 220
Quelle: DNB
Franz, Alexander: Automatic ambiguity resolution in natural language processing
: an empirical approach / Alexander Franz. - Berlin : Springer, 1996. - XV, 155 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1171 : Lecture notes in artificial intelligence)
ISBN 978-3-540-62004-4 / 3-540-62004-4 kart. : DM 46.00
Literaturverz. S. 133 - 145
Quelle: DNB
Automatic differentiation
: applications, theory and implementations ; with 33 tables / Martin Bücker ... (ed.). - Berlin : Springer, 2006. - XVII, 361 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computational science and engineering; Vol. 50)
ISBN 978-3-540-28403-1 / 3-540-28403-6 kart. : EUR 85.55 (freier Pr.), sfr 135.50 (freier Pr.)
Literaturverz. S. 323 - 354
Quelle: DNB Verlagsmeldungen
Automatic generation of computer animation
: using AI for movie animation / R. Lu .... - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45590-5
Lizenzpflichtig
Quelle: DNB
Lu, Ruqian: Automatic generation of computer animation
: using AI for movie animation / Ruqian Lu ; Songmao Zhang. - Berlin : Springer, 2002. - XI, 380 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-43114-5 / 3-540-43114-4 kart. : EUR 47.08
Literaturverz. S. 363 - 374
Quelle: DNB
Hörmann, Wolfgang: Automatic nonuniform random variate generation
/ Wolfgang Hörmann ; Josef Leydold ; Gerhard Derflinger. - Berlin : Springer, 2004. - X, 441 S. : graph. Darst.; 24 cm - (Statistics and computing)
ISBN 978-3-540-40652-5 / 3-540-40652-2 Pp. : EUR 80.20, sfr 124.50
Literaturverz. S. 415 - 428
Quelle: DNB
Automatic supervision in manufacturing
/ ed. Maciej Szafarczyk. - London : Springer, 1994. - XIV, 283 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-19858-1 / 3-540-19858-X Pp. : DM 218.00
Literaturangaben
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ Olaf Burkart. - Berlin : Springer, 1997. - X, 163 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1354)
ISBN 978-3-540-63982-4 / 3-540-63982-9 kart. : DM 50.00
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ O. Burkart. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1354)
ISBN 978-3-540-69678-0
Lizenzpflichtig
Quelle: DNB
