1
Publicat 2015
Taula de continguts: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
Obtenir text complet
Electrònic eBook
3
per Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicat 2010
Taula de continguts: ...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...
Obtenir text complet
Electrònic eBook
4
Publicat 2012
Taula de continguts: ...Does Social Network always Promote Entrepreneurial Intentions? Part II: Empirical Analysis...
Obtenir text complet
Electrònic eBook