MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

High Performance Computing : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings

by Polychronopoulos, Constantine
Published 1997

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

4

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

by Araki, Keijiro
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

5

RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Published 1986

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

6

High Performance Computing : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

7

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer science...”