RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)
2005-01-01 Degano, Pierpaolo; Viganò, Luca
Procs 5th International Workshop on Formal Aspects in Security and Trust (FAST2008)
2009-01-01 Degano, Pierpaolo; Guttman, J; Martinelli, F.
Procs 6th International Workshop on Formal Aspects in Security and Trust (FAST2008)
2010-01-01 Degano, Pierpaolo; Guttman, J.
Procs 7th Conference on Computational Methods in Systems Biology
2009-01-01 Degano, Pierpaolo; Gorrieri, Roberto
Special Issue of the Journal of Theoretical Computer Science
2006-01-01 Degano, Pierpaolo; Viganò, Luca
Special Issues International Journal of Information and Computation
2008-01-01 Degano, Pierpaolo; Küsters, R; Viganò, Luca; Zdancewiz, S.
Special Issues of the International Journal of Information Security
2007-01-01 Degano, Pierpaolo; Viganò, Luca
Special Issues of the Journal of Science of Computer Programming
2004-01-01 Degano, Pierpaolo
Special Issues of the Journal of Theoretical Computer Science
1999-01-01 Degano, Pierpaolo; Gorrieri, Roberto; Marchetti Spaccamela, A.
Symposium on the Theory of Computation
1999-01-01 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A; Wegner, P.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 7 Curatele 22
- 7 Curatele::7.1 Curatela 22
Data di pubblicazione
- 2010 - 2014 5
- 2000 - 2009 12
- 1990 - 1999 4
- 1982 - 1989 1
Editore
- Springer 11
- ELSEVIER SCIENCE BV 1
- IOS Press 1
- North-Holland, Elsevier Science 1
- WORLD SCIENTIFIC, SINGAPORE 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 10
- THEORETICAL COMPUTER SCIENCE 3
- ACM COMPUTING SURVEYS 1
- ELECTRONIC NOTES IN THEORETICAL C... 1
- FUNDAMENTA INFORMATICAE 1
- INFORMATION AND COMPUTATION 1
- INTERNATIONAL JOURNAL OF INFORMAT... 1
- SCIENCE OF COMPUTER PROGRAMMING 1
Lingua
- eng 22
Accesso al fulltext
- no fulltext 22