| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002992609707536 |
|
|
Autore |
Baldi, Marialuisa |
|
|
Titolo |
Filosofia e religione nella letteratura clandestina : Secoli 17. e 18. / a cura di Guido Canziani, con la collaborazione di Marialuisa Baldi e di Gianni Paganini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano : Franco Angeli, c1994 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Filosofia e scienza nel Cinquecento e nel Seicento ; 496.1.40 |
|
|
|
|
|
|
Altri autori (Persone) |
|
Canziani, Guido |
Paganini, Gianni |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Filosofia |
Religione |
Italia Filosofia Sec. 17.-18. |
Italia - Religione Sec. 17.-18. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910692923903321 |
|
|
Titolo |
Boundaries : maritime : treaty between the United States of America and Niue, signed at Wellington, May 13, 1997 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.] : , : United States Department of State, , [2014?] |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (8 unnumbered pages) : map |
|
|
|
|
|
|
Collana |
|
Treaties and other international acts series ; ; 14-1007 |
|
|
|
|
|
|
Soggetti |
|
Territorial waters - United States |
Territorial waters - Niue |
Contiguous zones (Law of the sea) - United States |
Contiguous zones (Law of the sea) - Niue |
Treaties. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on April 22, 2015). |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910508438803321 |
|
|
Titolo |
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / / edited by Marieke Huisman, Corina Păsăreanu, Naijun Zhan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (801 pages) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 13047 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Computers, Special purpose |
Software Engineering |
Theory of Computation |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Presentations. - Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System. |
|
|
|
|
|
|
|
| |