1
Được phát hành 2007
Mục lục: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
lấy văn bản
Điện tử eBook
5
Được phát hành 2010
Mục lục: ... Record Detection Using q-Grams Array Inverted Index -- Modelling Complex Data by Learning Which Variable...
lấy văn bản
Điện tử eBook
6
Được phát hành 2005
Mục lục: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
lấy văn bản
Điện tử eBook
9
Được phát hành 2008
Mục lục: ... on Hybrid Disk Arrays -- Directory-Based Conflict Detection in Hardware Transactional Memory -- Fault...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
lấy văn bản
Điện tử eBook
12
Được phát hành 2007
Mục lục: ... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...
lấy văn bản
Điện tử eBook
13
Được phát hành 2013
Mục lục: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
lấy văn bản
Điện tử eBook
14
Được phát hành 2015
Mục lục: ... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...
lấy văn bản
Điện tử eBook
15
Được phát hành 2013
Mục lục: ...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...
lấy văn bản
Điện tử eBook