Ralf Hinze – författare
Visar alla böcker från författaren Ralf Hinze. Handla med fri frakt och snabb leverans.
10 produkter
Introducing String Diagrams
The Art of Category Theory
Inbunden, 2023
758 kr
Lägg i varukorg
String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. Much of the book is devoted to worked …
Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Av Ralf Hinze, Janis Voigtländer
Häftad, 2015
550 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 …
Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Av Janis Voigtlander, Ralf Hinze
E-bok, 2015
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 …
Deduktive Datenbanken
Eine Einführung aus der Sicht der logischen Programmierung
Av Armin B. Cremers, Ulrike Griefahn m. fl.
Häftad, 1993
565 kr
Lägg i varukorg
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, 2007
566 kr
Lägg i varukorg
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point …
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Johan Jeuring, Ralf Hinze m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point …
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Av Ralf Hinze
Häftad, 2013
522 kr
Lägg i varukorg
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from …
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Av Ralf Hinze
E-bok, 2013
705 kr
Lägg i varukorg
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from …
Deduktive Datenbanken
Eine Einführung aus der Sicht der logischen Programmierung
Av Ralf Hinze, Ulrike Griefahn m. fl.
E-bok, 2013
587 kr
Lägg i varukorg
