- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896751478
3896751476
- Maße
-
21 cm
- Umfang
-
IV, 222 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1996
- Schlagwort
-
Algebraische Spezifikation
Attributierte Grammatik
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
2025-03-11T11:52:37+0100
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Bauer, Bernhard
- Utz, Wiss.
Entstanden
- 1996
Ähnliche Objekte (12)
Attributed algebraic specifications
Attributed algebraic specifications
Wert und Bewertung in der Wirtschaftsgesellschaft : (ein Beitrag aus der Sicht der Thermodynamik)
Optimierung der Bestrahlungsplanung bei der interstitiellen Strahlentherapie von Hirntumoren
Studien zum ersten altdeutschen Pferdearzneibuch des anonymen Kopenhagener Ms. [Manuskripts] Thott Nr. [Nummer] 202
Generating user interfaces from formal specifications of the application
Beiträge zur Geschichte der Reichsstadt Memmingen : vom Beginne des Dreißigjährigen Krieges bis zur Besetzung der Stadt durch die Schweden
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Attributed algebraic specifications
Attributed algebraic specifications
Wert und Bewertung in der Wirtschaftsgesellschaft : (ein Beitrag aus der Sicht der Thermodynamik)
Optimierung der Bestrahlungsplanung bei der interstitiellen Strahlentherapie von Hirntumoren
Studien zum ersten altdeutschen Pferdearzneibuch des anonymen Kopenhagener Ms. [Manuskripts] Thott Nr. [Nummer] 202
Generating user interfaces from formal specifications of the application
Beiträge zur Geschichte der Reichsstadt Memmingen : vom Beginne des Dreißigjährigen Krieges bis zur Besetzung der Stadt durch die Schweden
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Attributed algebraic specifications
Attributed algebraic specifications
Wert und Bewertung in der Wirtschaftsgesellschaft : (ein Beitrag aus der Sicht der Thermodynamik)
Optimierung der Bestrahlungsplanung bei der interstitiellen Strahlentherapie von Hirntumoren
Studien zum ersten altdeutschen Pferdearzneibuch des anonymen Kopenhagener Ms. [Manuskripts] Thott Nr. [Nummer] 202
Generating user interfaces from formal specifications of the application
Beiträge zur Geschichte der Reichsstadt Memmingen : vom Beginne des Dreißigjährigen Krieges bis zur Besetzung der Stadt durch die Schweden
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)