Showing 1 - 20 results of 34 for search 'Büning, Hans', query time: 0.08s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Published 2014
    Description
    Book


    Saved in:
  2. 2
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Published 2021
    Book


    Saved in:
  3. 3
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Published 2021
    Get full text
    Electronic eBook


    Saved in:
  4. 4
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Published 2018
    Get full text
    Electronic eBook


    Saved in:
  5. 5
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Published 2014
    Get full text
    Electronic eBook


    Saved in:
  6. 6
    Propositional logic deduction and algorithms

    Propositional logic deduction and algorithms by Kleine Büning, Hans 1948-, Lettmann, Theodor

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Wissensbasierte Systeme elektronische Weiterbildung unter WINDOWS

    Wissensbasierte Systeme elektronische Weiterbildung unter WINDOWS by Kleine Büning, Hans 1948-

    Published 1992
    Electronic Software eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Christliches Brauchtum in Kirchhellen

    Christliches Brauchtum in Kirchhellen by Büning, Hans, Rottmann, Johannes

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    PROLOG Grundlagen und Anwendungen ; mit zahlrichen Tabellen und Programmbeispielen

    PROLOG Grundlagen und Anwendungen ; mit zahlrichen Tabellen und Programmbeispielen by Kleine Büning, Hans 1948-, Schmitgen, Stefan 1961-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Equivalence of propositional logic programs

    Equivalence of propositional logic programs by Kleine Büning, Hans 1948-, Löwen, Ulrich, Schmitgen, Stefan 1961-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Projections of vector addition system reachability sets are semilinear

    Projections of vector addition system reachability sets are semilinear by Kleine Büning, Hans 1948-, Lettmann, Theodor, Mayr, Ernst W. 1950-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Die Straßen und Wege Kirchhellens und was sie uns zu sagen haben

    Die Straßen und Wege Kirchhellens und was sie uns zu sagen haben by Büning, Hans, Rottmann, Johannes

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Kirchhellener Familiennamen und was sie erzählen

    Kirchhellener Familiennamen und was sie erzählen by Büning, Hans

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Kirchhellen - Beller un Vertellkes

    Kirchhellen - Beller un Vertellkes by Steinberg, Heinrich, Büning, Hans

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Published 2008
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden by Kleine Büning, Hans 1948-, Kastens, Uwe 1946-

    Published 2005
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Aussagenlogik: Deduktion und Algorithmen

    Aussagenlogik: Deduktion und Algorithmen by Kleine Büning, Hans 1948-, Lettmann, Theodor

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Aussagenlogik: Deduktion und Algorithmen

    Aussagenlogik: Deduktion und Algorithmen by Büning, Hans Kleine

    Published 1994
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  19. 19
    Wissensbasierte Systeme elektronische Weiterbildung unter WINDOWS

    Wissensbasierte Systeme elektronische Weiterbildung unter WINDOWS by Kleine-Büning, Hans

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Volksfrömmigkeit oder Zeichen christlichen Glaubens religiöse Sitten und Gebräuche in Kirchhellen

    Volksfrömmigkeit oder Zeichen christlichen Glaubens religiöse Sitten und Gebräuche in Kirchhellen by Büning, Hans

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: