1
Taula de continguts: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
Obtenir text complet
Electrònic eBook
2
3
Publicat 2006
Taula de continguts: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Obtenir text complet
Electrònic eBook
5
per Yee, Thomas W., Yee, Thomas W.
Publicat 2015
Taula de continguts: ... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
Obtenir text complet
Electrònic eBook
9
per Saeed, Walid
Publicat 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Obtenir text complet
Thesis
10
Publicat 2005
Taula de continguts: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization...
Obtenir text complet
Electrònic eBook
12
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Obtenir text complet
Electrònic eBook
15
16
17
Publicat 2013
Taula de continguts: ... Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Obtenir text complet
Electrònic eBook
19
per Klawonn, Frank., Klawonn, Frank.
Publicat 2012
Taula de continguts: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
Obtenir text complet
Electrònic eBook