1
Publicado 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ...-topped Degrees -- Mitosis in Computational Complexity -- Models of Intuitionistic Set Theories over...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Ligazón do recurso
Electrónico eBook
5
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Ligazón do recurso
Electrónico eBook
7
8
por Klawonn, Frank., Klawonn, Frank.
Publicado 2012
Table of Contents: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Ligazón do recurso
Electrónico eBook
10
Table of Contents: ...What can’t be ignored -- Nonlinear equations -- Approximation of functions and data -- Numerical...
Ligazón do recurso
Electrónico eBook
11
Publicado 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Ligazón do recurso
Electrónico eBook
12
por Brandt, Siegmund., Brandt, Siegmund.
Publicado 2014
Table of Contents: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
Ligazón do recurso
Electrónico eBook
13
Publicado 2013
Table of Contents: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Ligazón do recurso
Electrónico eBook
15
16
Publicado 2015
Table of Contents: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Ligazón do recurso
Electrónico eBook
18
por Chesi, Graziano., Chesi, Graziano.
Publicado 2011
Table of Contents: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
Ligazón do recurso
Electrónico eBook
20
Table of Contents: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
Ligazón do recurso
Electrónico eBook