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

Av Manuel Kauers, Manfred Kerber m. fl

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

Hagenberg Research

Av Bruno Buchberger, Michael Affenzeller m. fl

Inbunden, Engelska, 2009

2 109 kr

Skickas inom 10-15 vardagar

Hagenberg Research

Av Bruno Buchberger, Michael Affenzeller m. fl

Häftad, Engelska, 2010

2 109 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

Av Jacques Carette, David Aspinall m. fl

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Algorithmische Methoden

Zahlen, Vektoren, Polynome

Av Philipp Kügler, Wolfgang Windsteiger

Häftad, Tyska, 2008

259 kr

Skickas inom 10-15 vardagar

Algorithmische Methoden

Band 2: Funktionen, Matrizen, Multivariate Polynome

Av Philipp Kügler, Wolfgang Windsteiger m. fl

Häftad, Tyska, 2012

269 kr

Skickas inom 10-15 vardagar