在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, function computation, directions computational
programming validating » programming evaluating, programming writing, programming balancing
function computing » education computing, generation computing
validating method » validation methods, locating method, estimating method
method cases » method case, method cassels, method caused
functions computational » functions computation, function computation, directions computational
programming validating » programming evaluating, programming writing, programming balancing
function computing » education computing, generation computing
validating method » validation methods, locating method, estimating method
method cases » method case, method cassels, method caused
1
出版 2010
书本目录:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”获取全文
电子
电子书
2
出版 2007
书本目录:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”获取全文
电子
电子书
3
出版 2015
书本目录:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”获取全文
电子
电子书
5
出版 2008
书本目录:
“...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”获取全文
电子
电子书
6
出版 2008
书本目录:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”获取全文
电子
电子书
7
出版 2010
书本目录:
“... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...”获取全文
电子
电子书
8
出版 2010
书本目录:
“...-Order Groups -- Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner...”获取全文
电子
电子书
9
出版 2007
书本目录:
“...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”获取全文
电子
电子书
10
出版 2013
书本目录:
“...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...”获取全文
电子
电子书
11
出版 2007
书本目录:
“...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...”获取全文
电子
电子书
12
出版 2015
书本目录:
“... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”获取全文
电子
电子书
13
书本目录:
“... and Analysis.-3.2.1 Safety.-3.2.2 Validity -- 3.2.3 Predictive Value -- 3.3 Treatments.-3.3.1 Abortion...”
获取全文
获取全文
电子
电子书