1
Bằng Argyros, Ioannis K., Argyros, Ioannis K.
Được phát hành 2008
Mục lục: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
lấy văn bản
Điện tử eBook
2
Bằng Saeed, Walid
Được phát hành 2005
Những chủ đề: ...Programming language(Electronic computer)...
lấy văn bản
Luận văn
3
Được phát hành 2006
Mục lục: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
lấy văn bản
Điện tử eBook
4
Bằng Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Được phát hành 2012
Mục lục: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
lấy văn bản
Điện tử eBook
6
Được phát hành 2007
Mục lục: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
lấy văn bản
Điện tử eBook
7
Bằng Yee, Thomas W., Yee, Thomas W.
Được phát hành 2015
Mục lục: ... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...
lấy văn bản
Điện tử eBook
8
Được phát hành 2006
Mục lục: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
lấy văn bản
Điện tử eBook
9
Bằng Saeed, Walid
Được phát hành 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
lấy văn bản
Luận văn
10
Được phát hành 2005
Mục lục: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization...
lấy văn bản
Điện tử eBook
12
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2014
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
13
Được phát hành 2010
Mục lục: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
lấy văn bản
Điện tử eBook
14
Được phát hành 2010
Mục lục: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
lấy văn bản
Điện tử eBook
15
Bằng Koh, Tieng Wei
Được phát hành 2012
Những chủ đề: ...Object-oriented programming (Computer science)...
lấy văn bản
Luận văn
16
17
Được phát hành 2006
Mục lục: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
lấy văn bản
Điện tử eBook
18
Bằng Chesi, Graziano., Chesi, Graziano.
Được phát hành 2011
Mục lục: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
lấy văn bản
Điện tử eBook
19
Được phát hành 2013
Mục lục: ... Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements...
lấy văn bản
Điện tử eBook
20
Được phát hành 2008
Mục lục: ...: Non-linear and Dynamic Models -- Computational Statistics and Data Mining Methods for Alcohol Studies...
lấy văn bản
Điện tử eBook