1
gan Addis, Tom., Addis, Tom., Addis, Jan.
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Cael y testun llawn
Electronig eLyfr
3
Tabl Cynhwysion: ... Linear Models -- Functional Principal Components -- Canonical Correlation -- Functional Cluster Analysis...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Cael y testun llawn
Electronig eLyfr
7
Tabl Cynhwysion: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
Cael y testun llawn
Electronig eLyfr
8
gan Lew, Art., Lew, Art., Mauch, Holger.
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Cael y testun llawn
Electronig eLyfr
9
gan Klawonn, Frank., Klawonn, Frank.
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2008
Tabl Cynhwysion: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2007
Tabl Cynhwysion: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2013
Tabl Cynhwysion: ... of Prostate Cancer Using Computational Evolution, Pareto-Optimization and Post-Processing -- Meta-dimensional...
Cael y testun llawn
Electronig eLyfr
13
Tabl Cynhwysion: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Cael y testun llawn
Electronig eLyfr
14
Tabl Cynhwysion: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2007
Tabl Cynhwysion: ... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...
Cael y testun llawn
Electronig eLyfr
16
gan Ashlock, Daniel., Ashlock, Daniel.
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2015
Tabl Cynhwysion: ... with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion: ... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...
Cael y testun llawn
Electronig eLyfr
19
Tabl Cynhwysion: ... Using MPI -- Designing Object–Oriented Numerical Libraries -- Linear Algebra -- Other Programming...
Cael y testun llawn
Electronig eLyfr
20
gan Holt, Alan., Holt, Alan.
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Cael y testun llawn
Electronig eLyfr