1
Được phát hành 2010
Mục lục: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
lấy văn bản
Điện tử eBook
3
Được phát hành 2015
Mục lục: ... Programming with Safe Tree Initialisation -- Grant Dick On the Generalization Ability of Geometric Semantic...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
5
Được phát hành 2010
Mục lục: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
lấy văn bản
Điện tử eBook
6
Được phát hành 2013
Mục lục: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...
lấy văn bản
Điện tử eBook
9
Được phát hành 2014
Mục lục: ...A Prescription for Safely Relaxing -- Partial Type Signatures for Haskell -- The F# Computation...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
lấy văn bản
Điện tử eBook
11
Được phát hành 2007
Mục lục: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
lấy văn bản
Điện tử eBook
12
Được phát hành 2015
Mục lục: ... Dust Reinforced Epoxy Composite Using Grey Relational Analysis -- Weight Computation of Alternatives...
lấy văn bản
Điện tử eBook
13
Được phát hành 2005
Mục lục: ...A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A...
lấy văn bản
Điện tử eBook
14
Được phát hành 2013
Mục lục: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
lấy văn bản
Điện tử eBook