在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
1
出版 2006
书本目录:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”获取全文
电子
电子书
2
出版 2015
书本目录:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”获取全文
电子
电子书
3
出版 2007
书本目录:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”获取全文
电子
电子书
4
出版 2008
书本目录:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”获取全文
电子
电子书
5
出版 2007
书本目录:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”获取全文
电子
电子书
6
出版 2007
书本目录:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”获取全文
电子
电子书
7
出版 2005
书本目录:
“...Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case...”获取全文
电子
电子书
8
出版 2010
书本目录:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”获取全文
电子
电子书
9
出版 2010
书本目录:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”获取全文
电子
电子书
10
出版 2005
书本目录:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”获取全文
电子
电子书
11
出版 2007
书本目录:
“...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”获取全文
电子
电子书
12
出版 2008
书本目录:
“... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”获取全文
电子
电子书
13
14
出版 2007
书本目录:
“... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”获取全文
电子
电子书
15
出版 2015
书本目录:
“... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”获取全文
电子
电子书
16
17
出版 2010
书本目录:
“...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”获取全文
电子
电子书
18
出版 2014
书本目录:
“... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”获取全文
电子
电子书
19
出版 2010
书本目录:
“... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”获取全文
电子
电子书
20
出版 2012
书本目录:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”获取全文
电子
电子书