1
Published 2006
Table of Contents: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
View full text
Electronic eBook
2
by Saeed, Walid
Published 2005
Subjects: ...Programming language(Electronic computer)...
View full text
Thesis
3
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
View full text
Electronic eBook
8
by Klawonn, Frank., Klawonn, Frank.
Published 2012
Table of Contents: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... in Modeling and Simulation -- Fuzzy Xor Classes from Quantum Computing -- New method for non-linear correction...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
View full text
Electronic eBook
15
by Yee, Thomas W., Yee, Thomas W.
Published 2015
Table of Contents: ... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...
View full text
Electronic eBook
16
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
17
Table of Contents: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...: Non-linear and Dynamic Models -- Computational Statistics and Data Mining Methods for Alcohol Studies...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
View full text
Electronic eBook
20
by Koh, Tieng Wei
Published 2012
Subjects: ...Object-oriented programming (Computer science)...
View full text
Thesis