| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings | | 978-3-540-40828-4 | 2003 | Stefania Gnesi · Dion Mandrioli |
| Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... 5256 | | 978-3-540-88193-3 | 2010 | Shaoying Liu · Tom Maibaum |
| High Performance Computing: International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings | | 978-3-540-63766-0 | 1997 | Constantine Polychronopoulos · Kazuki Joe · Makoto Amamiya |
| Rims Symposia on Software Science and Engineering II | | 978-0-387-16470-0 | 1986 | Eiichi Goto |
| RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan | | 978-3-540-16470-8 | 2008 | Eiichi Goto · Taiichi Yuasa |
| Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers | | 978-3-540-25304-4 | 2008 | Zhiming Liu |