Hagenberg Research
Editat de Bruno Buchberger et al.
19 oct 2010
Paperback
Preț: 958.14 lei 1197.68 lei
6-8 săpt.
-20%
Cărți de Wolfgang Windsteiger
Towards Mechanized Mathematical Assistants
Editat de Manuel Kauers et al.
19 iun 2007
Paperback
Preț: 382.45 lei
6-8 săpt.
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Editat de Jacques Carette et al.
22 iul 2013
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
Algorithmische Methoden: Band 2: Funktionen, Matrizen, Multivariate Polynome
Autor Philipp Kügler et al.
23 mai 2012
Paperback
Preț: 141.40 lei
6-8 săpt.