Libri di Bruno Buchberger - BookPine

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim

Grobner Bases and Applications

Grobner Bases and Applications

Bruno Buchberger

Hagenberg Research

Hagenberg Research

Bruno Buchberger

Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

Roberto Moreno-Díaz

Artificial Intelligence and Symbolic Computation: 7th International Conference, Aisc 2004, Linz, Austria, September 22-24, 2004. Proceedings

Artificial Intelligence and Symbolic Computation: 7th International Conference, Aisc 2004, Linz, Austria, September 22-24, 2004. Proceedings

Bruno Buchberger

Parallel Processing: CONPAR 94 - VAPP VI: Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. ...

Parallel Processing: CONPAR 94 - VAPP VI: Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. ...

Bruno Buchberger

Algorithms in Real Algebraic Geometry

Algorithms in Real Algebraic Geometry

Denis S. Arnon

Rechnerorientierte Verfahren (Mathematische Methoden der Technik, 4)

Rechnerorientierte Verfahren (Mathematische Methoden der Technik, 4)

Bernhard Kutzler

Artificial Intelligence ― Eine Einführung (XLeitfäden der angewandten Informatik, 2)

Artificial Intelligence ― Eine Einführung (XLeitfäden der angewandten Informatik, 2)

Johannes Retti

Eurocal '85: Invited Lectures

Eurocal '85: Invited Lectures

Bruno Buchberger

Eurocal '85: Research Contributions

Eurocal '85: Research Contributions

Austria) European Conference on Computer Algebra (1985 Linz

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures

Bruno Buchberger

Parallel Processing: Conpar 94-Vapp VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 1994 : Pro

Parallel Processing: Conpar 94-Vapp VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 1994 : Pro

Bruno Buchberger

European Conference on Computer Algebra Linz, Austria, April 1-3, 1985 Proceedings

European Conference on Computer Algebra Linz, Austria, April 1-3, 1985 Proceedings

Bruno Buchberger