Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings Lecture Notes in Computer Science, nr. 5195 Editat de Alessandro Armando et al. 25 iul 2008 Paperback Preț: 335.29 lei 419.11 lei 6-8 săpt. -20%
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.
Frontiers of Combining Systems Editat de Alessandro Armando 20 mar 2002 Paperback Preț: 319.75 lei 399.68 lei 6-8 săpt. -20%