1
Được phát hành 2006
Mục lục: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... of Multiple Spike Trains -- Higher-Order Correlations and Cumulants -- Population-based approaches...
lấy văn bản
Điện tử eBook
5
Được phát hành 2010
Mục lục: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Cry Classification with Diagnostic Purposes -- Neural Networks and SVM-Based Classification...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ...-Based Constraint Solvers: Combined Approach -- A Scalable Inclusion Constraint Solver Using Unification...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
lấy văn bản
Điện tử eBook
10
Được phát hành 2007
Mục lục: ... Gene Sequences Using a Hybrid Combination Based on Feature Selection, Fuzzy Weighted Pre-processing...
lấy văn bản
Điện tử eBook
11
Được phát hành 2005
Mục lục: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
lấy văn bản
Điện tử eBook
12
... communication. In this paper, a parallel 3D reconstruction method based on multi-view video stream is proposed...
Bài viết
13
Được phát hành 2012
Mục lục: ... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...
lấy văn bản
Điện tử eBook
14
Được phát hành 2007
Mục lục: ...Plenary & Keynote Papers -- Computational Methods Combining Large Eddy Simulation with Approximate...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ... for Heterogeneous Ensembles of Nearest-neighbour Classifiers Using Hybrid Tabu Search -- A Parallel Ant Colony...
lấy văn bản
Điện tử eBook
16
Được phát hành 2015
Mục lục: ....- Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in Combination.-Development...
lấy văn bản
Điện tử eBook
17
Bằng Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Được phát hành 2008
Mục lục: ...Rings, Ideals and Standard Bases -- Modules -- Noether Normalization and Applications -- Primary...
lấy văn bản
Điện tử eBook
18
Được phát hành 2005
Mục lục: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
lấy văn bản
Điện tử eBook
19
Đượ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
20
Được phát hành 2007
Mục lục: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
lấy văn bản
Điện tử eBook