提案スペルによる検索:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
programming models » programming model
methods classes » methods atlases, methods case, methods charles
models methods » modern methods
1
出版事項 2006
目次: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
全文の入手
電子媒体 eBook
2
目次: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
全文の入手
電子媒体 eBook
3
著者: Saeed, Walid
出版事項 2005
主題: ...Programming language(Electronic computer)...
全文の入手
学位論文
4
出版事項 2005
目次: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization...
全文の入手
電子媒体 eBook
6
出版事項 2008
目次: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
全文の入手
電子媒体 eBook
8
著者: Klawonn, Frank., Klawonn, Frank.
出版事項 2012
目次: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
全文の入手
電子媒体 eBook
10
出版事項 2013
目次: ... Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements...
全文の入手
電子媒体 eBook
11
出版事項 2006
目次: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
全文の入手
電子媒体 eBook
12
出版事項 2015
目次: ... in Modeling and Simulation -- Fuzzy Xor Classes from Quantum Computing -- New method for non-linear correction...
全文の入手
電子媒体 eBook
13
出版事項 2010
目次: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
全文の入手
電子媒体 eBook
14
出版事項 2007
目次: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
全文の入手
電子媒体 eBook
15
著者: Yee, Thomas W., Yee, Thomas W.
出版事項 2015
目次: ... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...
全文の入手
電子媒体 eBook
16
目次: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
全文の入手
電子媒体 eBook
17
著者: Koh, Tieng Wei
出版事項 2012
主題: ...Object-oriented programming (Computer science)...
全文の入手
学位論文
18
出版事項 2006
目次: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
全文の入手
電子媒体 eBook
19
著者: Argyros, Ioannis K., Argyros, Ioannis K.
出版事項 2008
目次: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
全文の入手
電子媒体 eBook
20