| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIPARTHENOPE000006131 |
|
|
Autore |
Pacchi Pesucci, Stefania |
|
|
Titolo |
L'amministrazione controllata / Stefania Pacchi Pesucci |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Trattato di diritto civile e commerciale / già diretto da Antonio Cicu, Francesco Messineo ; v. 50 |
|
|
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA990009262780403321 |
|
|
Titolo |
Runtime Verification [Risorsa elettronica] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 5779 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNICAMPANIAVAN0248982 |
|
|
Titolo |
Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2020 / Jürgen Beyerer, Alexander Maier, Oliver Niggemann editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Heidelberg, : Springer, 2021 |
|
|
|
|
|
|
|
Descrizione fisica |
|
VII, 130 p. : ill. ; 24 cm |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |