Вы здесь
Aagaard M. D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Toward a Super Duper Hardware Tactic | 1994 | Aagaard M. D., Leeser M. E., Windley P. J. | Lecture Notes in Computer Science | 21.06.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods in Computer-Aided Design: Proc./4th Intern. Conf., FMCAD 2002, Portland, OR, USA, November 2002 | 2002 | Lecture Notes in Computer Science |
|
11.12.2002 |