-
1
-
2
-
3Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings / Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /Texto bibliotecaCOLPOS
-
4Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings / Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /Texto bibliotecaCOLPOS
-
5Algebraic and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings / Algebraic and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings /by Levi, Giorgio. editor., Rodríguez-Artalejo, Mario. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
6Algebraic and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings / Algebraic and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings /by Levi, Giorgio. editor., Rodríguez-Artalejo, Mario. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
7Foundations of Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings / Foundations of Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings /by Boscarol, Mauro. editor., Carlucci Aiello, Luigia. editor., Levi, Giorgio. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
8Foundations of Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings / Foundations of Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings /by Boscarol, Mauro. editor., Carlucci Aiello, Luigia. editor., Levi, Giorgio. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
9TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 /by Ehrig, Hartmut. editor., Kowalski, Robert. editor., Levi, Giorgio. editor., Montanari, Ugo. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
10TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 /by Ehrig, Hartmut. editor., Kowalski, Robert. editor., Levi, Giorgio. editor., Montanari, Ugo. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS