E-LIB Suche - Ergebnisse für: Anai, Hirokazu - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

A robust control system design by a special quantifier elim..

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 0004

Anai, Hirokazu , 2000

Exemplar: Zentrale:Magazin bc 1079-2000,4

2

Reach set computation using real quantifier elimination

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 0012

Anai, Hirokazu , 2000

Exemplar: Zentrale:Magazin bc 1079-2000,12

3

Deciding linear-trigonometric problems

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 0001

Anai, Hirokazu , 2000

Exemplar: Zentrale:Magazin bc 1079-2000,1

1-3