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, nr. 6186 Editat de Alessandro Armando et al. 8 oct 2010 Paperback Preț: 432.39 lei 3-5 săpt.
Automated Reasoning Editat de Alessandro Armando et al. 25 iul 2008 Paperback Preț: 349.51 lei 436.88 lei 6-8 săpt. -20%
Frontiers of Combining Systems Editat de Alessandro Armando 20 mar 2002 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%