1
0
0
(1 - 20 von 20
)
Prof. Dr. Herbert Kuchen | Institut für Wirtschaftsinformatik
www.wi.uni-muenster.de
Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik II (Leitung: Prof. Dr. Klaus Indermark) der RWTH Aachen ; Mitgliedschaften und Aktivitäten in Gremien Mitglied im Programmkomitee der HLPGPU 2018, Manchester, England Mitglied im Programmkomitee der …
Univ.-Prof. em. Dr. rer. nat. Klaus Indermark - RWTH AACHEN ...
www.informatik.rwth-aachen.de
› cms › ~mtzz
Design und Implementierung einer Plattform zur Veri kation ...TU Dresden
lat.inf.tu-dresden.de
von S Tobies · Zitiert von: 4 — Dr. Klaus Indermark f ur die Uberlassung des Themas,. Martin Leucker f ur die Betreuung sowie meiner Frau und meinen Eltern f ur. › Tobies-DA-98
People
www-i2.informatik.rwth-aachen.de
Prof. em. Dr. Klaus Indermark. indermark Secretary. Elke Ohlenforst. ohlenforst Birgit Willms. willms Technical Support
dblp: Automatentheorie und Formale Sprachen 1973
dblp.uni-trier.de
Bibliographic content of Automatentheorie und Formale Sprachen 1973
Prof. Jacques Loeckx – Emeriti
emeriti.cs.uni-saarland.de
Gemeinsam mit Prof. Klaus Indermark (Rheinisch-Westfälische Technische Hochschule Aachen) organisierte er zwischen und in Bad Honnef wiederholt einen international hoch angesehenen Workshop zur Semantik von Programmiersprachen.Als einer der Pioniere der Informatik in seinem Heimatland hat er zwischen und an einem ...
Researchers in Functional Logic Programming
www-ps.informatik.uni-kiel.de
Klaus Indermark (indermark informatik.rwth-aachen.de) Bharat Jayaraman ( bharat cs.buffalo.edu ) Claude Kirchner ( Claude.Kirchner loria.fr )
19. Kolloquium Programmiersprachen und Grundlagen der ...Friedrich-Schiller-Universität Jena
www.kps2017.uni-jena.de
... Forschungsgruppen der Professoren Friedrich L. Bauer (TU München), Klaus Indermark (RWTH Aachen) und Hans Langmaack (CAU Kiel) ins Leben gerufen wurde. › kps2017_history
People | Informatik 2
moves.rwth-aachen.de
Dr. Jürgen Giesl, giesl, Prof. Dr. Erika Ábrahám, eab, apl. Prof. Dr. Thomas Noll, noll, Prof. em. Dr. Klaus Indermark, indermark, Es fehlt: köln
Department of Theoretical Computer ScienceUniversität Ulm
oparu.uni-ulm.de
von H Wolff · — Klaus Indermark, RWTH Aachen. Herbert Klaeren, University of Tübingen. Rita Loogen, University of Marburg. Mario Rodriguez-Artalejo, University Madrid, ... › handle
Klaus Indermark
www-i2.informatik.rwth-aachen.de
Dino Distefano received the prestigious Roger Needham Award for his work on software verification. This award is for a distinguished research contribution in computer
Abteilung I Theoretische Informatik - OPARU
oparu.uni-ulm.de
Joost Engelfriet, Universität Leiden, Niederlande; Zoltan Fülöp, Ungarische Akademie der Wissenschaften, Szeged, Ungarn; Klaus Indermark, ...
KPS 2021Christian-Albrechts-Universität zu Kiel
www-ps.informatik.uni-kiel.de
Bauer (TU München), Klaus Indermark (RWTH Aachen) und Hans Langmaack (CAU Kiel) ins Leben gerufen wurde. Die Veranstaltung ist ein offenes Forum für alle ... › kps2021
LaToKi: A Language Toolkit for Bottom-Up Evaluation of ...Albert-Ludwigs-Universität Freiburg
freidok.uni-freiburg.de
Herbert Klaeren and Klaus Indermark. Efficient implementation of an algebraic specifi- cation language. In M. Wirsing and 3. A. Bergstra, editors, Algebraic ... › FILE1 › content
Publikationen der UdS: Abstracts of the talks at the Second...
publikationen.sulb.uni-saarland.de
Klaus Indermark (Aachen). According to their arities the operations on an algebra A form a he- terogeneous (many-sorted) algebra: the derived ...
sortiert nach Relevanz / Datum