1
Được phát hành 2005
Mục lục: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
lấy văn bản
Điện tử eBook
3
Được phát hành 2014
Mục lục: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
lấy văn bản
Điện tử eBook
4
Được phát hành 2006
Mục lục: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...
lấy văn bản
Điện tử eBook
6
Được phát hành 2015
Mục lục: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
lấy văn bản
Điện tử eBook
7
Được phát hành 2007
Mục lục: ... Decentralized Parallel I/O Scheduling Strategies for Parallel File Systems -- Distributed Security Constrained...
lấy văn bản
Điện tử eBook
8
Được phát hành 2006
Mục lục: ... from Weak Round Functions? -- The Security of Triple Encryption and a Framework for Code-Based Game...
lấy văn bản
Điện tử eBook
9
Được phát hành 2005
Mục lục: ... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...
lấy văn bản
Điện tử eBook
10
Được phát hành 2007
Mục lục: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
lấy văn bản
Điện tử eBook
11
Được phát hành 2005
Mục lục: ... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...
lấy văn bản
Điện tử eBook