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.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
2010-01-01 Armando, Alessandro; G., Lowe
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis
2005-01-01 Armando, Alessandro; Viganò, L.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
2006-01-01 Armando, Alessandro; Cimatti, Alessandro
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney
2008-01-01 Armando, Alessandro; P., Baumgartner; G., Dowek
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy
2017-01-01 Armando, Alessandro; Baldoni, Roberto; Focardi, Riccardo
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis"
2006-01-01 Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L.
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008)
2010-01-01 Armando, Alessandro; Baumgartner, P.; Dowek, G.
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
Special Issue on "Combining Logical Systems" of the Information and Computation journal
2006-01-01 Armando, Alessandro; Ringeissen, C.
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation
2001-01-01 Armando, Alessandro; Jabelean, T.
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 10
- 7 Curatele::7.1 Curatela 10
Data di pubblicazione
- 2010 - 2017 3
- 2000 - 2009 6
- 1999 - 1999 1
Editore
- Springer 3
- Electronic Notes in Theoretical C... 2
- CEUR-WS.org 1
- Electronic Notes in Theoretical C... 1
- Elsevier 1
Rivista
- ELECTRONIC NOTES IN THEORETICAL C... 3
- JOURNAL OF AUTOMATED REASONING 2
- INFORMATION AND COMPUTATION 1
- JOURNAL OF SYMBOLIC COMPUTATION 1
Lingua
- eng 9
Accesso al fulltext
- no fulltext 10