1
Publié 2008
Table des matières: ... on Transformational Development of Programs -- A National Science Foundation Proposal -- Robert Paige: Brother, Friend...
Accéder au texte intégral
Électronique eBook
2
par Beckner, Mark., Beckner, Mark.
Publié 2014
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
3
Table des matières: ... -- Termination Detection for Diffusing Computations -- Object-Transfer Service -- Object Transfer using Path...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: ... Impact of the Project P.A.T.H.S. in China -- 20 Evidence-based positive youth development programs...
Accéder au texte intégral
Électronique eBook
5
Table des matières: ... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...
Accéder au texte intégral
Électronique eBook
6
Table des matières: ... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...
Accéder au texte intégral
Électronique eBook
7
Publié 2013
Table des matières: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Accéder au texte intégral
Électronique eBook
8
Publié 2008
Table des matières: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Accéder au texte intégral
Électronique eBook
9
par Janus, Philo., Janus, Philo.
Publié 2007
Table des matières: ...Introducing InfoPath -- Tour of the InfoPath Client -- Tour of the InfoPath Designer -- InfoPath...
Accéder au texte intégral
Électronique eBook
10
Publié 2005
Table des matières: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... Automata -- On the Hybrid ?erný-Road Coloring Problem and Hamiltonian Paths -- Computing Blocker Sets...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Accéder au texte intégral
Électronique eBook
13
Publié 2008
Table des matières: ... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...
Accéder au texte intégral
Électronique eBook
14
15
Publié 2006
Table des matières: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ... -- Development of Early Tunnel Fire Detection Algorithm Using the Image Processing -- Simulation of Artificial...
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ... Programs for Path-Delay Faults in Microprocessors -- EvoIASP Contributions -- Evolutionary Object Detection...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... Verification -- Regular Session 2: Bio-inspired Networking -- Ensuring Fast Adaptation in an Ant-Based Path...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
Accéder au texte intégral
Électronique eBook
20
par Watson, Brent., Watson, Brent.
Publié 2015
Sujets: ...Java (Computer program language)....
Accéder au texte intégral
Électronique eBook