Treffer 1 – 20 von 22 für Suche 'Langmaack, Hans', Suchdauer: 0,09s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Semantics and implementation problems in LOGLAN with its many level prefixing concept von Langmaack, Hans
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
2
Aspects of programs with finite modes von Langmaack, Hans
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
3
A proof of a theorem of Lipton on Hoare logic and applications von Langmaack, Hans
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
4
Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze von Langmaack, Hans-Jürgen
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
5
On a theorem of McGowan concerning the most recent property of programs von Kandzia, Peter, Langmaack, Hans
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
6
Translation of ALGOL 60 von Grau, Albert A., Hill, Ursula, Langmaack, Hans
Veröffentlicht 1967Signatur: Wird geladen …
Standort: Wird geladen … -
7
Zur Äquivalenz der Hotz'schen und der Paul'schen Definition der Mehrdeutigkeit von Chomsky-Sprachen von Langmaack, Hans
Veröffentlicht 1967Signatur: Wird geladen …
Standort: Wird geladen … -
8
Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit in CHOMSKY-Sprachen Der Vortrag wurde auf der Arbeitstagung über Automatentheorie vom 19. bis 23. Oktober... von Langmaack, Hans, Eickel, Jürgen 1935-
Veröffentlicht 1965Signatur: Wird geladen …
Standort: Wird geladen … -
9
Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn von Langmaack, Hans
Veröffentlicht 1960Signatur: Wird geladen …
Standort: Wird geladen … -
10
Will information be able to justify the construction of large computer based systems? von Goerigk, Wolfgang, Langmaack, Hans
Veröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
11
Über vollständig operationell adäquate denotationelle Semantik funktionaler Programmiersprachen Ausarbeitung e. Teils d. Vorlesung Informatik III im Wintersemester 1987/88 von Langmaack, Hans
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
12
Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze von Langmaack, Hans-Jürgen
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
13
Informatik: Programmierung von Kandzia, Peter 1938-2023, Langmaack, Hans 1934-
Veröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen … -
14
Klassen unwesentlich verschiedener Ableitungsfolgen als Verbände von Langmaack, Hans
Veröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen … -
15
Lösbarkeit und Unlösbarkeit des Zyklenproblems für einige Klassen von CHOMSKY-Grammatiken von Eickel, Jürgen 1935-, Langmaack, Hans
Veröffentlicht 1968Signatur: Wird geladen …
Standort: Wird geladen … -
16
Zum Satz von Lidskii von Langmaack, Hans
Veröffentlicht 1967Signatur: Wird geladen …
Standort: Wird geladen … -
17
Zur Mehrdeutigkeit von Chomsky-Sprachen für die Springer-Lecture-Notes von Eickel, Jürgen 1935-, Lahner, W., Langmaack, Hans
Veröffentlicht 1967Signatur: Wird geladen …
Standort: Wird geladen … -
18
The ProCos way towards correct systems von Langmaack, Hans
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
19
Axiomatic semantics von Langmaack, Hans
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
20
On procedures as open subroutines von Langmaack, Hans
Veröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …