본문

  1. Home
1000 Results:UU:VOL5 0.328 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
151
Probabilistically Checkable Proofs
Probabilistically Checkable Proofs
Sudan, M., | Association for Computing Machinery | 2009 ,
152
Algorithmic Game Theory: A new era of theoretical computer science addresses fundamental problems about auctions, networks, and human behavior
Algorithmic Game Theory: A new era of theoretical computer science addresses fundamental problems about auctions, networks, and human behavior
Roughgarden, T., | Association for Computing Machinery | 2010 ,
153
Statecharts in the Making: A Personal Account
Statecharts in the Making: A Personal Account
Harel, D., | Association for Computing Machinery | 2009 ,
154
Reflecting Human Values in the Digital Age
Reflecting Human Values in the Digital Age
Sellen, A., | Association for Computing Machinery | 2009 ,
155
A Direct Path to Dependable Software
A Direct Path to Dependable Software
Jackson, D., | Association for Computing Machinery | 2009 ,
156
Memory Models: A Case for Rethinking Parallel Languages and Hardware: Solving the memory model problem will require an ambitious and cross-disciplinary research direction
Memory Models: A Case for Rethinking Parallel Languages and Hardware: Solving the memory model problem will require an ambitious and cross-disciplinary research direction
Adve, S.V., | Association for Computing Machinery | 2010 ,
157
Roofline: An Insightful Visual Performance Model for Multicore Architectures
Roofline: An Insightful Visual Performance Model for Multicore Architectures
Williams, S., | Association for Computing Machinery | 2009 ,
158
Predicting the Popularity of Online Content: Early patterns of Digg diggs and YouTube views reflect long-term user interest
Predicting the Popularity of Online Content: Early patterns of Digg diggs and YouTube views reflect long-term user interest
Szabo, G., | Association for Computing Machinery | 2010 ,
159
Database and Information-Retrieval Methods for Knowledge Discovery
Database and Information-Retrieval Methods for Knowledge Discovery
Weikum, G., | Association for Computing Machinery | 2009 ,
160
The Singularity System: Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system
The Singularity System: Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system
Larus, J., | Association for Computing Machinery | 2010 ,
처음이전11121314151617181920이후마지막