Buy books written by Ralf Hinze Available at Bookswagon UAE
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Ralf Hinze

Ralf HinzeRalf Hinze is Professor of Software Engineering at the University of Kaiserslautern–Landau (RPTU). His research is centered around the construction of provably correct software, with a particular emphasis on functional programming, algebra of programing, applied category theory, and persistent data structures. His goal is to develop theory, languages, and tools that simplify the construction of reliable software systems. Read More Read Less

11 results found
List viewGrid view
Sort By:
1.
Datatype-Generic Programming
Datatype-Generic Programming
By: Roland Backhouse, Johan Jeuring, Jeremy Gibbons, Ralf Hinze
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED105
Binding:
Paperback
Release:
30 Nov 2007
Language:
English
Available
Ships within 10-12 Days Explain..
2.
Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
By: Ralf Hinze
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED233
Binding:
Paperback
Release:
28 Nov 2013
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Introducing String Diagrams
Introducing String Diagrams
By: Ralf Hinze, Dan Marsden
Publisher: Cambridge University Press
No Review Yet
AED244
Binding:
Hardback
Release:
10 Aug 2023
Language:
English
International Edition
Ships within 16-18 Days Explain..
4.
Model Reduction of Complex Dynamical Systems
Model Reduction of Complex Dynamical Systems
By: Peter Benner, Heike Fassbender, Michael Hinze, Ralf Zimmermann, Tatjana Stykel
Publisher: Springer Nature Switzerland AG
No Review Yet
AED639
Binding:
Paperback
Release:
27 Aug 2022
Language:
English
International Edition
Ships within 18-20 Days Explain..
5.
Model Reduction of Complex Dynamical Systems
Model Reduction of Complex Dynamical Systems
By: Peter Benner, Heike Fassbender, Michael Hinze, Ralf Zimmermann, Tatjana Stykel
Publisher: Springer Nature Switzerland AG
No Review Yet
AED408
Binding:
Hardback
Release:
26 Aug 2021
Language:
English
Available
Ships within 10-12 Days Explain..
6.
Mathematics of Program Construction
Mathematics of Program Construction
By: Ralf Hinze, Janis Voigtländer
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
12 Jun 2015
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Einführung in die funktionale Programmierung mit Miranda
Einführung in die funktionale Programmierung mit Miranda
By: Ralf Thomas Walter Hinze
Publisher: Springer Fachmedien Wiesbaden
No Review Yet
AED237
Binding:
Paperback
Release:
01 Nov 1991
Language:
German
Available
Ships within 12-14 Days Explain..
8.
Deduktive Datenbanken
Deduktive Datenbanken
By: Wolfgang Bibel, Rudolf Kruse, Armin B. Cremers, Ulrike Griefahn, Ralf Hinze
Publisher: Springer Fachmedien Wiesbaden
No Review Yet
AED188
Binding:
Paperback
Release:
01 Dec 1993
Language:
German
Available
Ships within 12-14 Days Explain..
9.
Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
By: Ralf Hinze
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
30 Nov 2013
Out of Stock
Notify me when this book is in stockNotify Me
10.
Datatype-Generic Programming
Datatype-Generic Programming
By: Jeremy Gibbons, Ralf Hinze, Roland Backhouse (The University of Nottingham, UK)
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
No more records found