MPG.eBooks - Search Results - "Lecture Notes in Computer Science"

Cover Image

1

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

Published 2004

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Cover Image

2

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

Published 1988

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Cover Image

3

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

“...Lecture Notes in Computer Science...”

Cover Image

4

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

“...Lecture Notes in Computer Science...”

Cover Image

5

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

Published 1994

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”