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