Pierpaolo Degano books & textbook
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2618)
Springer /2003-03-14 Paperback / 856 Pages
isbn-10: 3540008861 / isbn-13: 9783540008866
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5065)
Degano, Pierpaolo de Nicola, Rocco Meseguer, José
Springer /2008-06-03 Paperback / 825 Pages
isbn-10: 3540686762 / isbn-13: 9783540686767
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 5016)
Bernardo, Marco Degano, Pierpaolo Zavattaro, Gianluigi
Springer /2008-05-20 Paperback / 537 Pages
isbn-10: 3540688927 / isbn-13: 9783540688921
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, 5491)
Degano, Pierpaolo Guttman, Joshua D. Martinelli, Fabio
Springer /2009-04-09 Paperback / 341 Pages
isbn-10: 364201464X / isbn-13: 9783642014642
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, 5983)
Degano, Pierpaolo Guttman, Joshua D.
Springer /2010-04-20 Paperback / 289 Pages
isbn-10: 3642124585 / isbn-13: 9783642124587
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... (Lecture Notes in Computer Science, 7215)
Degano, Pierpaolo Guttman, Joshua D.
Springer /2012-03-14 Paperback / 445 Pages
isbn-10: 3642286402 / isbn-13: 9783642286407
Computational Methods in Systems Biology: 7th International Conference, CMSB 2008 Bologna, Italy, August 31-September 1, 2009 Proceedings (Lecture Notes in Computer Science) (2010-06-02)
Springer Berlin Heidelberg / Paperback
Theoretical Computer Science: Sixth Italian Conference
Degano, Pierpaolo Vaccaro, Ugo Pirillo, Giuseppe
World Scientific Pub Co Inc /1998-10-20 Hardcover / 396 Pages
isbn-10: 9810236557 / isbn-13: 9789810236557
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, 6561)
Degano, Pierpaolo Etalle, Sandro Guttman, Joshua
Springer /2011-03-07 Paperback / 249 Pages
isbn-10: 3642197507 / isbn-13: 9783642197505
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science, 5688)
Degano, Pierpaolo Gorrieri, Roberto
Springer /2009-08-17 Paperback / 339 Pages
isbn-10: 3642038441 / isbn-13: 9783642038440
