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