Hoppa till sidans huvudinnehåll

Ralf Hinze - Böcker

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

Introducing String Diagrams

The Art of Category Theory

AvRalf Hinze,Dan Marsden,Germany) Hinze, Ralf (RPTU Kaiserslautern-Landau,Dan (University of Nottingham) Marsden

Inbunden, Engelska, 2023

639 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,Janis Voigtlander

Häftad, Engelska, 2015

689 kr

Skickas inom 10-15 vardagar

Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

AvArmin B. Cremers,Ulrike Griefahn,Ralf Hinze

Häftad, Tyska, 1993

709 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 Gibbons,Ralf Hinze,Johan Jeuring

Häftad, Engelska, 2007

709 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

649 kr

Skickas inom 10-15 vardagar