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

12 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
AED96
Binding:
Paperback
Release:
30 Nov 2007
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
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
AED213
Binding:
Paperback
Release:
28 Nov 2013
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
3.
Introducing String Diagrams
Introducing String Diagrams
By: Ralf Hinze, Dan Marsden
Publisher: Cambridge University Press
No Review Yet
AED228
Binding:
Hardback
Release:
10 Aug 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
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
AED377
Binding:
Hardback
Release:
26 Aug 2021
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
5.
Mathematics of Program Construction
Mathematics of Program Construction
By: Ralf Hinze, Janis Voigtländer
Publisher: Springer International Publishing AG
No Review Yet
AED231
Binding:
Paperback
Release:
12 Jun 2015
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
6.
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
AED217
Binding:
Paperback
Release:
01 Nov 1991
Language:
German
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
7.
Deduktive Datenbanken
Deduktive Datenbanken
By: Wolfgang Bibel, Rudolf Kruse, Armin B. Cremers, Ulrike Griefahn, Ralf Hinze
Publisher: Springer Fachmedien Wiesbaden
No Review Yet
AED179
Binding:
Paperback
Release:
01 Dec 1993
Language:
German
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
8.
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
AED593
Binding:
Paperback
Release:
27 Aug 2022
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
9.
Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
By: Ralf Hinze
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
30 Nov 2013
Out of Stock
Notify me when this book is in stockNotify Me
10.
Mathematics of Program Construction
Mathematics of Program Construction
By: Hinze Ralf Hinze, Voigtlander Janis Voigtlander
Publisher: Springer Nature B.V.
No Review Yet
AED241
Binding:
Paperback
Release:
12 Jun 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Datatype-Generic Programming
Datatype-Generic Programming
By: Jeremy Gibbons, Ralf Hinze, Roland Backhouse (The University of Nottingham, UK)
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
No more records found