Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Foundations and Applications of Security Analysis [Risorsa elettronica] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò
| Foundations and Applications of Security Analysis [Risorsa elettronica] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642034596 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009261500403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Galois / Luca Viganò
| Galois / Luca Viganò |
| Autore | Viganò, Luca |
| Pubbl/distr/stampa | Genova : Il melangolo, [2005] |
| Descrizione fisica | 139 p., [4] c. di tav. : ill. ; 21 cm |
| Disciplina | 852.914 |
| Collana | Collana del Teatro stabile di Genova ; 112 |
| ISBN | 8870185494 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001176799707536 |
Viganò, Luca
|
||
| Genova : Il melangolo, [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||