Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures | | 978-3-540-40132-2 | 2009 | Simon Peyton Jones |
Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24-30, 1995 | | 978-0-387-59451-4 | 1995 |
Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. ... Notes in Computer Science , Band 925) | | 978-3-540-59451-2 | 2008 | Erik Meijer |
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures | | 978-3-540-76785-5 | 2007 | Roland Backhouse · Jeremy Gibbons · Ralf Hinze |
Games and Learning Alliance: 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings | | 978-3-319-50181-9 | 2016 | Rosa Bottino · Remco C. Veltkamp |
Intelligent Computer Mathematics | | 978-3-642-31373-8 | 2012 | John Campbell · Jacques Carette · Gabriel Dos Reis · Petr Sojka · Makarius Wenzel · Volker Sorge |
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings | | 978-3-540-64591-7 | 2008 |