| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers | Taschenbuch | 978-3-319-15316-2 | 2015 | Eric Madelaine |
| Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... Notes in Computer Science, Band 9688) | " | 978-3-319-39569-2 | 2016 | Elvira Albert |
| Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings | " | 978-3-319-40577-3 | 2016 | Simon Devitt |
| Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings | Paperback | 978-3-319-40579-7 | 2016 | " |
| Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings | Taschenbuch | 978-3-662-44601-0 | 2014 | Josep Diaz · Davide Sangiorgi |