Hoppa till sidans huvudinnehåll

Ralf Hinze – författare

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

Introducing String Diagrams

The Art of Category Theory

AvRalf Hinze,Dan Marsden

Inbunden, Engelska, 2023

689 kr

Skickas inom 7-10 vardagar

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

699 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

719 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

719 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

669 kr

Skickas inom 10-15 vardagar