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