Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
selection method » detection method, detection methods, collection methods
https selection » cots selection, its selection, pumps selection
function https » functions https, fiction https
method https » methods https
programs function » programs functional, programme function, programs fiction
selection method » detection method, detection methods, collection methods
https selection » cots selection, its selection, pumps selection
function https » functions https, fiction https
method https » methods https
1
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”View full text
Electronic
eBook
7
Table of Contents:
“... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
10
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... for Principal Axes Methods? -- PCR and PLS for Clusterwise Regression on Functional Data -- A New Method...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...On Bayesian based adaptive confidence sets for linear functionals -- A new finite approximation...”View full text
Electronic
eBook