Verified software: theories, tools, experiments : Second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : Proceedings / Natarajan Shankar, Jim Woodcock (Eds.)

• Record Nr.: UNISA990003164200203316
• Autore: International conference, VSTTE 2008 <2.; : 2008
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2008
• ISBN: 978-3-540-69147-1
• Descrizione fisica: XII, 262 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 5295
• Disciplina: 001
• Soggetti: Informatica - Congressi - Toronto - 2008
• Collocazione: 001 LNCS 5295
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Alle origini del credito industriale : l'IMI negli anni Trenta / Francesco Cesarini

• Record Nr.: UNISA990005495310203316
• Autore: CESARINI, Francesco
• Pubbl/distr/stampa: Bologna : Il mulino, 1982
• Descrizione fisica: 128 p. ; 21 cm
• Collana: Studi e ricerche
• Disciplina: 332.7
• Soggetti: Credito industriale - Italia - 1931-1939; Istituto mobiliare italiano - 1931-1939; Fascismo - Politica industriale - 1931-1939
• Collocazione: 300 332.7 CES
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Il latino dell'Europa : testi per lo studio della lingua dei beni culturali / a cura di Carlo Santini

• Record Nr.: UNISA990003382810203316
• Pubbl/distr/stampa: Roma, : Carocci, 2003
• ISBN: 88-430-2551-1
• Descrizione fisica: 439 p. ; 22 cm
• Disciplina: 478
• Soggetti: Antologia latina
• Collocazione: CL 310
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia