Ralf Hinze – författare

Visar alla böcker från författaren Ralf Hinze.

5 produkter

Kategorier

5 produkter

Introducing String Diagrams
The Art of Category Theory
AvRalf Hinze,Dan Marsden
Inbunden, Engelska, 2023
829 kr
Skickas
Del 9129
Del 9129 - Lecture Notes in Computer Science
Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
AvRalf Hinze,Janis Voigtländer
Häftad, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar
Deduktive Datenbanken
Eine Einführung aus der Sicht der logischen Programmierung
AvArmin B. Cremers,Ulrike Griefahnm. fl.
Häftad, Tyska, 1993
739 kr
Skickas inom 10-15 vardagar
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
AvRoland Backhouse,Jeremy Gibbonsm. fl.
Häftad, Engelska, 2007
749 kr
Skickas inom 10-15 vardagar
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
AvRalf Hinze
Häftad, Engelska, 2013
689 kr
Skickas inom 10-15 vardagar