Search Results - Gramlich, Bernhard

Refine Results
  1. 1
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch (§§ 535 bis 580a), Betriebskostenverordnung, Heizkostenverordnung
    by Gramlich, Bernhard 1949-, Reuschle, Fabian 1972-

    Published 2024
    Fulltext
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Mietrecht: Bürgerliche Gesetzbuch (§§ 535 bis 580a BGB), Betriebskostenverordnung, Heizkostenverordnung ; Kommentar
    by Gramlich, Bernhard 1949-

    Published 2015
    Table of Contents
    Book


    Saved in:
  3. 3
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch (§§ 535 bis 580a), Betriebskostenverordnung, Heizkostenverordnung
    by Gramlich, Bernhard 1949-

    Published 2019
    Table of Contents
    Book


    Saved in:
  4. 4
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch, Betriebskostenverordnung, Wirtschaftsstrafgesetz, Heizkostenverordnung ; Kommentar
    by Gramlich, Bernhard 1949-

    Published 2011
    Table of Contents
    Request for local pickup
    Available at UBR
    Items can be borrowed from the UBR with a personal library card.
    Book


    Saved in:
  5. 5
    Cover Image

    Friedrich von Bodelschwingh: Werk und Leben
    by Gramlich, Bernhard

    Published 1981
    Request for local pickup
    Available at UBR
    Items can be borrowed from the UBR with a personal library card.
    Book


    Saved in:
  6. 6
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch, Zweite Berechnungsverordnung, Wirtschaftsstrafgesetz, Heizkostenverordnung ; Kommentar
    by Gramlich, Bernhard 1949-

    Published 2003
    Table of Contents
    Request for local pickup
    Available at UBR
    Items can be borrowed from the UBR with a personal library card.
    Book


    Saved in:
  7. 7
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch, Zweite Berechnungsverordnung, Wirtschaftsstrafgesetz, Heizkostenverordnung, unter Berücksichtigung des Mietrechtsreformgesetzes ; Kommentar
    by Gramlich, Bernhard 1949-

    Published 2001
    Table of Contents
    Request for local pickup
    Available at UBR
    Items can be borrowed from the UBR with a personal library card.
    Book


    Saved in:
  8. 8
    Cover Image

    Termination and confluence properties of structured rewrite systems
    by Gramlich, Bernhard

    Published 1996
    Request for local pickup
    Available at UBR
    Items can be borrowed from the UBR with a personal library card.
    Book


    Saved in:
  9. 9
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch (§§ 535 bis 580a), Betriebskostenverordnung, Heizkostenverordnung
    by Gramlich, Bernhard 1949-, Reuschle, Fabian 1972-

    Published 2024
    Table of Contents
    Request via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch (§§ 535 bis 580a BGB), Betriebskostenverordnung, Heizkostenverordnung ; Kommentar
    by Gramlich, Bernhard 1949-

    Electronic eBook


    Saved in:
  11. 11
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch, Betriebskostenverordnung, Wirtschaftsstrafgesetz, Heizkostenverordnung ; Kommentar
    by Gramlich, Bernhard 1949-

    Electronic eBook


    Saved in:
  12. 12
    Cover Image

    Termination and confluence: properties of structured rewrite systems
    by Gramlich, Bernhard

    Published 1996
    Request via interlibrary loan
    Thesis Book


    Saved in:
  13. 13
    Cover Image

    A note on a parameterized version of the well founded induction principle
    by Gramlich, Bernhard

    Published 1995
    Request via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Towards intelligent inductive proof engineering
    by Gramlich, Bernhard

    Published 1992
    Request via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Mietrecht: Bürgerliches Gesetzbuch, Miethöheregelungsgesetz, Wirtschaftsstrafgesetz, Heizkostenverordnung, Zweite Berechnungsverordnung, Erste Grundmietenverordnung und Betriebskosten-Umlageverordnung mit Erläuterungen
    by Gramlich, Bernhard 1949-

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    A structural analysis of modular termination of term rewriting systems
    by Gramlich, Bernhard

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    A structural analysis of modular termination of term rewriting systems
    by Gramlich, Bernhard

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Completion based inductive theorem proving: a case study in verifying sorting algorithms
    by Gramlich, Bernhard

    Published 1990
    Request via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Inductive theorem proving using refined unfailing completion techniques
    by Gramlich, Bernhard

    Published 1989
    Request via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    Efficient AC-Matching using constraint propagation
    by Gramlich, Bernhard, Denzinger, Jörg

    Published 1988
    Request via interlibrary loan
    Book


    Saved in:

Search Tools: