|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/364/9783642160738.jpg&wmax=80&hmax=80) | Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, (Lecture Notes in Computer Science) | Armando, Alessandro | Paperback | 3642160735 / 9783642160738 | 10/2010 | $61.74 |
| ![](thumb.php?src=products/354/9783540710691.jpg&wmax=80&hmax=80) | Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Armando, Alessandro | Paperback | 3540710698 / 9783540710691 | 07/2008 | $52.24 |
| ![](thumb.php?src=products/354/9783540433811.jpg&wmax=80&hmax=80) | Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science) | Armando, Alessandro | Paperback | 3540433813 / 9783540433811 | 03/2002 | $52.24 |
|
|
|