Treffer 1 - 20 von 25 für Suche 'Hußmann, Heinrich 1959-2022', Suchdauer: 0,41s
Treffer weiter einschränken
-
1
Medieninformatik eine Einführung von Malaka, Rainer, Butz, Andreas, Hußmann, Heinrich 1959-2022
Veröffentlicht 2009Signatur: Wird geladen …Inhaltstext
Standort: Wird geladen …
Ausführliche Beschreibung
Inhaltsverzeichnis
Buch -
2
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem von Hußmann, Heinrich 1959-2022
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Nondeterministic algebraic specifications von Hußmann, Heinrich 1959-2022
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
Nichtdeterministische algebraische Spezifikationen von Hußmann, Heinrich 1959-2022
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Nichtdeterministische algebraische Spezifikationen von Hußmann, Heinrich 1959-2022
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Abschlussarbeit Buch Wird geladen … -
6
Synergy between formal and pragmatic software engineering methods von Hußmann, Heinrich 1959-2022
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
Nondeterminism in algebraic specifications and algebraic programs von Hußmann, Heinrich 1959-2022
Veröffentlicht 1993Signatur: Wird geladen …kostenfrei
Standort: Wird geladen …
Buch -
8
Nondeterministic algebraic specifications von Hußmann, Heinrich 1959-2022
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
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 …Buch Wird geladen … -
10
Rapid prototyping for algebraic specifications RAP system user's manual von Hußmann, Heinrich 1959-2022
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
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 …Buch Wird geladen … -
12
Rapid prototyping for algebraic specifications RAP system user's manual von Hußmann, Heinrich 1959-2022
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13
Deutsche Wappenkunst von Hußmann, Heinrich 1959-2022
Veröffentlicht 1935Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
Medieninformatik eine Einführung von Malaka, Rainer, Butz, Andreas 1967-, Hußmann, Heinrich 1959-2022
Veröffentlicht 2009Signatur: Wird geladen …FCO01
Standort: Wird geladen …
TUBA1
TUM01
UBR01
UBW01
FHM01
URL des Erstveröffentlichers
Elektronisch E-Book -
15
Formal foundations for software engineering methods von Hußmann, Heinrich 1959-2022
Veröffentlicht 1997Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
16
Formal foundations for software engineering methods von Hußmann, Heinrich 1959-2022
Veröffentlicht 1997Signatur: Wird geladen …TUM01
Standort: Wird geladen …
UBA01
UBM01
UPA01
Volltext
Elektronisch E-Book -
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 …Buch Wird geladen … -
18
Software Engineering im Unterricht der Hochschulen SEUH '94 von Hußmann, Heinrich 1959-2022
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch E-Book -
19
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 …Buch Wird geladen … -
20
Unification in conditional-equational theories von Hußmann, Heinrich 1959-2022
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Algebraische Spezifikation
Aufsatzsammlung
Hochschulschrift
Mensch-Maschine-Kommunikation
Nichtdeterminismus
Termersetzungssystem
Architektur
Informationsgesellschaft
Medialisierung
Medienfassade
SSADM
Öffentlicher Raum
Benutzeroberfläche
Formale Spezifikationstechnik
Informatik
Lehrbuch
Medieninformatik
Medieninformatik - Lehrbuch
Modellgetriebene Entwicklung
Software engineering
Algebra
Calcul formel
Computer Science
Computer science
Computer science Mathematics
Deutschland
Engineering
Engineering, general
Heraldik
Human-Computer Interaction