Suchergebnisse - Wenzel, Markus

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

    Isabelle, HOL: a proof assistant for higher-order logic
    von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Isabelle, Isar - a versatile environment for human readable formal proof documents
    von Wenzel, Markus Michael 1969-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Untersuchungen zur Synthese von bifluorochromen, lipophil-anionischen Farbstoffen: Wege zu pyrenylierten Cyanhydrochinonen
    von Wenzel, Markus Alexander

    Veröffentlicht 1991
    Microform Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Kettensteife Polymide mit flexiblen Seitenketten: Synthese u. Charakterisierung d. Phasenverhaltens
    von Wenzel, Markus

    Veröffentlicht 1987
    Microform Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Isabelle, Isar - a versatile environment for human readable formal proof documents
    von Wenzel, Markus Michael 1969-

    Veröffentlicht 2002
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Isabelle, HOL: a proof assistant for higher-order logic
    von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    C64-C128-Tools für Giga-Paint: Farb- und Graustufendruck mit stufenloser Vergrösserung ; beliebige Verformung von Grafiken ; vielfältige Bildmanipulationen ; Visitenkarten- und Etikettendruck ; Maustreiber
    von Oppacher, Klaus, Oppacher, Wolfgang, Wenzel, Markus

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    C 64, C 128 Giga-Paint: Mal- u. Zeichenprogramm d. Superlative ...
    von Oppacher, Wolfgang, Oppacher, Klaus, Wenzel, Markus

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Decoding implicit information from the electroencephalogram with methods from brain-computer interfacing
    von Wenzel, Markus

    Veröffentlicht 2017
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Kettensteife Polyimide mit flexiblen Seitenketten: Synthese u. Charakterisierung d. Phasenverhaltens
    von Wenzel, Markus

    Veröffentlicht 1987
    Microform Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Decoding implicit information from the electroencephalogram with methods from brain-computer interfacing
    von Wenzel, Markus

    Veröffentlicht 2017
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Untersuchungen zur Synthese von Bifluorchromen, lipophil-anionischen Farbstoffen: Wege zur pyrenylierten Cyanohydrochinonen
    von Wenzel, Markus Alexander

    Veröffentlicht 1991
    Microform Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Kettensteife Polymide mit flexiblen Seitenketten: Synthese u. Charakterisierung d. Phasenverhaltens
    von Wenzel, Markus

    Veröffentlicht 1987
    Microform Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Kettensteife Polymide mit flexiblen Seitenketten, Synthese und Charakterisierung des Phasenverhaltens
    von Wenzel, Markus

    Veröffentlicht 1987
    Hochschulschrift/Dissertation Microform Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Die In-vitro-Aktivität der Rattenpfortader gesunder und zirrhotischer Ratten unter besonderer Berücksichtigung des adrenergen Nervensystems
    von Wenzel, Markus

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    C 64, C 128 Tools für Giga-Paint: Farb- u. Graustufendr. mit stufenloser Vergrößerung ; beliebige Verformung von Grafiken ; vielfältige Bildmanipulationen ; Visitenkarten- u. Etikettendr. ; Maustreiber
    von Oppacher, Wolfgang, Oppacher, Klaus, Wenzel, Markus

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: