Suchergebnisse - Mader, Angelika

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Verification of modal properties using Boolean equation systems
    von Mader, Angelika

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Model checking for the modal mu-calculus using Gauß elimination
    von Barnard, Dieter, Mader, Angelika

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Verification of modal properties using Boolean equation systems
    von Mader, Angelika

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    La boîte à outils du slameur: moyens linguistiques et poétiques, verbaux et non-verbaux
    von Mader, Angelika

    Veröffentlicht 2015
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    An effective tableau system for the linear time mu calculus
    von Bradfield, Julian 1964-, Esparza, Javier 1964-, Mader, Angelika

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Der stumme Gallenstein
    von Mader, Angelika

    Veröffentlicht 1990
    Hochschulschrift/Dissertation Microform Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Die materielle Kultur der Ost-Tukano Nordwest-Amazoniens: am Beispiel der Sammlung von Dr. Petersen in München, Berlin und Burgdorf
    von Mader, Angelika

    Veröffentlicht 1981
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: