在您的搜尋 主題建議
搜索替代詞:
functions computational » functions computation, function computation, directions computational
functions functional » equations functional
methods papers » method papers, methods pattern, methods part
using methods » using method, nursing methods, aging methods
1
封面圖片
出版 2005
書本目錄: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2014
書本目錄: “... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2010
主題: “...Programming languages (Electronic computers)....”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2013
書本目錄: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2015
書本目錄: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2015
書本目錄: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
書本目錄: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2008
書本目錄: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2013
書本目錄: “... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2014
書本目錄: “...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2008
書本目錄: “... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2015
書本目錄: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2010
書本目錄: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2008
書本目錄: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2008
書本目錄: “... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2014
書本目錄: “... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2008
書本目錄: “... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2010
書本目錄: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2015
書本目錄: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2007
書本目錄: “... Portrait System Based on And-Or Graph Representation -- Object Category Recognition Using Generative...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索