Search Results - Langmaack, Hans

Filter by
  1. 1
    Cover Image

    Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze
    by Langmaack, Hans-Jürgen

    Published 1974
    Thesis/Dissertation Book


    Saved in:
  2. 2
    Cover Image

    On a theorem of McGowan concerning the most recent property of programs
    by Kandzia, Peter, Langmaack, Hans

    Published 1974
    Book


    Saved in:
  3. 3
    Cover Image

    Translation of ALGOL 60
    by Grau, Albert A., Hill, Ursula, Langmaack, Hans

    Published 1967
    Book


    Saved in:
  4. 4
    Cover Image

    Zur Äquivalenz der Hotz'schen und der Paul'schen Definition der Mehrdeutigkeit von Chomsky-Sprachen
    by Langmaack, Hans

    Published 1967
    Book


    Saved in:
  5. 5
    Cover Image

    Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit in CHOMSKY-Sprachen: Der Vortrag wurde auf der Arbeitstagung über Automatentheorie vom 19. bis 23. Oktober 1965 in Hannover gehalten
    by Langmaack, Hans, Eickel, Jürgen 1935-

    Published 1965
    Book


    Saved in:
  6. 6
    Cover Image

    Über vollständig operationell adäquate denotationelle Semantik funktionaler Programmiersprachen: Ausarbeitung e. Teils d. Vorlesung Informatik III im Wintersemester 1987/88
    by Langmaack, Hans

    Published 1989
    Book


    Saved in:
  7. 7
    Cover Image

    Informatik: Programmierung
    by Kandzia, Peter 1938-2023, Langmaack, Hans 1934-

    Published 1973
    Book


    Saved in:
  8. 8
    Cover Image

    Klassen unwesentlich verschiedener Ableitungsfolgen als Verbände
    by Langmaack, Hans

    Published 1969
    Book


    Saved in:
  9. 9
    Cover Image

    Lösbarkeit und Unlösbarkeit des Zyklenproblems für einige Klassen von CHOMSKY-Grammatiken
    by Eickel, Jürgen 1935-, Langmaack, Hans

    Published 1968
    Book


    Saved in:
  10. 10
    Cover Image

    Zum Satz von Lidskii
    by Langmaack, Hans

    Published 1967
    Book


    Saved in:
  11. 11
    Cover Image

    Zur Mehrdeutigkeit von Chomsky-Sprachen für die Springer-Lecture-Notes
    by Eickel, Jürgen 1935-, Lahner, W., Langmaack, Hans

    Published 1967
    Book


    Saved in:
  12. 12
    Cover Image

    The ProCos way towards correct systems
    by Langmaack, Hans

    Published 1995
    Book


    Saved in:
  13. 13
    Cover Image

    On procedures as open subroutines
    by Langmaack, Hans

    Published 1973
    Book


    Saved in:
  14. 14
    Cover Image

    Zum Satz von Lidskij
    by Langmaack, Hans

    Published 1967
    Book


    Saved in:
  15. 15
    Cover Image

    Semantics and implementation problems in LOGLAN with its many level prefixing concept
    by Langmaack, Hans

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Aspects of programs with finite modes
    by Langmaack, Hans

    Published 1983
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Will information be able to justify the construction of large computer based systems?
    by Goerigk, Wolfgang, Langmaack, Hans

    Published 2001
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze
    by Langmaack, Hans-Jürgen

    Published 1974
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Axiomatic semantics
    by Langmaack, Hans

    Published 1984
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    A proof of a theorem of Lipton on Hoare logic and applications
    by Langmaack, Hans

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: