伟德国际_伟德国际1946$娱乐app游戏

图片

Dissertationen

2016

?

  • Relational and Algebraic Calculi for Database Preferences
    Patrick Roocks
    Dissertation, Universit?t Augsburg.
    Erstgutachter: Professor Dr. B. M?ller
    Zweitgutachter: Professor Dr. W. Kie?ling

?

?

2014

?

  • Algebraic Calculi for Separation Logic
    Han-Hing Dang
    Dissertation, Universit?t Augsburg.
    Erstgutachter: Professor Dr. B. M?ller
    Zweitgutachter: Professor Dr. B. Bauer

?

  • Bisimulations and Model Refinement
    Roland Glück
    Dissertation, Universit?t Augsburg.
    Erstgutachter: Professor Dr. B. M?ller
    Zweitgutachter: Professor Dr. R. Lorenz

?

?

2009

?

  • Algebraic Calculi for Hybrid Systems
    Peter H?fner
    Dissertation, Universit?t Augsburg.
    Erstgutachter: Professor Dr. B. M?ller
    Zweitgutachter: Professor Dr. G. Schmidt, Professor W. Vogler

?

?

2007

?

  • Dual compilation for hardware and software
    Ewald Frensch
    Dissertation, Universit?t Augsburg.
    Erstgutachter: Professor Dr. B. M?ller
    Zweitgutachter: Professor Dr. T. Ungerer

?

  • Abstract Algebra of Program Refinement
    Kim Solin
    Dissertation, Universit?t Augsburg/Abo Akademi
    Betreuer: Professor Dr. B. M?ller, Prof. Dr. R.-J. Back

?

?

2003

?

  • The Kleene Algebra of Nested Pointer Structures: Theory and Applications
    Thorsten Ehm
    Dissertation, Universit?t Augsburg.
    Erstgutachter: Professor Dr. B. M?ller
    Zweitgutachter: Professor Dr. R. Berghammer (Uni Kiel)

?

?

1996

?

  • Deriving general schemes for classes of graph algorithms
    M. Russling
    Dissertation, Universit?t Augsburg.

Suche