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
Hehl, Friedrich W.: Computer-Algebra
: ein Kompaktkurs über die Anwendung von REDUCE / Friedrich W. Hehl ; Volker Winkelmann ; Hartmut Meyer. - Berlin : Springer, 1992. - XI, 142 S. : Ill., graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-55724-1 / 3-540-55724-5 kart. : DM 38.00
Literaturverz. S. 131 - 136
Quelle: DNB
Computer algebra and geometric algebra with applications
: 6th international workshop ; revised selected papers / IWMM 2004, Shanghai, China, May 19 - 21, 2004 and international workshop, GIAE 2004, Xian, China, May 24 - 28, 2004. Hongbo Li ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3519)
ISBN 978-3-540-32119-4
Lizenzpflichtig
Quelle: DNB
Computer algebra and parallelism
- Berlin : Springer, 1992. - IX, 114 S. : graph. Darst. - (Lecture notes in computer science; Vol. 584)
ISBN 978-3-540-55328-1 / 3-540-55328-2 kart. : DM 39.00
Quelle: DNB
