Suchergebnisse - Riedewald, Günter 1942-
- Treffer 1 – 9 von 9
-
1Formale Beschreibung von Programmiersprachen: eine Einführung in die SemantikVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Symbolische Simulation Hybrider Systeme in Constraint Logic ProgrammingBand 1von Riedewald, Günter 1942-, Urbina, Luis 1965-Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Symbolische Simulation Hybrider Systeme in Constraint Logic ProgrammingBand 2von Riedewald, Günter 1942-, Urbina, Luis 1965-Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4A little bit modified railroad crossingVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Provable correctness of prototype interpreters in LDL: Günter Riedewald ; Ralf LämmelVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Formale Beschreibung von Programmiersprachen: e. Einf. in d. Semantik ; mit 16 Tab.Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Formale Beschreibung von Programmiersprachen: eine Einführung in die Semantik ; mit 16 Tab.Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Compilerkonstruktion und Grammatiken syntaktischer FunktionenVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
9Symbolische Simulation Hybrider Systeme in Constraint Logic ProgrammingSignatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …