FME'96 : industrial benefit and advances informal methods : 3rd internationalsymposium of formal methods Europe: Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel ...[et al.]

• Record Nr.: UNISA990000206450203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-60973-3
• Descrizione fisica: XII, 704 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1051
• Disciplina: 004
• Collocazione: 001 LNCS (1051)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Storia dell'inquietudine : metafore del destino dall'Odissea alla guerra del Golfo / Augusto Placanica

• Record Nr.: UNISANNIOLO10320116
• Autore: Placanica, Augusto
• Pubbl/distr/stampa: Roma, : Donzelli, [1993]
• ISBN: 8879890271
• Descrizione fisica: XIX, 203 p. ; 22 cm.
• Collana: Saggi , . Storia e scienze sociali
• Disciplina: 001.9; 109; 123; 303.4; 306
• Soggetti: Calamità; Civiltà
• Collocazione: POZZO LIB.ECON MON 7584
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia