Koker Christopher

Treffer aus Sozialen Netzen

Christopher Koker

Nürnberg
Mehr

Christopher Koker

München
Mehr

Christopher Koker

München

Treffer im Web

News

Die Meister waren mit Alexander Bösel und Christoph Koke (beide SF Olfen) sowie David Austrup und Lennart Quante (beide SK Münster) zwar alles keine

Studien- und Diplomarbeiten, Hiwi-Stellen

Christopher Köker Prof. P. H. Schmitt Mattias Ulbrich Verification of Java Floating-Point Arithmetic Denis Lohner Prof. P. H. Schmitt Benjamin Weiß

Studien- und Diplomarbeiten, Hiwi-Stellen

Christopher Köker Prof. P. H. Schmitt Mattias Ulbrich Verification of Sun SPOT's Network Library Christoph Scheben Prof. P. H. Schmitt Benjamin Weiß Frank

Studien- und Diplomarbeiten, Hiwi-Stellen

Christopher Köker Prof. P. H. Schmitt Mattias Ulbrich Abgeschlossene Arbeiten (2007, unvollständig) Inferring Invariants by Static Analysis in KeY Benjamin