1.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Jo...
by Armando, Alessandro, Lowe, ...
ISBN: 9783642160738
List Price: $72.00
OUT OF STOCK
See Availability on Amazon2.
Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia,...
by Armando, Alessandro
ISBN: 9783540710691
List Price: $99.00
3.
Frontiers of Combining Systems 4th International Workshop, Frocos 2002, Santa Margherita Lig...
by Armando, Alessandro
ISBN: 9783540433811
List Price: $57.95
5.
Performance of Metals and Ceramics in Total Hip Arthroplasty
by Reyes Rojas, Armando, Aguil...
ISBN: 9783031254192
List Price: $99.99