1
Опубликовано 2013
Оглавление: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2005
Оглавление: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2010
Оглавление: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Полный текст
Электронный ресурс eКнига
4
по Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Опубликовано 2012
Оглавление: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Полный текст
Электронный ресурс eКнига
5
по Hunt, John., Hunt, John.
Опубликовано 2014
Оглавление: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Полный текст
Электронный ресурс eКнига
7
по Klawonn, Frank., Klawonn, Frank.
Опубликовано 2012
Оглавление: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
Полный текст
Электронный ресурс eКнига
8
по Quarteroni, Alfio., Quarteroni, Alfio., Saleri, Fausto.
Опубликовано 2006
Оглавление: ...What can’t be ignored -- Nonlinear equations -- Approximation of functions and data -- Numerical...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Полный текст
Электронный ресурс eКнига
10
Оглавление: ...What can’t be ignored -- Nonlinear equations -- Approximation of functions and data -- Numerical...
Полный текст
Электронный ресурс eКнига
11
Оглавление: ...1. What can' t be ignored -- 2. Nonlinear equations -- 3. Approximation of functions and data -- 4...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2006
Оглавление: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2006
Оглавление: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2015
Оглавление: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2013
Оглавление: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2010
Оглавление: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Полный текст
Электронный ресурс eКнига
17
по Saeed, Walid
Опубликовано 2005
Предметы: ...Programming language(Electronic computer)...
Полный текст
Thesis
18
Опубликовано 2008
Оглавление: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Полный текст
Электронный ресурс eКнига
19
по Koh, Tieng Wei
Опубликовано 2012
Предметы: ...Object-oriented programming (Computer science)...
Полный текст
Thesis
20
Опубликовано 2007
Оглавление: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Полный текст
Электронный ресурс eКнига