Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures | 978-3-540-28540-3 (3-540-28540-7) | 2008 | Varmo Vene |
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 2006 Proceedings: 8th International Conference, ... Notes in Computer Science , Band 4014) | 978-3-540-35631-8 (3-540-35631-2) | 2008 | |
Theoretical Aspects of Computing - ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings | 978-3-030-02507-6 (3-030-02507-1) | 2018 | Bernd Fischer |