1
Được phát hành 2010
Mục lục: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
lấy văn bản
Điện tử eBook
2
Được phát hành 2015
Mục lục: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ... System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence...
lấy văn bản
Điện tử eBook