Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program derivation » program termination, program verification, program description
derivation https » education https, animation https, sedation https
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program derivation » program termination, program verification, program description
derivation https » education https, animation https, sedation https
based https » based http
1
Published 2015
Table of Contents:
“... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
8
Table of Contents:
“... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
View full text
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”View full text
Electronic
eBook
15
Table of Contents:
“... Functions in CNF and DNF Derivable from the Same Training Examples -- The Rejectability Graph of Two Sets...”
View full text
View full text
Electronic
eBook
16
Subjects:
“...Conservation Biology/Ecology. https://scigraph.springernature.com/ontologies/product-market-codes/L...”
View full text
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook