- Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, Crete, Greece, October 18-21, 2010 Proceedings, P
- Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... I
- Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science)
- Grundlagen Der Hoheren Informatik: Induktives Vorgehen
- Karten Von Mykenai: Auf Veranlassung Des Deutschen Arch�ologischen Instituts Aufgenommen Und Mit Erl�uterndem Text








