Hagenberg Research

Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings

Springer-Verlag GmbH (9783540734321 / biography) | Algebraic Biology

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... Notes in Computer Science, 4573, Band 4573)

Springer-Verlag GmbH (9783540730835 / biography) | Towards Mechanized Mathematical Assistants

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Springer (9783319968117) | Intelligent Computer Mathematics

Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

(9783540209270 / Illustrations) | Automated Deduction in Geometry

Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001 Hagenberg, Austria, September 12-14, 2001 Revised Papers: ... Notes in Computer Science, 2630, Band 2630)

(9783540405542 / Illustrations)

Hagenberger Geschäftsprozessmodellierungsmethode