Pierpaolo Degano – författare
Visar alla böcker från författaren Pierpaolo Degano. Handla med fri frakt och snabb leverans.
20 produkter
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
Häftad, 2003
569 kr
Lägg i varukorg
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 from 99 submissions. Among the topics addressed …
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
E-bok, 2003
755 kr
Lägg i varukorg
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 from 99 submissions. Among the topics addressed …
Automata, Languages and Programming
24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Av Pierpaolo Degano, Roberto Gorrieri m. fl.
Häftad, 1997
1128 kr
Lägg i varukorg
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 Computer Science (EATCS), which has …
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Pierpaolo Degano, Rocco de Nicola m. fl.
Häftad, 2008
1128 kr
Lägg i varukorg
This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo's highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly …
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Jose Meseguer, Rocco de Nicola m. fl.
E-bok, 2008
1455 kr
Lägg i varukorg
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
Av Marco Bernardo, Pierpaolo Degano m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience …
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
Av Gianluigi Zavattaro, Pierpaolo Degano m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman m. fl.
Häftad, 2009
569 kr
Lägg i varukorg
The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was …
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Av Fabio Martinelli, Joshua D. Guttman m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was …
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
Av Pierpaolo Degano, Luca Viganò
Häftad, 2009
569 kr
Lägg i varukorg
The Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009) was held in York, UK, March 28-29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on "Automated Reasoning for Security P- tocol Analysis," bringing …
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
Av Luca Vigano, Pierpaolo Degano
E-bok, 2009
734 kr
Lägg i varukorg
Computational Methods in Systems Biology
7th International Conference, CMSB 2009
Av Pierpaolo Degano, Roberto Gorrieri
Häftad, 2009
1098 kr
Lägg i varukorg
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and physicists. The …
Computational Methods in Systems Biology
7th International Conference, CMSB 2009
Av Roberto Gorrieri, Pierpaolo Degano
E-bok, 2009
1427 kr
Lägg i varukorg
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and physicists. The …
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2010
569 kr
Lägg i varukorg
The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5-6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and …
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Av Joshua D. Guttman, Pierpaolo Degano
E-bok, 2010
755 kr
Lägg i varukorg
Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Av Pierpaolo Degano, Sandro Etalle m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
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 Pisa, Italy in September 2010. The 14 …
Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Av Joshua Guttman, Sandro Etalle m. fl.
E-bok, 2011
739 kr
Lägg i varukorg
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 Pisa, Italy in September 2010. The 14 …
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
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2012
569 kr
Lägg i varukorg
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 Software.The 20 papers, presented …
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
Av Joshua D. Guttman, Pierpaolo Degano
E-bok, 2012
755 kr
Lägg i varukorg
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 Software.The 20 papers, presented …
THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 6TH ITALIAN CONFERENCE
Av DEGANO PIERPAOLO, Pierpaolo Degano m. fl.
Inbunden, 1998
2298 kr
Tillfälligt slut
The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The Conference aims at enabling computer scientists, especially young researchers to enter the community and to exchange …
