Frontiers of combining systems
: 5th international workshop ; proceedings / FroCoS 2005, Vienna, Austria, September 19 - 21, 2005. Bernhard Gramlich (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3717)
ISBN 978-3-540-31730-2
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: third international workshop ; proceedings / FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ; Christophe Ringeissen (ed.). - Berlin : Springer, 2000. - X, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1794 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67281-4 / 3-540-67281-8 kart. : DM 74.00
Literaturangaben
Quelle: DNB
[Gröbner bases and the computation of group cohomology]
/ [David J. Green]. - [Berlin : [Springer], 2003. - Online-Ressource - ([Lecture notes in mathematics]; [1828])
ISBN 978-3-540-39680-2
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Vasconcelos, Wolmer V.: Integral closure
: Rees algebras, multiplicities, algorithms / Wolmer Vasconcelos. - Berlin : Springer, 2005. - XII, 519 S. : graph. Darst.; 24 cm - (Springer monographs in mathematics)
ISBN 978-3-540-25540-6 / 3-540-25540-0 Pp. : EUR 85.55 (freier Pr.), sfr 135.50 (freier Pr.)
Literaturverz. S. 497 - 512
Quelle: DNB Verlagsmeldungen
Integrating symbolic mathematical computation and artificial intelligence
: selected papers ; second international conference / AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994. Jaques Calmet ; John A. Campbell (ed.). - Berlin : Springer, 1995. - X, 275 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 958)
ISBN 978-3-540-60156-2 / 3-540-60156-2 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Intelligent computer mathematics
: Birmingham, UK, July 28 - August 1, 2008 ; proceedings / 9th international conference, AISC 2008 ; 15th symposium, Calculemus 2008 ; 7th international conference, MKM 2008. Serge Autexier ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5144 : Lecture notes in artificial intelligence)
ISBN 978-3-540-85110-3
Lizenzpflichtig
Quelle: DNB
Intelligent computer mathematics
: proceedings / AISC 2008 ... Serge Autexier ... (ed.). - Berlin : Springer, 2008. - XIV, 600 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5144 : Lecture notes in artificial intelligence)
ISBN 978-3-540-85109-7 kart. : EUR 77.04 (freier Pr.), sfr 119.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Naundorf, Holger: MAMMUT
: eine verteilte Speicherverwaltung für symbolische Manipulation / von Holger Naundorf. - Stuttgart : Teubner, 1997. - X, 120 S. : graph. Darst.; 23 cm - (MuPAD-Reports)
ISBN 978-3-519-02198-8 / 3-519-02198-6 kart. : DM 44.00, sfr 40.00, S 321.00
Literaturverz. S. 109 - 115
Quelle: DNB
Benker, Hans: Mathematik mit dem PC
: der effektive Einsatz von Computeralgebra-Programmen in Schule, Studium und Praxis / Hans Benker. - Braunschweig : Vieweg, 1994. - X, 254 S. : graph. Darst.; 22 cm
ISBN 978-3-528-05413-7 / 3-528-05413-1 Pp. : DM 39.80
Literaturverz. S. 243 - 248
Quelle: DNB
Gerhard, Jürgen: Modular algorithms in symbolic summation and symbolic integration
/ Jürgen Gerhard. - Berlin : Springer, 2004. - XVI, 224 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 3218)
ISBN 978-3-540-24061-7 / 3-540-24061-6 kart.
Literaturverz. S. 207 - 216
Quelle: DNB