Home Advanced Search

Advanced Search - Page 1

Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
  • PDF
  • German
  • Year: 1994
  • Author: Armin B. Cremers, Ulrike Griefahn, Ralf Hinze (auth.)
Wissensbasierte Textverarbeitung: Schriftsatz und Typographie: Möglichkeiten einer intelligenteren Textverarbeitung
  • PDF
  • German
  • Year: 1991
  • Author: Frank Oemig, Armin B. Cremers, Gerhard Heyer (auth.)
Theoretical Computer Science: 6th Gl-Conference Dortmund, January 5–7, 1983
  • PDF
  • English-French
  • Year: 1982
  • Author: Robert L. Constable (auth.), Armin B. Cremers, Hans-Peter Kriegel (eds.)
Information Security and Privacy: 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Adrian Spalka, Armin B. Cremers, Hartmut Lehmler (auth.), E. P. Dawson, A. Clark, Colin Boyd (eds.)
Security and Privacy in Social Networks
  • PDF
  • English
  • Year: 2013
  • Author: Yuval Elovici, Yaniv Altshuler (auth.), Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland (eds.)
Einführung in die funktionale Programmierung mit Miranda
  • DJVU
  • German
  • Year: 1991
  • Author: Dipl.-Inform. Ralf Thomas Walter Hinze (auth.)
Einführung in die funktionale Programmierung mit Miranda
  • PDF
  • German
  • Year: 1991
  • Author: Dipl.-Inform. Ralf Thomas Walter Hinze (auth.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
Introducing String Diagrams - The Art of Category Theory
  • PDF
  • English
  • Year: 2023
  • Author: Ralf Hinze, Dan Marsden
search