1
出版 2006
書本目錄: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...
獲取全文
電子 電子書
3
書本目錄: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
獲取全文
電子 電子書
4
出版 2014
書本目錄: ... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...
獲取全文
電子 電子書
5
Barker, Philip., Barker, Philip.
出版 2007
書本目錄: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
獲取全文
電子 電子書
6
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
7
主題: ...Computational intelligence....
獲取全文
電子 電子書
8
9
出版 2006
書本目錄: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
獲取全文
電子 電子書
10
出版 2012
書本目錄: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
獲取全文
電子 電子書
11
出版 2008
書本目錄: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
獲取全文
電子 電子書
12
出版 2015
書本目錄: ... on Non-Invasive Computed Tomography Images -- Formal and Heuristic Model Averaging Methods for Predicting...
獲取全文
電子 電子書
13
出版 2010
書本目錄: ... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...
獲取全文
電子 電子書
14
出版 2013
書本目錄: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
獲取全文
電子 電子書
15
出版 2013
書本目錄: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
獲取全文
電子 電子書
16
出版 2007
書本目錄: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
獲取全文
電子 電子書
17
出版 2007
書本目錄: ... -- Building a Fuzzy Ontology of Edutainment Using OWL -- A Modeling and Assessing Method Based on Bayesian...
獲取全文
電子 電子書
18
出版 2007
書本目錄: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
獲取全文
電子 電子書
19
書本目錄: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
獲取全文
電子 電子書
20
出版 2008
書本目錄: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
獲取全文
電子 電子書