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 / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.). by Series: Lecture notes in computer science ; 3085.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11012856
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • TYPES 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.). by Series: Lecture notes in computer science ; 5497. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • Best.-Nr. 12697175
Publication details: Berlin ; New York : Springer, 2009
Other title:
  • TYPES 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5-8, 1995 Selected Papers / edited by Stefano Berardi, Mario Coppo. by Series: Lecture notes in computer science ; 1158.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha