Cărți de Alessandro Armando

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

Preț: 441^.99 lei

3-5 săpt.

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

Preț: 342^.73 lei 428^.41 lei

6-8 săpt.

-20%

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2309

Editat de Alessandro Armando

20 mar 2002

Preț: 325^.71 lei 407^.14 lei

6-8 săpt.

-20%