在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, directions computational, section computational
programming evaluation » programming evolution, programming evaluating, programme evaluation
function computation » function computing, function decomposition, section computational
program trust » program must, program test, program robust
1
封面图片
出版 2006
书本目录: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2008
书本目录: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2007
书本目录: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2010
书本目录: “... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2007
书本目录: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2014
书本目录: “... Functionalities of Clojure -- Using a Cluster for Efficient Scalability Evaluation of Multithreaded and Event...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2012
书本目录: “... Trustworthiness Evaluation and Prediction -- Analyzing Coopetition Strategies of Services within Communities...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2012
书本目录: “... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2010
书本目录: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2008
书本目录: “...: Distributed Algorithms -- TrustCode: P2P Reputation-Based Trust Management Using Network Coding -- Design...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2006
书本目录: “... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2010
书本目录: “... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2014
书本目录: “... Test Phase and Evaluation; S.Almuairfi, et al -- Coding DNA Sequence Watermarking; S.-H.Lee, et al...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2008
书本目录: “... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2014
书本目录: “...Part I Introduction -- A Research Agenda for the Socio-Technical Design of Ubiquitous Computing...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2008
书本目录: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2014
书本目录: “... and Applications -- A Novel Image Retrieval Method Based on Fractal Code and Fuzzy Set -- Velocity Evaluation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2012
书本目录: “... Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2010
书本目录: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2007
书本目录: “...MODELLING AND ANALYZING ORGANIZATIONS -- Structural Aspects of the Evaluation of Agent...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索