Hoppa till sidans huvudinnehåll

Ralf Hinze – författare

Visar alla böcker från författaren .
5 produkter
Ralf Hinze, Dan Marsden - Introducing String Diagrams, Inbunden

Introducing String Diagrams

The Art of Category Theory

AvRalf Hinze,Dan Marsden

Inbunden, Engelska, 2023

709 kr

Skickas inom 7-10 vardagar

Ralf Hinze, Janis Voigtländer - Mathematics of Program Construction, Häftad
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

709 kr

Skickas inom 10-15 vardagar

Armin B. Cremers, Ulrike Griefahn, Ralf Hinze - Deduktive Datenbanken, Häftad

Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

AvArmin B. Cremers,Ulrike Griefahnm. fl.

Häftad, Tyska, 1993

729 kr

Skickas inom 10-15 vardagar

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring - Datatype-Generic Programming, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Ralf Hinze - Implementation and Application of Functional Languages, Häftad

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