1
Udgivet 2010
Indholdsfortegnelse: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence...
Få fuldtekst
Electronisk eBog