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.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
2008-01-01 Degano, Pierpaolo; De Nicola, R; Meseguer, J.
Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010, Pisa, Revised Selected Papers
2011-01-01 Degano, Pierpaolo; Etalle, S; Guttman, Jd
Foundations and Applications of Security Analysis
2009-01-01 Degano, Pierpaolo; Viganò, Luca
Integrated Interactive Computing Systems.
1982-01-01 Degano, Pierpaolo; Sandewall, E.
LNCS -- Procs 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology
2008-01-01 Bernardo, M; Degano, Pierpaolo; Zavattaro, G. L.
Principles of Security and Trust
2012-01-01 Degano, Pierpaolo; Guttman, J.
Proceedings of 6th Italian Conference on Theoretical Computer Science
1998-01-01 Degano, Pierpaolo; Vaccaro, U; Pirllo, G.
Proceedings of ESOP 2003
2003-01-01 Degano, Pierpaolo
Proceedings of ICALP'97
1997-01-01 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A.
Proceedings of the 1st Workshop on Issues in the Theory of Security
2000-01-01 Degano, Pierpaolo
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