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