| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009248680403321 |
|
|
Titolo |
Types for Proofs and Programs [Risorsa elettronica] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 4502 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA990001522590203316 |
|
|
Autore |
CELLINI, Benvenuto |
|
|
Titolo |
La vita : con l'aggiunta: di Trattato della oreficeria, Trattato della scultura, Discorsi sopra l'arte, Lettere e suppliche, Poesie / Benvenuto Cellini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
A cura di G. Cattaneo. - Ed. di 1200 esemplari |
|
|
|
|
|
| |