Suchergebnisse - Klaeren, Herbert 1950-
Herbert Klaeren

Klaeren erwarb 1974 sein Diplom in Mathematik mit dem Nebenfach Informatik an der Rheinischen Friedrich-Wilhelms-Universität Bonn. An der RWTH Aachen wurde er 1980 mit der Dissertationsschrift ''Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation'' zum Dr. rer. nat promoviert. Acht Jahre später habilitierte er sich ebenfalls an der RWTH Aachen mit der Schrift ''Ein algebraischer Ansatz zur Rekursionselimination''.
1975 war Herbert Klaeren für ein Jahr Forschungsassistent an der Universität Bonn, dieselbe Tätigkeit führte er 1976 bis 1988 an der RWTH Aachen aus. 1988 wurde er zum Professor für Informatik an die Eberhard Karls Universität Tübingen berufen. Zum 1. April 2014 trat er in den Ruhestand. Er betreibt die Firma Professor Klaeren Softwaretechnik. Veröffentlicht in Wikipedia
- Treffer 1 – 15 von 15
-
1Schreibe dein Programm!: Einführung in die ProgrammierungVeröffentlicht 2023Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Elektronisch E-Book -
2Informatik als Praxis und WissenschaftVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Die Macht der Abstraktion: Einführung in die ProgrammierungVeröffentlicht 2007Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4Ein algebraischer Ansatz zur RekursionseliminationVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
5Algebraische Spezifikation: Eine EinführungVeröffentlicht 1983Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
6Automatentheorie und formale SprachenBand 1. 1981. - 189 S. : graph. Darst.von Indermark, Klaus, Klaeren, Herbert 1950-Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-SpezifikationVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Concepts for overloading and subtyping in an algebraic specification languageVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Subtyping and overloading in a functional programming languageVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-SpezifikationVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
11Gibt es Software Engineering?Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Automatentheorie und formale SprachenSignatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Vom Problem zum Programm: Architektur und Bedeutung von ComputerprogrammenVeröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
14Schreibe dein Programm!Veröffentlicht 2024Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Viren, Würmer und Trojaner: Streifzüge durch die ComputerweltVeröffentlicht 2006Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch