Zoeken

U zocht naar: Auteur Armando, Alessandro Filter Auteur: Armando, Alessandro weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning
thumbnail
Full text!
Auteur:
Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; Siekmann, Jörg
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
2. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
thumbnail
Full text!
Auteur:
Armando, Alessandro; Kanade, Takeo; Lowe, Gavin; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book