在您的搜尋 主題建議
搜索替代詞:
process composition » products composition, carcass composition, crops composition
composition program » composition programs, compositional program, composition problem
function computing » education computing, generation computing
computing process » computing processor, composting process, computing progress
program https » programs https, program has, program help
1
封面圖片
出版 2010
書本目錄: “... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2006
書本目錄: “... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2008
書本目錄: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2010
書本目錄: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2006
書本目錄: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2005
書本目錄: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2014
書本目錄: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2010
書本目錄: “... Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2013
書本目錄: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2006
書本目錄: “... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2010
書本目錄: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2005
書本目錄: “... Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2010
書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2008
書本目錄: “... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2012
書本目錄: “... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2008
書本目錄: “... with Grammatical Functions -- How Can the Term Compositionality Be Useful for Acquiring Elementary Semantic...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2015
書本目錄: “... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2006
書本目錄: “... Function for Facial Expression Recognition -- 3D Motion from Image Derivatives Using the Least Trimmed...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2010
書本目錄: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2013
書本目錄: “... Simulations -- A Proof System for Compositional Verification of Probabilistic Concurrent Processes...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索