search result

Cover von Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15652
Media group: MONOGRAPHIE
Cover von Generic and Indexed Programming
International Spring School, SSGIP 2010, Oxford, UK, March 22 - 26, 2010, Revised Lectures
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 7470
Media group: MONOGRAPHIE
Cover von Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Search for this author
Year: 2012
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 7342
Media group: MONOGRAPHIE
Cover von Integrated formal methods
6th international conference : Oxford, UK, July 2 - 5, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4591
Media group: MONOGRAPHIE
Cover von Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14659
Media group: MONOGRAPHIE
Cover von Bidirectional Transformations
International Summer School, Oxford, UK, July 25 - 29, 2016, Tutorial Lectures
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 9715
Media group: MONOGRAPHIE
Cover von Foundations of Health Information Engineering and Systems
Third International Symposium, FHIES 2013, Macau, China, August 21 - 23, 2013 : Revised Selected Papers
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8315
Media group: MONOGRAPHIE
Cover von Teaching Formal Methods
Second International Conference, Eindhoven, The Netherlands, November 2 - 6, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5846
Media group: MONOGRAPHIE
Cover von The fun of programming
Search for this author
Year: 2003
Publisher: New York, MacMillan
Series: The cornerstones of computing series
Media group: MONOGRAPHIE
Cover von Generic programming
advanced lectures
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 2793
Media group: MONOGRAPHIE
OPEN V 11.1.0.0