Hakutulokset: Kirjoja kirjailijalta Ralf Hinze
yhteensä 14 hakutulosta
Model Reduction of Complex Dynamical Systems
This contributed volume presents some of the latest research related to model order reduction of complex dynamical systems with a focus on time-dependent problems. Chapters are …
Datatype-Generic Programming
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 …
Implementation and Application of Functional Languages
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 …
Introducing String Diagrams
Einführung in die funktionale Programmierung mit Miranda
Deduktive Datenbanken
Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunächst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell …
Deduktive Datenbanken
Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunächst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell …
Implementation and Application of Functional Languages
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 …
Mathematics of Program Construction
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 …
Introducing String Diagrams
String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained …
Datatype-Generic Programming
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 …
Einführung in die funktionale Programmierung mit Miranda
MIRA. You have often Begun to tell me what I am; but stopp 'd, And teft me to a bootless inquisition, Concluding, Stay; not yet. ' PRO. The how"'" now come, . The very minute bids …