Treffer 1 – 4 von 4 für Suche 'Anai, Hirokazu', Suchdauer: 0,03s 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
    A robust control system design by a special quantifier elimination

    A robust control system design by a special quantifier elimination von Anai, Hirokazu, Hara, Shinji

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Radical representation of polynomial roots

    Radical representation of polynomial roots von Anai, Hirokazu, Yokoyama, Kazuhiro

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Deciding linear trigonometric problems

    Deciding linear trigonometric problems von Anai, Hirokazu, Weispfenning, Volker 1944-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Reach set computations using real quantifier elimination

    Reach set computations using real quantifier elimination von Anai, Hirokazu, Weispfenning, Volker 1944-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: