ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

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
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

3.
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages