在您的搜尋 主題建議
搜索替代詞:
programming evaluation » programming evolution, programming evaluating, programme evaluation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
1
封面圖片
出版 2006
書本目錄: “... -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2006
書本目錄: “... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
書本目錄: “... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2010
書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2007
書本目錄: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2005
書本目錄: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2014
書本目錄: “... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2012
書本目錄: “...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2010
書本目錄: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2010
書本目錄: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2010
書本目錄: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2010
書本目錄: “... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2005
書本目錄: “... Method for Machinery -- Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2015
書本目錄: “... Methods -- Firefly Algorithm for Flow Shop Optimization -- Evaluation of Harmony Search and Differential...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2012
書本目錄: “... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2007
書本目錄: “...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2008
書本目錄: “... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2007
書本目錄: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2015
書本目錄: “... Test Cases Minimization for Object Oriented Programs....”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2007
書本目錄: “... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索