MPG.eBooks - Search Results

Cover Image

1

Correct Software in Web Applications and Web Services

Published 2015

Springer International Publishing

Cover Image

2

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

by Asperti, Andrea
Published 2003

Springer Berlin Heidelberg

Cover Image

3

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, Febru...

by Moreno-Diaz, Roberto
Published 2001

Springer Berlin Heidelberg

Cover Image

4

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

by Buchberger, Bruno
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Hagenberg Research

Published 2009

Springer Berlin Heidelberg

Cover Image

6

Artificial Intelligence — Eine Einführung

by Retti, Johannes, Bibel, Wolfgang, Buchberger, Bruno, Buchberger, Ernst
Published 1986

Vieweg+Teubner Verlag

Cover Image

7

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

Published 1985

Springer Berlin Heidelberg

Cover Image

8

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, Febru...

Published 2001

Springer Berlin Heidelberg

Cover Image

9

Mathematik für Informatiker I : Die Methode der Mathematik

by Buchberger, Bruno, Lichtenberger, F.
Published 1981

Springer Berlin Heidelberg

Cover Image

10

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

Published 1994

Springer Berlin Heidelberg

Cover Image

11

Gröbner bases and applications

Published 1998

Cambridge University Press

Cover Image

12

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Published 2003

Springer Berlin Heidelberg

Cover Image

13

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings

Published 2004

Springer Berlin Heidelberg

Cover Image

14

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

by Buchberger, Bruno
Published 1994

Springer

Cover Image

15

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

by Buchberger, Bruno
Published 1985

Springer