在您的搜尋 主題建議
搜索替代詞:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
using using » nursing using, housing using, using housing
1
封面圖片
出版 2006
書本目錄: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2013
書本目錄: “... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
由 Li, Xingfeng., Li, Xingfeng.
出版 2014
書本目錄: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2010
書本目錄: “... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2010
書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2007
書本目錄: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2013
書本目錄: “... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2012
書本目錄: “... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2015
書本目錄: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2015
書本目錄: “... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2014
書本目錄: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2006
書本目錄: “... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2007
書本目錄: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2005
書本目錄: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2007
書本目錄: “... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2012
書本目錄: “... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2007
書本目錄: “... Algorithm Using a Trust-Region Derivative-Free Optimization with Quadratic Modelling for Optimization...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2010
書本目錄: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2010
書本目錄: “...-Intensive Socially Similar Evolving Community Tracker -- Clustering of Blog Sites Using Collective Wisdom...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2006
書本目錄: “... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索