Ralf Hinze – författare
Visar alla böcker från författaren Ralf Hinze.
5 produkter
Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Av Ralf Hinze, Janis Voigtländer
Häftad, 2015
709 kr
Lägg i varukorg
Deduktive Datenbanken
Eine Einführung aus der Sicht der logischen Programmierung
Av Armin B. Cremers, Ulrike Griefahn m. fl.
Häftad, 1993
729 kr
Lägg i varukorg
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Roland Backhouse, Jeremy Gibbons m. fl.
Häftad, 2007
729 kr
Lägg i varukorg
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Av Ralf Hinze
Häftad, 2013
669 kr
Lägg i varukorg