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