1
出版 2006
书本目录: ... -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL...
获取全文
电子 电子书
2
出版 2005
书本目录: ... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...
获取全文
电子 电子书
3
出版 2006
书本目录: ... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...
获取全文
电子 电子书
4
出版 2006
书本目录: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
获取全文
电子 电子书
5
出版 2010
书本目录: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
获取全文
电子 电子书
6
出版 2007
书本目录: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
获取全文
电子 电子书
7
出版 2008
书本目录: ... -- Implementation and Evaluation of the Mechanisms for Low Latency Communication on DIMMnet-2 -- Computationally...
获取全文
电子 电子书
8
出版 2008
书本目录: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
获取全文
电子 电子书
9
出版 2005
书本目录: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
获取全文
电子 电子书
10
出版 2008
书本目录: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
获取全文
电子 电子书
11
出版 2006
书本目录: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
获取全文
电子 电子书
12
出版 2007
书本目录: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
获取全文
电子 电子书
13
出版 2014
书本目录: ... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...
获取全文
电子 电子书
14
出版 2010
书本目录: ... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...
获取全文
电子 电子书
15
出版 2005
书本目录: ... Method for Machinery -- Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts...
获取全文
电子 电子书
16
出版 2007
书本目录: ... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...
获取全文
电子 电子书
17
出版 2008
书本目录: ... for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal...
获取全文
电子 电子书
18
出版 2007
书本目录: ... Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral...
获取全文
电子 电子书
19
出版 2012
书本目录: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
获取全文
电子 电子书
20
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书