| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBSOBE00024916 |
|
|
Autore |
*SVIMEZ |
|
|
Titolo |
Rapporto 1982 sull'economia del Mezzogiorno : Napoli, 5 ottobre 1982, Sala delle Assemblee dell'ISVEIMER / Svimez, Associazione per lo sviluppo dell'industria nel Mezzogiorno ; Fondazione Premio Napoli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli : s.n., [dopo 1982] ( (Napoli) : Irace Print |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996464402003316 |
|
|
Titolo |
Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / / Zhe Hou, Vijay Ganesh (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (384 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 12971 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic theorem proving |
Computer logic |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |