Treffer 1 – 20 von 25 für Suche 'Hußmann, Heinrich 1959-2022', Suchdauer: 0,10s
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
Medieninformatik eine Einführung von Malaka, Rainer, Butz, Andreas, Hußmann, Heinrich 1959-2022
Veröffentlicht 2009Signatur: Wird geladen …Beschreibung
Standort: Wird geladen …
Buch -
2
Nondeterminism in algebraic specifications and algebraic programs von Hußmann, Heinrich 1959-2022
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Fernleihe Bestellen -
3
Synergy between formal and pragmatic software engineering methods von Hußmann, Heinrich 1959-2022
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
4
Nondeterministic algebraic specifications von Hußmann, Heinrich 1959-2022
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
5
Towards advanced programming environments based on algebraic concepts von Broy, Manfred 1949-, Geser, Alfons, Hußmann, Heinrich 1959-2022
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
6
Rapid prototyping for algebraic specifications RAP system user's manual von Hußmann, Heinrich 1959-2022
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
7
Rapid prototyping for algebraic specifications examples for the use of the RAP system von Geser, Alfons, Hußmann, Heinrich 1959-2022
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
8
Rapid prototyping for algebraic specifications RAP system user's manual von Hußmann, Heinrich 1959-2022
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
9
Deutsche Wappenkunst von Hußmann, Heinrich 1959-2022
Veröffentlicht 1935Signatur: Wird geladen …
Standort: Wird geladen … -
10
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem von Hußmann, Heinrich 1959-2022
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
11
Nondeterministic algebraic specifications von Hußmann, Heinrich 1959-2022
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
12
Nichtdeterministische algebraische Spezifikationen von Hußmann, Heinrich 1959-2022
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
13
Nichtdeterministische algebraische Spezifikationen von Hußmann, Heinrich 1959-2022
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
14
Medieninformatik eine Einführung von Malaka, Rainer, Butz, Andreas 1967-, Hußmann, Heinrich 1959-2022
Veröffentlicht 2009Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
15
Formal foundations for software engineering methods von Hußmann, Heinrich 1959-2022
Veröffentlicht 1997Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
16
Formal foundations for software engineering methods von Hußmann, Heinrich 1959-2022
Veröffentlicht 1997Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
17
The Korso case study for software engineering with formal methods von Cornelius, Felix, Hußmann, Heinrich 1959-2022, Löwe, Michael
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
18
Formal foundations for SSADM an approach integrating the formal and pragmatic worlds of requirements engineering von Hußmann, Heinrich 1959-2022
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
19
Software Engineering im Unterricht der Hochschulen SEUH '94 von Hußmann, Heinrich 1959-2022
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
-
20
Unification in conditional-equational theories von Hußmann, Heinrich 1959-2022
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …