Cărți de Pierpaolo Degano

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7215

Editat de Pierpaolo Degano et al.

14 mar 2012

Preț: 340^.49 lei 425^.62 lei

6-8 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ț: 331^.25 lei 414^.07 lei

6-8 săpt.

-20%

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5983

Editat de Pierpaolo Degano et al.

20 apr 2010

Preț: 333^.22 lei 416^.52 lei

6-8 săpt.

-20%

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5511

Editat de Pierpaolo Degano et al.

3 sep 2009

Preț: 385^.84 lei

6-8 săpt.

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

Lecture Notes in Computer Science, nr. 5688

Editat de Pierpaolo Degano et al.

17 aug 2009

Preț: 644^.18 lei 757^.85 lei

6-8 săpt.

-15%

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5491

Editat de Pierpaolo Degano et al.

9 apr 2009

Preț: 336^.02 lei 420^.02 lei

6-8 săpt.

-20%

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 5065

Editat de Pierpaolo Degano et al.

3 iun 2008

Preț: 671^.53 lei 839^.41 lei

6-8 săpt.

-20%

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Lecture Notes in Computer Science, nr. 5016

Editat de Marco Bernardo et al.

20 mai 2008

Preț: 346^.10 lei 432^.62 lei

6-8 săpt.

-20%

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2618

Editat de Pierpaolo Degano

14 mar 2003

Preț: 353^.66 lei 442^.07 lei

6-8 săpt.

-20%

Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1256

Editat de Pierpaolo Degano et al.

18 iun 1997

Preț: 674^.33 lei 842^.91 lei

6-8 săpt.

-20%