Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program specification » programs specifications, program specialization, program verification
specification program » specifications program, verification program, purification program
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
program specification » programs specifications, program specialization, program verification
specification program » specifications program, verification program, purification program
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
1
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
2
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
8
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
9
Published 2006
Table of Contents:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”View full text
Electronic
eBook
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous...”View full text
Electronic
eBook
12
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
13
Table of Contents:
“... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....”
View full text
View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
View full text
View full text
Electronic
eBook
16
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
17
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Language -- The Specification Language TLA+ -- The Typed Logic of Partial Functions and the Vienna...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... .-Characterizing neural circuitry with programmed human neurons.- Direct conversion of fibroblasts to neuronal...”View full text
Electronic
eBook