Hoppa till sidans huvudinnehåll

Wolfgang Windsteiger - Böcker

Visar alla böcker från författaren Wolfgang Windsteiger.
6 produkter

Towards Mechanized Mathematical Assistants

14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

AvManuel Kauers,Manfred Kerberm. fl.

Häftad, Engelska, 2007

699 kr

Skickas inom 10-15 vardagar

Hagenberg Research

AvBruno Buchberger,Michael Affenzellerm. fl.

Inbunden, Engelska, 2009

2 119 kr

Skickas inom 10-15 vardagar

Hagenberg Research

AvBruno Buchberger,Michael Affenzellerm. fl.

Häftad, Engelska, 2010

2 119 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

AvJacques Carette,David Aspinallm. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

Algorithmische Methoden

Zahlen, Vektoren, Polynome

AvPhilipp Kügler,Wolfgang Windsteiger

Häftad, Tyska, 2008

269 kr

Skickas inom 7-10 vardagar

Algorithmische Methoden

Band 2: Funktionen, Matrizen, Multivariate Polynome

AvPhilipp Kügler,Wolfgang Windsteiger

Häftad, Tyska, 2012

269 kr

Skickas inom 10-15 vardagar