Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program modification » program verification, programs verification, program certification
function computing » education computing, generation computing
https function » its function, sites function, ups function
program modification » program verification, programs verification, program certification
function computing » education computing, generation computing
https function » its function, sites function, ups function
1
Table of Contents:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Safe Modification of Pointer Programs in Refinement Calculus -- A Hoare Logic for Call-by-Value...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
4
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Published 2013
Table of Contents:
“... -- QuickHeapsort: Modifications and Improved Analysis -- Alphabetic Minimax Trees in Linear Time -- Decidability...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Resilient Packet Ring Using Artificial Bee Colony -- TCP Modification Robust to Packet Reordering in Ant...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Modifications in Plant Responses to Environmental Stresses -- Setting the Stage for the Next Generation...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Computing; J.Kim, et al -- An Efficient Algorithm for High Utility Sequential Pattern Mining; J.-Z. Wang, et...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... of independence -- Empirical -- Divergence Minimizers for Hadamard Differentiable Functionals -- Advances...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... chromatin modifications regulating sexually differentiated animal behaviour -- Eric B. KEVERNE...”View full text
Electronic
eBook
11
12
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Refinement of Mass-Action Reaction Networks -- On Maximal Block Functions of Computable η-like Linear...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data...”View full text
Electronic
eBook
16
Table of Contents:
“... Programming Examples -- Online Robosapien Resources and Community Submitted Programs -- Using Your Computer...”
View full text
View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”View full text
Electronic
eBook
18
Subjects:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
19
Subjects:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”View full text
Electronic
eBook