1
出版 2012
主題: ...Computer programming....
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
獲取全文
電子 電子書
5
出版 2015
書本目錄: ... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...
獲取全文
電子 電子書
6
出版 2015
書本目錄: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
獲取全文
電子 電子書
7
出版 2005
書本目錄: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... Optimization -- Parallel Ant-Miner (PAM) on High Performance Clusters -- A Software Tool for Data Clustering...
獲取全文
電子 電子書
9
出版 2015
書本目錄: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
獲取全文
電子 電子書
10
出版 2010
書本目錄: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
獲取全文
電子 電子書
11
出版 2015
書本目錄: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
獲取全文
電子 電子書
12
出版 2015
書本目錄: ... Optimization for the Se-ries-Parallel Redundancy Allocation Problem -- Impact of the length of optical flow...
獲取全文
電子 電子書
13
出版 2005
書本目錄: ... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...
獲取全文
電子 電子書
14
出版 2014
書本目錄: ... and Chemical Networks -- Speed Faults in Computation by Chemical Reaction Networks -- Fault-Tolerant ANTS...
獲取全文
電子 電子書
15
出版 2006
書本目錄: ... for the Extendability of Ternary Linear Codes -- On the Design of Codes for DNA Computing -- Open Problems Related...
獲取全文
電子 電子書
16
出版 2013
書本目錄: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
獲取全文
電子 電子書
17
出版 2008
書本目錄: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
獲取全文
電子 電子書
18
出版 2005
書本目錄: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...
獲取全文
電子 電子書
20
出版 2015
書本目錄: ...Software Engineering: Non-functional Property Aware Brokerage Approach for Cloud Service Discovery...
獲取全文
電子 電子書