Treffer 1 – 10 von 10 für Suche 'Kammüller, Florian', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Counting idempotent relations

    Counting idempotent relations von Kammüller, Florian

    Veröffentlicht 2008
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A formalization of typed aspects for the s-calculus [sigma-calculus] in Isabelle, HOL

    A formalization of typed aspects for the s-calculus [sigma-calculus] in Isabelle, HOL von Kammüller, Florian, Sudhof, Henry

    Veröffentlicht 2007
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Functional active objects noninterference and distributed consensus

    Functional active objects noninterference and distributed consensus von Henrio, Ludovic, Kammüller, Florian

    Veröffentlicht 2010
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Functional active objects noninterference and distributed consensus

    Functional active objects noninterference and distributed consensus von Henrio, Ludovic, Kammüller, Florian

    Veröffentlicht 2009
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Interactive theorem proving in software engineering

    Interactive theorem proving in software engineering von Kammüller, Florian

    Veröffentlicht 2008
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A formalization of typed aspects for the sigma-calculus in Isabelle/HOL

    A formalization of typed aspects for the sigma-calculus in Isabelle/HOL von Kammüller, Florian, Sudhof, Henry

    Veröffentlicht 2007
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Idempotent relation in Isabelle/HOL

    Idempotent relation in Isabelle/HOL von Kammüller, Florian, Sanders, Jeffrey W.

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Counting Idempotent relations

    Counting Idempotent relations von Kammüller, Florian

    Veröffentlicht 2008
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Interactive theorem proving in software engineering

    Interactive theorem proving in software engineering von Kammüller, Florian

    Veröffentlicht 2007
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Controlling consistency in UML with fusion and object-z

    Controlling consistency in UML with fusion and object-z von Bittner, Margot, Kammüller, Florian

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: