1
出版事項 2006
目次: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
全文の入手
電子媒体 eBook
2
出版事項 2013
目次: ... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...
全文の入手
電子媒体 eBook
3
目次: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
全文の入手
電子媒体 eBook
4
出版事項 2014
目次: ... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...
全文の入手
電子媒体 eBook
5
著者: Barker, Philip., Barker, Philip.
出版事項 2007
目次: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
全文の入手
電子媒体 eBook
6
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
7
著者: Saeed, Walid
出版事項 2005
主題: ...Programming language(Electronic computer)...
全文の入手
学位論文
8
出版事項 2006
目次: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
全文の入手
電子媒体 eBook
9
出版事項 2007
目次: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
全文の入手
電子媒体 eBook
10
主題: ...Computational intelligence....
全文の入手
電子媒体 eBook
11
出版事項 2012
目次: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
全文の入手
電子媒体 eBook
12
出版事項 2008
目次: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
全文の入手
電子媒体 eBook
13
出版事項 2015
目次: ... on Non-Invasive Computed Tomography Images -- Formal and Heuristic Model Averaging Methods for Predicting...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...
全文の入手
電子媒体 eBook
15
出版事項 2013
目次: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
全文の入手
電子媒体 eBook
16
出版事項 2013
目次: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
全文の入手
電子媒体 eBook
17
出版事項 2007
目次: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
全文の入手
電子媒体 eBook
18
出版事項 2007
目次: ... -- Building a Fuzzy Ontology of Edutainment Using OWL -- A Modeling and Assessing Method Based on Bayesian...
全文の入手
電子媒体 eBook
19
出版事項 2007
目次: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
全文の入手
電子媒体 eBook
20
出版事項 2010
目次: ... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...
全文の入手
電子媒体 eBook