Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals over » functionals lower, functions over, functionals one
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals over » functionals lower, functions over, functionals one
1
Publié 2005
Table des matières:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Accéder au texte intégral
Électronique
eBook
2
Table des matières:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
3
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
4
Publié 2008
Table des matières:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Accéder au texte intégral
Électronique
eBook
5
Publié 2006
Table des matières:
“...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Accéder au texte intégral
Électronique
eBook
7
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
8
Publié 2007
Table des matières:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”Accéder au texte intégral
Électronique
eBook
9
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
10
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
11
Publié 2013
Table des matières:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”Accéder au texte intégral
Électronique
eBook
12
Publié 2014
Table des matières:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Accéder au texte intégral
Électronique
eBook
13
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
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
Publié 2014
Table des matières:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Accéder au texte intégral
Électronique
eBook
16
Publié 2010
Table des matières:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Accéder au texte intégral
Électronique
eBook
17
Table des matières:
“...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2012
Table des matières:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Accéder au texte intégral
Électronique
eBook
19
Publié 2006
Table des matières:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... -- On Anaphora and the Binding Principles in Categorial Grammar -- Feasible Functions over Co-inductive Data...”Accéder au texte intégral
Électronique
eBook