Вы здесь

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
  1. Ball Th.
  2. Jones R. B.
28.09.2006