関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
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
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...”全文の入手
電子媒体
eBook
2
出版事項 2008
目次:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”全文の入手
電子媒体
eBook
3
出版事項 2010
目次:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”全文の入手
電子媒体
eBook
4
出版事項 2015
目次:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”全文の入手
電子媒体
eBook
5
出版事項 2014
目次:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”全文の入手
電子媒体
eBook
6
出版事項 2013
目次:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”全文の入手
電子媒体
eBook
7
出版事項 2008
目次:
“...Intelligent Control -- Optimization of Interval Type-2 Fuzzy Logic Controllers for a Perturbed...”全文の入手
電子媒体
eBook
8
9
出版事項 2013
目次:
“... Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective...”全文の入手
電子媒体
eBook
10
出版事項 2007
目次:
“... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”全文の入手
電子媒体
eBook
11
出版事項 2005
目次:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”全文の入手
電子媒体
eBook
12
13
出版事項 2010
目次:
“...1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”全文の入手
電子媒体
eBook
15
目次:
“... -- Expressing Arguments -- Defining Data Structures -- Expressing Problem Specifications -- Expressing Program...”
全文の入手
全文の入手
電子媒体
eBook
16
出版事項 2008
目次:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”全文の入手
電子媒体
eBook
17
出版事項 2010
目次:
“...Public Key Encryption -- On the Broadcast and Validity-Checking Security of pkcs#1 v1.5 Encryption...”全文の入手
電子媒体
eBook
18
目次:
“... Causality Approaches to Economic Modeling -- Evolutionary Approaches to Computational Economics: Application...”
全文の入手
全文の入手
電子媒体
eBook
19
出版事項 2005
目次:
“... Analysis of a Multi-release Telecommunications System -- Performance Rather than Capability Problems...”全文の入手
電子媒体
eBook
20
出版事項 2005
目次:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”全文の入手
電子媒体
eBook