MPG.eBooks - Author Search Results

Cover Image

1

Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

by Levi, Giorgio
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

2

Algebraic and Logic Programming : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

by Levi, Giorgio
Published 1994

Springer

Cover Image

3

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

4

Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

by Kirchner, Hélène
Published 1992

Springer

Other Authors: “...Levi, Giorgio...”

Cover Image

5

Static Analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

6

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

7

Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

8

Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

9

Foundations of Logic and Functional Programming : Workshop Trento, Italy, December 15–19, 1986 Proceedings

by Boscarol, Mauro
Published 1988

Springer

Other Authors: “...Levi, Giorgio...”

Cover Image

10

TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

by Ehrig, Hartmut
Published 1987

Springer

Other Authors: “...Levi, Giorgio...”

Cover Image

11

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

by Ehrig, Hartmut
Published 1987

Springer

Other Authors: “...Levi, Giorgio...”

Cover Image

12

Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Published 1988

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

13

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations o...

Published 1987

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”

Cover Image

14

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Found...

Published 1987

Springer Berlin Heidelberg

Other Authors: “...Levi, Giorgio...”