MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

Published 1988

Springer Berlin Heidelberg

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

Cover Image

2

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol...

Published 1985

Springer Berlin Heidelberg

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

Cover Image

3

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1...

Published 1985

Springer Berlin Heidelberg

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

Cover Image

4

Algebraic Methodology and Software Technology (AMAST’93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente,...

Published 1994

Springer London

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

Cover Image

5

Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

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

Cover Image

6

Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...

Published 1998

Springer Berlin Heidelberg

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

Cover Image

7

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

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

Cover Image

8

Parallel Image Analysis : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

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