Sciweavers

9888 search results - page 13 / 1978
» compute 2009
Sort
View
55
Voted
CSR
2009
Springer
15 years 7 months ago
Formal Verification of Gate-Level Computer Systems
Mark A. Hillebrand, Sergey Tverdyshev
WISE
2009
Springer
15 years 9 months ago
Cloud Computing
-5
George Wang
64
Voted
LICS
2009
IEEE
15 years 7 months ago
Computation and the Periodic Table
John Baez