Suchergebnisse - Ehrich, Hans-Dieter 1943-
- Treffer 1 – 19 von 19
-
1Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die TheorieVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Fachgespräche auf der 14. GI-Jahrestagung: Braunschweig, 1.–2. Oktober 1984Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
3Specification of abstract data typesVeröffentlicht 1996Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4Zur Theorie und Anwendung endlicher MinimalüberdeckungenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die TheorieVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
6Zur Theorie und Anwendung endlicher MinimalüberdeckungenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Key extensions of abstract data types, final algebras, and database semanticsVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Algebraic domain equationsVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Zur Theorie und Anwendung endlicher MinimalüberdeckungenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Operational semantics of algebraic specifications with conditional equationsVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Algebraische Spezifikation abstrakter Datentypen: e. Einf. in d. TheorieVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Monitoring dynamic database integrity by transition graphsVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Translating algebraic specifications to Prolog programsVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Operational semantics of algebraic specifications with conditional equationsVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Handling errors and exceptions in the algebraic specification of data typesVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Zur Theorie und Anwendung endlicher MinimalüberdeckungenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Informatik 2012: Was bewegt uns in der/die Zukunft? ; 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI) ; 16. - 21.9.2012, TU Braunschweig]Veröffentlicht 2012Weitere beteiligte Personen: “… Ehrich, Hans-Dieter 1943- …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch Software E-Book Wird geladen … -
18GI - 14. Jahrestagung: Braunschweig, 2. - 4. Oktober 1984 ; proceedingsVeröffentlicht 1984Weitere beteiligte Personen: “… Ehrich, Hans-Dieter 1943- …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19GI-JahrestagungBand 14 - Braunschweig, 2.-4. Okt. 1984 : proceedingsVeröffentlicht 1984Weitere beteiligte Personen: “… Ehrich, Hans-Dieter 1943- …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …