Peter Haarmann-Thiemann - Wissenschaftliche Veröffentlichungen

(1 - 15 von 15

)

MOVES: Software Modeling and Verification (Info 2)

www-i2.informatik.rwth-aachen.de

Ziel einer Compileroptimierung ist es also, die erste Definition von last in die zweite Form zu transformieren. Peter Thiemann beschreibt in zwei Arbeiten eine ...

dblp: Peter Thiemann

dblp.uni-trier.de

List of computer science publications by Peter Thiemann

Peter Thiemann

www2.informatik.uni-freiburg.de

Peter Thiemann . You can never understand one language until you understand at least two. -Ronald Searle, artist ( ) To know another language is to have a ...

dblp: Partial Evaluation, 1998

dblp.uni-trier.de

Bibliographic content of Partial Evaluation, 1998

Dr. Moritz Peter Haarmann – Institut für...

www.ipw.uni-hannover.de

Arbeitsbereich . Didaktik der Politischen Bildung. Telefon E-mail. -hannover.de. Standort. , Raum Beratungszeit

dblp: ICFP

dblp.uni-trier.de

Bibliographic content of ICFP

FreiDok plus - Thiemann, Peter

freidok.uni-freiburg.de

{{role.value| show_role_text:"person_project_role":this}} () {{role.value| show_role_text:"person":this}} ...

dblp: PEPM 2002: Portland, OR, USA

dblp.uni-trier.de

Bibliographic content of PEPM 2002: Portland, OR, USA

Search results for "Peter Thiemann" – FacetedDBLP

dblp.l3s.uni-hannover.de

Peter Thiemann(166) Matthias Keil 0002(15) Stefan Wehr(14) Matthias Neubauer(11) Michael Sperber(10) Luminous Fennell(8) Annette Bieniusa(7) Phillip Heidegger(7 ...

Clara Löh

loeh.app.uni-regensburg.de

The definitive version was published in James Hook and Peter Thiemann, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Functional ...

Search results for "Martin Sulzmann" – FacetedDBLP

dblp.l3s.uni-hannover.de

Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions. CoRR : 2015: DBLP BibTeX RDF: 1: Martin Sulzmann ...

TAP: Tests & Proofs 2010, Malaga

www.st.cs.uni-saarland.de

Third International Conference on Tests and Proofs (TAP 2010). OVERVIEW. CALL FOR PAPERS. IMPORTANT DATES. KEYNOTE SPEAKERS. PROGRAM Peter Thiemann …

Programmiersprachen

proglang.informatik.uni-freiburg.de

Leitung: Prof. Dr. Peter Thiemann: Sekretariat: Berit Brauer: Anschrift: Institut für Informatik Universität Freiburg Georges-Köhler-Allee, Gebäude 079 D

Verwandte Suchanfragen zu Peter Haarmann-Thiemann

Peter Thiemann
Peter Haarmann
Lars Peter Thiemann

Personen
Vorname "Peter" (123603)
Name "Haarmann-Thiemann" (13)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Peter Haarmann-Thiemann