Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings / Mario Coppo, Elena Lodi, G. Michele Pinna (eds.). by Italian Conference on Theoretical Computer Science (9th : 2005 : Siena, Italy) Coppo, Mario, 1947- Lodi, E. (Elena) Pinna, G. Michele Series: Lecture notes in computer science ; 3701. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: ICTCS 2005 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5-8, 1995 Selected Papers / edited by Stefano Berardi, Mario Coppo. by TYPES '95 (1995 : Turin, Italy) Berardi, Stefano Coppo, Mario, 1947- Series: Lecture notes in computer science ; 1158. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search