在您的搜寻 主题建议
搜索替代词:
functions computational » function computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
validating problems » validation problems, validation problem, auditing problems
1
封面图片
出版 2006
书本目录: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2008
书本目录: “...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2010
书本目录: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2015
书本目录: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2014
书本目录: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2013
书本目录: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2008
书本目录: “...Intelligent Control -- Optimization of Interval Type-2 Fuzzy Logic Controllers for a Perturbed...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
由 Mansor, Hasmah
出版 2011
主题: “...Automatic control - Computer programs...”
获取全文
Thesis
加到收藏夹
Saved in:
9
封面图片
出版 2013
书本目录: “... Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2007
书本目录: “... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2005
书本目录: “... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
由 Ismail, Haqi Khalid
出版 2021
主题: “...Computer networks - Access control...”
获取全文
Thesis
加到收藏夹
Saved in:
13
封面图片
出版 2010
书本目录: “...1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2010
书本目录: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
由 Lover, Robert., Lover, Robert.
出版 2008
书本目录: “... -- Expressing Arguments -- Defining Data Structures -- Expressing Problem Specifications -- Expressing Program...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2008
书本目录: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2010
书本目录: “...Public Key Encryption -- On the Broadcast and Validity-Checking Security of pkcs#1 v1.5 Encryption...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
书本目录: “... Causality Approaches to Economic Modeling -- Evolutionary Approaches to Computational Economics: Application...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2005
书本目录: “... Analysis of a Multi-release Telecommunications System -- Performance Rather than Capability Problems...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2005
书本目录: “... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索