| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers | Taschenbuch | | 978-3-319-46558-6 | 2016 | Ugo Dal Lago |
| Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers | Paperback | | 978-3-319-46560-9 | 2016 | " |
| Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... Notes in Computer Science, Band 6324) | Taschenbuch | | 978-3-642-15330-3 | 2010 | Olha Shkaravska |
| Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers | " | | 978-3-642-32494-9 | 2012 | Ricardo Peña · Olha Shkaravska |
| Functional Programming and Parallel Graph Rewriting | Hardcover | | 978-0-201-41663-3 | 1993 | M. J. Plasmeijer · Rinus Plasmeijer · M. C. J. D. Van Eekelen |
| Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings | Taschenbuch | | 978-3-642-22862-9 | 2011 | Herman Geuvers · Julien Schmaltz · Freek Wiedijk |
| Trends in Functional Programming V 6 | Paperback | | 978-1-84150-176-5 | 2013 |