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