1
Опубликовано 2010
Оглавление: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2015
Оглавление: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2010
Оглавление: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2005
Оглавление: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2005
Оглавление: ... System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence...
Полный текст
Электронный ресурс eКнига