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