Taschenbuch

Auf Lager bei iMusic

Nicht verfügbare Artikel anzeigen

Releases von Alessandro Armando

Cover for Alessandro Armando · Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, Arspa-wits 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Taschenbuch) (2010)

Automated Reasoning for Security... (2010)

Alessandro Armando

Cover for Alessandro Armando · Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2008 edition] (2008)

Automated Reasoning: 4th Interna... (2008)

Alessandro Armando