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.
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim(Eds.)
| Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim(Eds.) |
| Autore | International conference, FMOODS 2006 : <8. ; : 2006 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | X, 266 p. : ill. ; 24 cm. |
| Disciplina | 005.131 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Programmazione orientata oggetti - Congressi - Bologna - 2006 |
| ISBN | 3-540-34893-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002992730203316 |
International conference, FMOODS 2006 : <8. ; : 2006
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of security analysis and design 2. : FOSAD 2001/2002 tutorial lectures / Riccardo Focardi, Roberto Gorrieri (Eds.)
| Foundations of security analysis and design 2. : FOSAD 2001/2002 tutorial lectures / Riccardo Focardi, Roberto Gorrieri (Eds.) |
| Autore | FOCARDI, Riccardo |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | 265 p. : ill. ; 24 cm. |
| Disciplina | 005.1 |
| Altri autori (Persone) | GORRIERI, Roberto |
| Collana | Lecture notes in computer science, Tutoral |
| Soggetto topico | Informatica - Sicurezza |
| ISBN | 3-540-20955-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002961710203316 |
|
FOCARDI, Riccardo
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of security analysis and design 3. : FOSAD 2004/2005 tutorial lectures / Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
| Foundations of security analysis and design 3. : FOSAD 2004/2005 tutorial lectures / Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.) |
| Autore | ALDINI, Alessandro |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
| Descrizione fisica | VI, 272 p. : ill. ; 24 cm. |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GORRIERI, Roberto
MARTINELLI, Fabio |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico | Informatica - Sicurezza |
| ISBN | 3-540-28955-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003071290203316 |
|
ALDINI, Alessandro
|
||
| Berlin [etc.] : Springer, copyr. 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / Alessandro Aldini, Roberto Gorrieri (eds.)
| Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / Alessandro Aldini, Roberto Gorrieri (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | VI, 323 p. : ill. ; 24 cm |
| Disciplina | 005.8 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico | Sicurezza del computer - Congressi - 2006/2007 |
| ISBN | 978-3-540-74809-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003106810203316 |
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures / Alessandro Aldini, Roberto Gorrieri (Eds.)
| Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures / Alessandro Aldini, Roberto Gorrieri (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | VIII, 338 p. : ill. ; 24 cm |
| Disciplina | 005.8 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico | Sicurezza del computer - Congressi - 2007/2008/2009 |
| ISBN | 978-3-642-03828-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003330070203316 |
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||