Computer aided verification
: 6th international workshop ; proceedings / CAV '94, Stanford, California, USA, June 21 - 23, 1994. David L. Dill (ed.). - Berlin : Springer, 1994. - IX, 480 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 818)
ISBN 978-3-540-58179-6 / 3-540-58179-0 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 10th international conference ; proceedings / CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998. Alan J. Hu ; Moshe Y. Yardi (ed.). - Berlin : Springer, 1998. - IX, 552 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1427)
ISBN 978-3-540-64608-2 / 3-540-64608-6 kart. : DM 114.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 12th international conference ; proceedings / CAV 2000, Chicago, IL, USA, July 15 - 19, 2000. E. Allen Emerson ; A. Prasad Sistla (ed.). - Berlin : Springer, 2000. - X, 582 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1855)
ISBN 978-3-540-67770-3 / 3-540-67770-4 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 7th international conference ; proceedings / CAV '95, Liège, Belgium, July 3 - 5, 1995. Pierre Wolper (ed.). - Berlin : Springer, 1995. - X, 450 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 939)
ISBN 978-3-540-60045-9 / 3-540-60045-0 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 2nd international conference ; proceedings / CAV '90, New Brunswick, NJ, June 18 - 21, 1990. E. M. Clarke ; R. P. Kurshan (ed.). - Berlin : Springer, 1991. - XIII, 372 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 531)
ISBN 978-3-540-54477-7 / 3-540-54477-1 kart. : DM 55.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 5th international conference ; proceedings / CAV '93, Elounda, Greece, June 28 - July 1, 1993. Costas Courcoubetis (ed.). - Berlin : Springer, 1993. - IX, 504 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 697)
ISBN 978-3-540-56922-0 / 3-540-56922-7 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 20th international conference ; proceedings / CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008. Aarti Gupta ; Sharad Malik (ed.). - Berlin : Springer, 2008. - XVII, 558 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5123)
ISBN 978-3-540-70543-7 kart. : EUR 72.76 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer algebra
/ EUROCAL .... - Berlin [West] : Springer, 1983. - XII, 305 S. : graph. Darst. - (...; 162)
ISBN 978-3-540-12868-7 / 3-540-12868-9 DM 38.00
Literaturangaben
Quelle: DNB
Kaplan, Michael: Computeralgebra
/ Michael Kaplan. - Berlin : Springer, 2005. - XII, 391 S. : graph. Darst.; 24 cm
ISBN 978-3-540-21379-6 / 3-540-21379-1 kart. : EUR 39.95, sfr 68.00
Literaturverz. S. 367 - 378
Quelle: DNB Verlagsmeldungen
Koepf, Wolfram: Computeralgebra
: eine algorithmisch orientierte Einführung / Wolfram Koepf. - Berlin : Springer, 2006. - XIII, 515 S. : graph. Darst.; 24 cm - (Extras im Web)
ISBN 978-3-540-29894-6 / 3-540-29894-0 kart. : EUR 39.95, sfr 68.00
Literaturverz. S. 481 - 485
Quelle: DNB Verlagsmeldungen
