Herbert Klaeren
mini|hochkant|Herbert Klaeren mit wearable PC (Xybernaut MA-IV) Herbert Klaeren (* 23. November 1950 in Gerolstein/Eifel) ist ein deutscher Informatiker. Von 1988 bis 2014 lehrte und forschte er als Professor für Praktische Informatik an der Eberhard Karls Universität Tübingen.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 für Suche 'Klaeren, Herbert 1950-', Suchdauer: 0,08s
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
Schreibe dein Programm! Einführung in die Programmierung von Sperber, Michael 1971-, Klaeren, Herbert 1950-
Veröffentlicht 2023Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
2
Informatik als Praxis und Wissenschaft von Floyd, Christiane 1943-, Klaeren, Herbert 1950-
Veröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen … -
3
Gibt es Software Engineering? von Klaeren, Herbert 1950-
Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen … -
4
Automatentheorie und formale Sprachen von Indermark, Klaus, Klaeren, Herbert 1950-
Signatur: Wird geladen …
Standort: Wird geladen … -
5
Schreibe dein Programm! von Sperber, Michael 1971-, Klaeren, Herbert 1950-
Veröffentlicht 2024Signatur: Wird geladen …
Standort: Wird geladen … -
6
Die Macht der Abstraktion Einführung in die Programmierung von Klaeren, Herbert 1950-, Sperber, Michael 1971-
Veröffentlicht 2007Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
7
Viren, Würmer und Trojaner Streifzüge durch die Computerwelt von Klaeren, Herbert 1950-
Veröffentlicht 2006Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
8
Ein algebraischer Ansatz zur Rekursionselimination von Klaeren, Herbert 1950-
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
9
Algebraische Spezifikation Eine Einführung von Klaeren, Herbert 1950-
Veröffentlicht 1983Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
10
Automatentheorie und formale Sprachen von Indermark, Klaus, Klaeren, Herbert 1950-
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
11
Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation von Klaeren, Herbert 1950-
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
12
Vom Problem zum Programm Architektur und Bedeutung von Computerprogrammen von Klaeren, Herbert 1950-, Sperber, Michael 1971-
Veröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
13
Concepts for overloading and subtyping in an algebraic specification language von Plümicke, Martin, Klaeren, Herbert 1950-
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
14
Subtyping and overloading in a functional programming language von Plümicke, Martin, Klaeren, Herbert 1950-
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
15
Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation von Klaeren, Herbert 1950-
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …