Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program specification » programs specifications, program specialization, program verification
specification https » specification matter, modification https, specification aes
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
program specification » programs specifications, program specialization, program verification
specification https » specification matter, modification https, specification aes
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“...Genetic Programming -- Treating Noisy Data Sets with Relaxed Genetic Programming -- Cost-Benefit...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Discrimination of Unexploded Ordnance from Clutter Using Linear Genetic Programming -- Rapid Re-Evolution of an X...”View full text
Electronic
eBook
5
Table of Contents:
“... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
View full text
View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Transitions in Arabidopsis -- Mechanisms of Transposable Element Evolution in Plants and their Effects on Gene...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... and Directions -- Teaching Algorithmics and Programming -- Functions, Objects and States: Teaching Informatics...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... with Optional and Preferred Requirements -- Data Evolution and Adaptation -- A Conceptual Approach to Database...”View full text
Electronic
eBook
12
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... to Dynamic Systems Co-evolution -- What’s in a Service? -- Full Research Papers -- Pattern-Based Evolution...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Within Component Architecture Specification -- Reengineering Maintanance -- Re-engineering a Credit Card...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook