Cărți de Sandro Etalle

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7140

Editat de Gilles Barthe et al.

4 mai 2012

Preț: 406^.33 lei 507^.92 lei

3-5 săpt.

-20%

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6561

Editat de Pierpaolo Degano et al.

7 mar 2011

Preț: 321^.83 lei 402^.28 lei

6-8 săpt.

-20%

Trust Management: Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada

IFIP Advances in Information and Communication Technology, nr. 238

Editat de Sandro Etalle et al.

30 iul 2007

Preț: 642^.05 lei 802^.57 lei

6-8 săpt.

-20%

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4079

Editat de Sandro Etalle et al.

3 aug 2006

Preț: 332^.52 lei 415^.65 lei

6-8 săpt.

-20%

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3573

Editat de Sandro Etalle

24 iun 2005

Preț: 322^.78 lei 403^.47 lei

6-8 săpt.

-20%