Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | 978-3-540-68676-7 | 2010 | Pierpaolo Degano · José Meseguer |
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings | 978-3-540-21044-3 | 2008 | Gianluigi Ferrari · Greg Meredith |
Coordination Models and Languages | 978-3-642-38492-9 | 2013 | Christine Julien |
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 978-3-319-34095-1 | 2016 | Marco Bernardo · Jane Hillston |
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science , Band 4421) | 978-3-540-71314-2 | 2009 |
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Notes in Computer Science, Band 9763) | 978-3-319-41590-1 | 2016 | Eva Kühn |
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Notes in Computer Science, Band 9509) | 978-3-319-28468-2 | 2016 | Radu Calinescu · Bernhard Rumpe |
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering | 978-3-319-15546-3 | 2015 | Rolf Hennicker |
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software ... Notes in Computer Science, Band 8950) | 978-3-319-15544-9 | 2015 | " |
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers | 978-3-540-30007-6 | 2009 | Davide Sangiorgi |