| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings | 978-3-642-15783-7 | 2010 | Alessandro Aldini · Luciano Bononi · Vittorio Cortellessa |
| Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 5016) | 978-3-540-68892-1 | 2008 | Pierpaolo Degano · Gianluigi Zavattaro |
| Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures | 978-3-642-38875-0 | 2013 | Erik de Vink · Alessandra Di Pierro |
| Formal Methods for Dynamical Systems | 978-3-642-38873-6 | 2013 | Erik de Vink · Alessandra Di Pierro · Herbert Wiklicky |
| Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures | 978-3-642-21456-1 | 2011 | Valerie Issarny |
| Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Notes in Computer Science, Band 6659) | 978-3-642-21454-7 | 2011 | " |
| Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 8483) | 978-3-319-07316-3 | 2014 | Ferruccio Damiani · Reiner Haehnle · Einar Broch Johnsen · Ina Schaefer |
| Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 3965) | 978-3-540-34304-2 | 2010 | Alessandro Cimatti |
| Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 3465) | 978-3-540-25697-7 | 2008 | Alessandro Bogliolo |
| Formal Methods for Model-Driven Engineering | 978-3-642-30981-6 | 2012 | Vittorio Cortellessa · Alfonso Pierantonio |
| Formal Methods for Multicore Programming | 978-3-319-18940-6 | 2015 | Einar Broch Johnsen |
| Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 4486) | 978-3-540-72482-7 | 2007 |
| Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science, Band 6154) | 978-3-642-13677-1 | 2010 | Alessandro Aldini · Alessandra Di Pierro · Herbert Wiklicky |
| Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science , Band 2804) | 978-3-540-20083-3 | 2008 | Paola Inverardi |
| Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science , Band 3185) | 978-3-540-23068-7 | 2008 | Flavio Corradini |
| Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 978-3-319-34095-1 | 2016 | Rocco De Nicola · Jane Hillston |
| [(Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures)] published on | 978-3-642-01919-7 | 2009 |
| Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... Notes in Computer Science, Band 5569) | 978-3-642-01917-3 | 2010 | Luca Padovani · Gianluigi Zavattaro |