1
0
0
(1 - 30 von 37
)
Distributed Haskell
www-i2.informatik.rwth-aachen.de
Distributed Haskell Distributed Haskell is an extension of Haskell for distributed programming. It ... Stream-based approach (Volker Stolz and Frank Huch)
Model Checking Erlang Programs – Abstracting Recursive Function Calls...
www.sciencedirect.com
Huch, September 1999: Frank Huch. Verification of Erlang programs using abstract interpretation and model checking. ACM SIGPLAN Notices, 34(9):261– 272, ...
Sebastian Fischer » Informatik für Nebenfächler
www-ps.informatik.uni-kiel.de
Globalübung zur Besprechung der Musterlösungen zu Übungsaufgaben. Di , Sebastian Fischer (CAP3/3). Kleingruppenübung zur Nachbearbeitung des Vorlesungsstoffes. Mi , Frank Huch/Sebastian Fischer (CAP3/1); Mi , ...
MOVES: Software Modeling and Verification (Info 2)
www-i2.informatik.rwth-aachen.de
MOVES: Software Modeling and Verification (Informatik 2) Prof. Dr. Ir. Joost-Pieter Katoen Frank Huch Last modified: Tue Apr :42:19 MET DST Webmaster
Frank Huch
www.informatik.uni-kiel.de
Frank Huch, Michael Hanus. Angaben. Vorlesung, 2 SWS, ECTS-Studium, ECTS-Credits: 2, Fachgebiet: Praktische Informatik Zeit und Ort: Mi 10: :30, Raum LMS2 - R.Ã1 Erster Termin...
dblp: Asian Symposium on Programming Languages and Systems 2007
dblp.uni-trier.de
Bibliographic content of Asian Symposium on Programming Languages and Systems 2007
SE 2012
se2012.swt.tu-berlin.de
Workshops. ATPS Arbeitstagung Programmiersprachen, 10:00 â 17:30 Uhr, H Frank Huch (Christian-Albrechts-Universität zu Kiel), Janis Voigtländer (Universität Bonn).
Diplomarbeitsthema (Frank Huch)
www-i2.informatik.rwth-aachen.de
Diplomarbeitsthema. Ein Tool zur graphischen Spezifikation von Erlangprogrammen. Bei der Entwicklung verteilter Systeme werden ...
Dr. Frank Huch — Faculty of Engineering - Kiel - Germany
www.tf.uni-kiel.de
Dr. Frank Huch. Dean of Studies. Phone: +49 (0) Telefax: +49 (0) kiel.de. Page information Contact Webmaster TF ...
Theses (Co-)Supervised by Thomas Noll | Informatik 2 | Page 12
moves.rwth-aachen.de
... Diplomarbeit, RWTH Aachen University, 1996; Frank Huch: Syntaktische Analyse natürlichsprachlicher Sätze – Fehleranalyse und Recovery, Diplomarbeit, ...
Diplomarbeiten
www-i2.informatik.rwth-aachen.de
Frank Huch: Syntaktische Analyse natürlichsprachlicher Sätze - Fehleranalyse und Recovery Diplomarbeit, RWTH Aachen, 1996, 126 Seiten.
Search results for "Frank Huch" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 38 publication records. Showing 38 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Frank Huch, Janis
Publications (Frank Huch)
www-ps.informatik.uni-kiel.de
Selected Publications . B. Brassel and F. Huch: The Kiel Curry System KiCS Applications of Declarative Programming and Knowledge Managemant, LNAI 5437, …
Publications [Lehrstuhl Informatik Embedded Software Laboratory]
embedded.rwth-aachen.de
... by Model Checking”, Diploma Thesis, Programming Languages and Compiler Construction Group, University of Kiel, Germany. Supervisors: Priv.-Doz. Dr.rer.nat. Frank Huch
Priv.-Doz. Dr. Frank Huch — Institut für Informatik
www.inf.uni-kiel.de
Doz. Dr. Frank Huch · Prüfungsordnungen · Prüfungsausschüsse · Studierendendatenbank (StudiDB) · Formulare · Studiengänge · Studienberatung · Studiengangskoordination · Studium und Familie · Vom Studium zur Ausbildung · Forschung · Veranstaltungen · Informatik und Schule · Service. Quicklinks ...
Junior Studies — Department of Computer Science
www.inf.uni-kiel.de
PD Dr. Frank Huch (0431) kiel.de. Page information Contact Nebennutzer c Last changed Aug 30,
Investigating Minimally Strict Functions in Functional Programming
macau.uni-kiel.de
PD Dr. Frank Huch : Beschreibung:
Germán Vidal - DBLPdblp.org › Persons
dblp.org
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: A Deterministic Operational Semantics for Functional Logic Programs.
The Dean´s Office Team — Faculty of Engineering - Kiel - Germany
www.tf.uni-kiel.de
Dr. Frank Huch. Dean of Studies. Phone: +49 (0) Telefax: +49 (0) kiel.de. Tanja Wengler. Phone ...
INAP / WLP Conference Schedule
www1.pub.informatik.uni-wuerzburg.de
09: :30, Bernd Braßel, Frank Huch. The Kiel Curry System KiCS. 09: :00, Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez- ...
Informatik im Neben- oder Anwendungsfach sowie Zertifikatsstudium —...
www.inf.uni-kiel.de
Dr. Frank Huch. , R Telefon: + · -kiel.de. Sprechzeiten: Mittwochs, 10:
Vorträge
courses.ps.uni-saarland.de
Regular Expressions, von Sebastian Fischer, Frank Huch und Thomas Wilke. (C).
Prüfungsamt — Institut für Informatik
www.inf.uni-kiel.de
Prüfungsamt. Postadresse: Institut für Informatik der CAU Kiel - Prüfungsamt - Postfach Kiel. Das Prüfungsamt ist zuständig für die ...Priv.-Doz. Dr. Frank Huch · Anne Bock · Christian-Albrechts-Universität ...
Studienberatung — Institut für Informatik
www.inf.uni-kiel.de
Dr. Frank Huch. , R Telefon: + Telefax: + · -kiel.de.
Es fehlt: reisebüro eschwege rudi l fehling
sortiert nach Relevanz / Datum