1
Được phát hành 2010
Mục lục: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
lấy văn bản
Điện tử eBook
2
Được phát hành 2014
Mục lục: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
lấy văn bản
Điện tử eBook
3
Đượ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
4
Được phát hành 2005
Mục lục: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...
lấy văn bản
Điện tử eBook
6
Được phát hành 2015
Mục lục: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
lấy văn bản
Điện tử eBook
8
Đượ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
9
Được phát hành 2010
Mục lục: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
lấy văn bản
Điện tử eBook
11
Được phát hành 2007
Mục lục: ... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...
lấy văn bản
Điện tử eBook
12
Được phát hành 2010
Mục lục: ... Basic Function Neural Networks Based on Artificial Immune Networks -- Spatial Filter Selection...
lấy văn bản
Điện tử eBook