Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds). by VMCAI 2004 (2004 : Venice, Italy) Steffen, Bernhard Levi, G. (Giorgio), 1942- ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy) Series: Lecture notes in computer science ; 2937. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004 Other title: VMCAI 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, eds. by Levi, G. (Giorgio), 1942- Rodríguez Artalejo, M. (Mario) International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid, Spain) Series: Lecture notes in computer science ; 850. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994 Other title: ALP '94 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed. by International Static Analysis Symposium (5th : 1998 : Pisa, Italy) Levi, G. (Giorgio), 1942- LINK (Online service) Series: Lecture notes in computer science ; 1503. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998 Other title: SAS '98 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.). by Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy) Boscarol, M. (Mauro), 1947- Carlucci Aiello, L. (Luigia), 1946- Levi, G. (Giorgio), 1942- Series: Lecture notes in computer science ; 306. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1988 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha