mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
Erweiterte Suche
mediaTUM Gesamtbestand
Hochschulbibliographie
Elektronische Prüfungsarbeiten
Fachgebiet
(21288)
Erziehungswissenschaft
(20)
Allgemeines
(16)
Architektur
(353)
Bauingenieurwesen, Vermessungswesen
(895)
Bergbau
(4)
Biowissenschaften
(2281)
Brauwesen
(138)
Chemie
(2397)
Chemie-Ingenieurwesen, Technische Chemie, Biotechnologie
(726)
Datenverarbeitung, Informatik
(1900)
Elektrotechnik
(1258)
Energietechnik, Energiewirtschaft
(554)
Erziehungswissenschaften
(105)
Feinwerktechnik, Medizintechnik, Technische Optik, Reprographietechnik
(88)
Fertigungstechnik
(411)
Forstwissenschaften
(255)
Geowissenschaften
(345)
Geschichte
(11)
Hüttenwesen, Metallurgie
(3)
Informationswesen, Bibliotheks-, Dokumentations-, Archiv-, Museumswesen
(49)
Kerntechnik, Kernenergie
(115)
Kommunikationswesen
(14)
Kunst
(31)
Landbauwissenschaft
(628)
Lebensmitteltechnologie
(454)
Linguistik
(4)
Literaturwissenschaft
(1)
Maschinenbau
(1654)
Mathematik
(630)
Medizin
(6009)
Meßtechnik, Steuerungs- und Regelungstechnik, Automation
(394)
Naturwissenschaften (allgemein)
(264)
Ökotrophologie, Ernährungswissenschaft
(236)
Philosophie
(20)
Physik
(1934)
Politologie
(52)
Psychologie
(268)
Raumplanung, Raumordnung
(126)
Rechtswissenschaft
(12)
Religionswissenschaft, Theologie
Sonstige Industrien
(12)
Soziologie
(77)
Sport
(230)
Technik der Verkehrsmittel
(696)
Technik, Ingenieurwissenschaften (allgemein)
(475)
Technische Mechanik, Technische Thermodynamik, Technische Akustik
(403)
Umweltschutz und Gesundheitsingenieurwesen
(377)
Veterinärmedizin
(23)
Wehrtechnik
(2)
Werkstoffwissenschaften
(376)
Wirtschaftswissenschaften
(1182)
Wissenschaftskunde
(22)
School
(23979)
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
Fachgebiet
Datenverarbeitung, Informatik
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Dokumenttyp:
Dissertation
Autor(en):
Broy, Manfred
Informationen zum Autor:
Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius für Informatik an der TU München, erhielt den Leibnizpreis 1994.
Titel:
Transformation parallel ablaufender Programme
Übersetzter Titel:
Transformation of parallel running programs
Stichworte:
mathematische Semantik, funktionale Äquivalenz, Nicht-Determinismus, Parallelität, gemeinsamer Speicher
Fachgebiet:
DAT Datenverarbeitung, Informatik
DDC:
000 Informatik, Wissen, Systeme
Betreuer:
Bauer, Friedrich Ludwig (Prof. Dr. Dr. h.c.)
Gutachter:
Seegmüller, Gerhard (Prof. Dr.)
Jahr:
1980
Sprache:
de
Sprache der Übersetzung:
en
Hinweise:
Die Retrodigitalisierung konnte dank Spenden von Alumni der TU München finanziert werden.
Hochschule / Universität:
Technische Universität München
Fakultät:
Fakultät für Mathematik
Format:
Text
BVB-ID:
BV000995839
Annahmedatum:
04.02.1980
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology
Mathematics
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Prüfungsarbeiten
Dissertationen
mediaTUM Gesamtbestand
Einrichtungen
Serviceeinrichtungen
Alumni & Career
Preisträger der TU München
Leibniz-Preisträger
Broy, Manfred
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
Fachgebiet
Datenverarbeitung, Informatik
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology