Sämtliche Arbeiten können als Ausdruck in der Universitätsbibliothek eingesehen werden.

Completed Thesis

Author


All :: A, B, D, E, F, G, H, J, K, L, M, N, O, P, R, S, T, V, W
All :: Pfab, Pfeifer, Pragst

Preferences

Show keywords Show abstracts

4.
default
Pragst, Louisa
Effiziente Behandlung von Dekompositionsaxiomen in PANDA2
Projektbericht
Universität Ulm,
2015
3.
default
Pragst, Louisa
Hybrid Planning in Cyber Security Applications
Bachelor Thesis
Ulm University,
2013
2.
default
Pfab, Stephan
Efficient Abstract Interpretation of Formal Specifications and Its Interrelationship with Theorem Proving
Diploma Thesis
Ulm University,
1998
1.
default
Pfeifer, Holger
Eine reflexive Architektur zur Darstellung von Beweis- und Softwareentwicklungsschritten in Typtheorie
Diploma Thesis
Ulm University,
1995
Export as: BibTeX, XML