Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality design » functional design, function design, functionality needs
structures programs » structured programs, structured program, structures progress
program structures » program structure, protein structures
design https » vision https
programs functionality » program functionality, programs functional, properties functionality
functionality design » functional design, function design, functionality needs
structures programs » structured programs, structured program, structures progress
program structures » program structure, protein structures
design https » vision https
1
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
6
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...”View full text
Electronic
eBook
12
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
15
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”View full text
Electronic
eBook
16
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
17
Published 2010
Table of Contents:
“... Design for Truthful Combinatorial Auctions -- Mean-Payoff Games and Propositional Proofs -- Session 2...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
19
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”View full text
Electronic
eBook