Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functions structures » functions structure, functional structures, function structure
program designed » programs designed, program design, program designing
https functions » status functions, its functions, sets functions
designed https » design https, designed hotels, design http
functions structures » functions structure, functional structures, function structure
program designed » programs designed, program design, program designing
https functions » status functions, its functions, sets functions
designed https » design https, designed hotels, design http
1
Vydáno 2006
Obsah:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2007
Obsah:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2006
Obsah:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Získat plný text
Elektronický zdroj
E-kniha
4
Témata:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Získat plný text
Elektronický zdroj
E-kniha
7
Obsah:
“... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2013
Obsah:
“... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2006
Obsah:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”Získat plný text
Elektronický zdroj
E-kniha
10
Obsah:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2006
Obsah:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2007
Obsah:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2006
Obsah:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2013
Obsah:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Získat plný text
Elektronický zdroj
E-kniha
15
Autor Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Vydáno 2005
Obsah:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Vydáno 2005
Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2006
Obsah:
“... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2012
Obsah:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Získat plný text
Elektronický zdroj
E-kniha
18
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Vydáno 2005
Obsah:
“... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2015
Obsah:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2010
Obsah:
“... Design for Truthful Combinatorial Auctions -- Mean-Payoff Games and Propositional Proofs -- Session 2...”Získat plný text
Elektronický zdroj
E-kniha