Вы здесь
Ball Th.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Branch Prediction For Free | 1993 | Ball Th., Larus J. R. | SIGPLAN Notices | 11.08.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006 | 2006 | Lecture Notes in Computer Science |
|
28.09.2006 |