Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programs computing » programs compiling, programs conducting, problems computing
https function » its function, sites function, ups function
function state » functional state, function status, function space
programs computing » programs compiling, programs conducting, problems computing
https function » its function, sites function, ups function
function state » functional state, function status, function space
1
Publié 2006
Table des matières:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Accéder au texte intégral
Électronique
eBook
2
Publié 2013
Table des matières:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Accéder au texte intégral
Électronique
eBook
3
Table des matières:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
4
Publié 2012
Table des matières:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Accéder au texte intégral
Électronique
eBook
5
Table des matières:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
6
Publié 2015
Table des matières:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Accéder au texte intégral
Électronique
eBook
9
Table des matières:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
Publié 2007
Table des matières:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Accéder au texte intégral
Électronique
eBook
11
Publié 2015
Table des matières:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Accéder au texte intégral
Électronique
eBook
12
Publié 2015
Table des matières:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Accéder au texte intégral
Électronique
eBook
13
Publié 2006
Table des matières:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Accéder au texte intégral
Électronique
eBook
14
Publié 2013
Table des matières:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Accéder au texte intégral
Électronique
eBook
15
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publié 2014
Table des matières:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Accéder au texte intégral
Électronique
eBook
16
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publié 2010
Table des matières:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Accéder au texte intégral
Électronique
eBook
17
Publié 2010
Table des matières:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Accéder au texte intégral
Électronique
eBook
18
Table des matières:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
19
Publié 2006
Table des matières:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Accéder au texte intégral
Électronique
eBook
20
Publié 2008
Table des matières:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”Accéder au texte intégral
Électronique
eBook