본문

  1. Home
3 Results:UU:VOL52NO320093 0.78 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
1
Probabilistically Checkable Proofs
Probabilistically Checkable Proofs
Sudan, M., | Association for Computing Machinery | 2009 ,
2
Statecharts in the Making: A Personal Account
Statecharts in the Making: A Personal Account
Harel, D., | Association for Computing Machinery | 2009 ,
3
Reflecting Human Values in the Digital Age
Reflecting Human Values in the Digital Age
Sellen, A., | Association for Computing Machinery | 2009 ,
처음1마지막