Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
function structures » functions structures, function structure, functional structures
program designs » program design, program designed, progam design
https function » its function, sites function, ups function
designs https » design https, design http, devices https
function structures » functions structures, function structure, functional structures
program designs » program design, program designed, progam design
https function » its function, sites function, ups function
designs https » design https, design http, devices https
1
Julkaistu 2006
Sisällysluettelo:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2007
Sisällysluettelo:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2006
Sisällysluettelo:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Hae kokoteksti
Elektroninen
E-kirja
4
Aiheet:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2006
Sisällysluettelo:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2008
Sisällysluettelo:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Hae kokoteksti
Elektroninen
E-kirja
7
Sisällysluettelo:
“... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2013
Sisällysluettelo:
“... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2006
Sisällysluettelo:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Tekijä Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Julkaistu 2005
Sisällysluettelo:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Julkaistu 2005
Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2007
Sisällysluettelo:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2006
Sisällysluettelo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2013
Sisällysluettelo:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2006
Sisällysluettelo:
“... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2010
Sisällysluettelo:
“... Design for Truthful Combinatorial Auctions -- Mean-Payoff Games and Propositional Proofs -- Session 2...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2012
Sisällysluettelo:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Hae kokoteksti
Elektroninen
E-kirja
19
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Julkaistu 2005
Sisällysluettelo:
“... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2010
Sisällysluettelo:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Hae kokoteksti
Elektroninen
E-kirja