Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
programs design » program design, programs designed, programme design
https function » its function, sites function, ups function
design https » vision https
function structures » functions structures, function structure, functional structures
programs design » program design, programs designed, programme design
https function » its function, sites function, ups function
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
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
7
Table of Contents:
“... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”View full text
Electronic
eBook
10
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
15
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Published 2005
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
18
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
19
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
20
Published 2010
Table of Contents:
“... Design for Truthful Combinatorial Auctions -- Mean-Payoff Games and Propositional Proofs -- Session 2...”View full text
Electronic
eBook