Model Checking Software [Risorsa elettronica] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus Havelund, Rupak Majumdar, Jens Palsberg

• Record Nr.: UNINA990009256220403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2008
• ISBN: 9783540851141
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5156
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Le cri du peuple : 22 février 1871-23 mai 1871 / Maxime Jourdan

• Record Nr.: UNINA990008512580403321
• Autore: Jourdan, Maxime
• Pubbl/distr/stampa: Paris : L'Harmattan, 2005
• ISBN: 2-7475-8405-4
• Descrizione fisica: 306 p. ; 24 cm
• Disciplina: 074
• Locazione: FLFBC
• Collocazione: 074 JOU 1
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Vol. 15: La rivoluzione francese del 1789 e la rivoluzione italiana del 1859, Dell'indipendenza dell'Italia / premessa di Sergio Romano ; introduzione, cronologia e regesto di Giovanni Bognetti ; testi a cura di Luca Danzi

• Record Nr.: UNISA990002400060203316
• Autore: MANZONI, Alessandro <1785-1873>
• Pubbl/distr/stampa: Milano, : Centro nazionale studi manzoniani, 2000
• Descrizione fisica: XCVI, 354 p., [8] c. di tav. : ill. ; 22 cm
• Collocazione: VI.3.E. 275/15(V A 1433/15)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia