Ralf Hinze - Böcker

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

5 produkter

Kategorier

5 produkter

Introducing String Diagrams

The Art of Category Theory

Av Ralf Hinze, Dan Marsden m. fl

Inbunden, Engelska, 2023

729 kr

Skickas inom 10-15 vardagar

Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Av Ralf Hinze, Janis Voigtländer m. fl

Häftad, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar

Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

Av Armin B. Cremers, Ulrike Griefahn m. 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

Av Roland Backhouse, Jeremy Gibbons m. 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

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar