Alessandro Armando – författare
Visar alla böcker från författaren Alessandro Armando.
4 produkter
4 produkter
469 kr
Skickas inom 7-10 vardagar
Frontiers of Combining Systems
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Häftad, Engelska, 2008
719 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2010
859 kr
Skickas inom 10-15 vardagar