Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
numbers computer » numbers complex, numbers chapter, clusters computer
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
numbers computer » numbers complex, numbers chapter, clusters computer
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
1
Pubblicazione 2010
Sommario:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Testo
Elettronico
eBook
2
Sommario:
“...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
Testo
Testo
Elettronico
eBook
3
4
Pubblicazione 2007
Sommario:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Testo
Elettronico
eBook
8
Pubblicazione 2014
Sommario:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testo
Elettronico
eBook
9
Pubblicazione 2015
Sommario:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Testo
Elettronico
eBook
10
Pubblicazione 2010
Sommario:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Testo
Elettronico
eBook
12
Pubblicazione 2006
Sommario:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Testo
Elettronico
eBook
13
Pubblicazione 2007
Sommario:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Testo
Elettronico
eBook
14
Pubblicazione 2006
Sommario:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Testo
Elettronico
eBook
15
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Pubblicazione 2005
Sommario:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Testo
Elettronico
eBook
16
Pubblicazione 2008
Sommario:
“... Number of Binary Variables and Constraints -- Computing with Multi-row Gomory Cuts -- Constraint Orbital...”Testo
Elettronico
eBook
17
Sommario:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Testo
Testo
Elettronico
eBook
18
Pubblicazione 2007
Sommario:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”Testo
Elettronico
eBook
19
20
Sommario:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Testo
Testo
Elettronico
eBook