Search Results - Berghammer, Rudolf 1952-

Rudolf Berghammer

Rudolf Berghammer (born 1952 in Oberndorf, Germany) is a German mathematician who works in computer science. Provided by Wikipedia
Filter by
  1. 1
    Cover Image

    Mathematik für die Informatik: grundlegende Begriffe, Strukturen und ihre Anwendung
    by Berghammer, Rudolf 1952-

    Published 2019
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen
    by Berghammer, Rudolf 1952-

    Published 2013
    Read online
    Table of Contents
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    Graphdurchlauf mit Vererbung und Synthese: eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktoren
    by Berghammer, Rudolf 1952-

    Published 1994
    Table of Contents
    Book


    Saved in:
  4. 4
    Cover Image

    On programming languages with infinite output: an exercise in denotational semantics
    by Berghammer, Rudolf 1952-, Kempf, Peter

    Published 1993
    Book


    Saved in:
  5. 5
    Cover Image

    Manipulation of concrete relations - the RELVIEW-System
    by Abold-Thalmann, Hilde, Berghammer, Rudolf 1952-, Schmidt, Gunther 1939-

    Published 1989
    Book


    Saved in:
  6. 6
    Cover Image

    Symmetric quotients
    by Berghammer, Rudolf 1952-, Schmidt, Gunther 1939-, Zierer, Hans

    Published 1986
    Book


    Saved in:
  7. 7
    Cover Image

    Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation
    by Berghammer, Rudolf 1952-

    Published 1984
    Book


    Saved in:
  8. 8
    Cover Image

    Zur algebraischen Charakterisierung der ganzen Zahlen
    by Berghammer, Rudolf 1952-

    Published 1984
    Book


    Saved in:
  9. 9
    Cover Image

    Proceedings of the 8. Conference on Graphtheoretic Concepts in Computer Science (WG 82): June 16 - 18, 1982, Neunkirchen a. Br., FR Germany
    by Berghammer, Rudolf 1952-, Schmidt, Gunther, Brucker, P.

    Published 1982
    Conference Proceedings Book


    Saved in:
  10. 10
    Cover Image

    Mathematik für die Informatik: grundlegende Begriffe, Strukturen und ihre Anwendung
    by Berghammer, Rudolf 1952-

    Published 2021
    Read online
    Electronic eBook


    Saved in:
  11. 11
    Cover Image

    Mathematik für Informatiker: Grundlegende Begriffe und Strukturen
    by Berghammer, Rudolf 1952-

    Published 2014
    Read online
    Table of Contents
    Electronic eBook


    Saved in:
  12. 12
    Cover Image

    Programmieren mit höheren Objekten: Bausteine und Regeln im HOPS-System
    by Bayer, Ludwig, Berghammer, Rudolf 1952-, Kempf, Peter

    Published 1990
    Book


    Saved in:
  13. 13
    Cover Image

    Transformational programming with non-deterministic and higher-order constructs
    by Berghammer, Rudolf 1952-

    Published 1990
    Book


    Saved in:
  14. 14
    Cover Image

    Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe
    by Berghammer, Rudolf 1952-

    Published 1990
    Book


    Saved in:
  15. 15
    Cover Image

    On the use of composition in transformational programming
    by Berghammer, Rudolf 1952-

    Published 1985
    Book


    Saved in:
  16. 16
    Cover Image

    Die Semantik des Sprachkernes der Sprache CIP-L
    by Berghammer, Rudolf 1952-, Hangel, Erich

    Published 1984
    Book


    Saved in:
  17. 17
    Cover Image

    Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen
    by Berghammer, Rudolf 1952-

    Published 2024
    Read online
    Electronic eBook


    Saved in:
  18. 18
    Cover Image

    Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung
    by Berghammer, Rudolf 1952-

    Published 2017
    Read online
    Electronic eBook


    Saved in:
  19. 19
    Cover Image

    Machine support of relational computations: the Kiel RELVIEW system
    by Behnke, Ralf, Berghammer, Rudolf 1952-, Schneider, Peter

    Published 1997
    Table of Contents
    Book


    Saved in:
  20. 20
    Cover Image

    Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik
    by Berghammer, Rudolf 1952-

    Published 1997
    Book


    Saved in:

Search Tools: