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.

cerca in
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 1-gen-2010 Armando, Alessandro; G., Lowe
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis 1-gen-2005 Armando, Alessandro; Viganò, L.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning 1-gen-2006 Armando, Alessandro; Cimatti, Alessandro
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney 1-gen-2008 Armando, Alessandro; P., Baumgartner; G., Dowek
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy 1-gen-2017 Armando, Alessandro; Baldoni, Roberto; Focardi, Riccardo
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 1-gen-2006 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) 1-gen-2010 Armando, Alessandro; Baumgartner, P.; Dowek, G.
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 1-gen-1999 Armando, Alessandro; Jabelean, T.
Special Issue on "Combining Logical Systems" of the Information and Computation journal 1-gen-2006 Armando, Alessandro; Ringeissen, C.
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 1-gen-2001 Armando, Alessandro; Jabelean, T.
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.023 secondi).
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 7 Curatele 10
  • 7 Curatele::7.1 Curatela 10
Autore
  • Cimatti, Alessandro 1
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