Вы здесь
Anai H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A Robust Control System Design by a Special Guantifier Elimination | 2000 | Anai H., Hara S. | Univ.Passau | 01.11.2000 | |||
| П | Deciding Linear-Trigonometric Problems | 2000 | Anai H., Weispfenning V. | Lecture Notes in Computer Science | Univ.Passau | 28.10.2000 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Algebraic Biology: Proc./Second International Conference, AB 2007. Castle of Hagenberg, Austria, July 2007 | 2007 | Lecture Notes in Computer Science |
|
08.09.2007 |