We found 10 results
indigoBooksPierpaolo Degano

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 10 of 10 Results
Top Matches
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical…
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected…
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of…
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September…

In stock online

Not available in stores

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in…
Formal Aspects in Security and Trust: 5th International Workshop, Fast 2008 Malaga, Spain, October…

In stock online

Not available in stores

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th…
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3…
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for…

In stock online

Not available in stores

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS…
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The…

In stock online

Not available in stores

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the…
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for…

In stock online

Not available in stores

This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in…
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th…

In stock online

Not available in stores

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008,…