Recherches alternatives:
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
function side » function some, function space, function state
1
Publié 2005
Table des matières: ... Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring...
Accéder au texte intégral
Électronique eBook
2
par Addis, Tom., Addis, Tom., Addis, Jan.
Publié 2010
Table des matières: ... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Accéder au texte intégral
Électronique eBook
5
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
6
par Kluge, Werner., Kluge, Werner.
Publié 2005
Table des matières: ...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...
Accéder au texte intégral
Électronique eBook
7
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
8
Sujets: ...Computer programming....
Accéder au texte intégral
Électronique eBook
9
Publié 2014
Table des matières: ... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...
Accéder au texte intégral
Électronique eBook
10
Publié 2010
Table des matières: ...An Algorithmic Framework for Predicting Side-Effects of Drugs -- SubMAP: Aligning Metabolic...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
Accéder au texte intégral
Électronique eBook
13
Publié 2014
Table des matières: ... -- Two-Sided Guaranteed Estimates of the Cost Functional for Optimal Control Problems with Elliptic State...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... -- Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees -- A Fast Branching...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
Accéder au texte intégral
Électronique eBook
16
Publié 2007
Table des matières: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
Accéder au texte intégral
Électronique eBook
17
Publié 2015
Table des matières: ...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...
Accéder au texte intégral
Électronique eBook
18
Publié 2005
Table des matières: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
Accéder au texte intégral
Électronique eBook
19
Publié 2013
Table des matières: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...
Accéder au texte intégral
Électronique eBook