1
出版 2013
書本目錄: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
獲取全文
電子 電子書
5
書本目錄: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
獲取全文
電子 電子書
6
出版 2013
書本目錄: ... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...
獲取全文
電子 電子書
7
書本目錄: ...What can’t be ignored -- Nonlinear equations -- Approximation of functions and data -- Numerical...
獲取全文
電子 電子書
8
出版 2015
書本目錄: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
獲取全文
電子 電子書
9
出版 2006
書本目錄: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
獲取全文
電子 電子書
10
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
11
出版 2007
書本目錄: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
獲取全文
電子 電子書
12
出版 2007
書本目錄: ... Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event...
獲取全文
電子 電子書
14
出版 2014
書本目錄: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
獲取全文
電子 電子書
15
Yee, Thomas W., Yee, Thomas W.
出版 2015
書本目錄: ... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...
獲取全文
電子 電子書
16
出版 2014
書本目錄: ... of independence -- Empirical -- Divergence Minimizers for Hadamard Differentiable Functionals -- Advances...
獲取全文
電子 電子書
17
出版 2008
書本目錄: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
獲取全文
電子 電子書
18
出版 2007
書本目錄: ... of Node Information on Autonomous Load Distribution Method -- Methodology of Developing Computer-Based...
獲取全文
電子 電子書
19
出版 2005
書本目錄: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
獲取全文
電子 電子書
20
出版 2005
書本目錄: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
獲取全文
電子 電子書