1
出版 2006
書本目錄: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
3
出版 2007
書本目錄: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ... Robust Method for Nose Detection under Various Conditions -- Segmentation of Moving Cells in Bright Field...
獲取全文
電子 電子書
5
出版 2008
書本目錄: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
獲取全文
電子 電子書
6
書本目錄: ... and Eigenvectors -- 4 Matrices, Norms and Conditioning -- 5 Iterative Methods -- 6 Polynomial Interpolation -- 7...
獲取全文
電子 電子書
7
8
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
9
出版 2007
書本目錄: ... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...
獲取全文
電子 電子書
10
Barker, Philip., Barker, Philip.
出版 2007
書本目錄: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
獲取全文
電子 電子書
11
出版 2013
書本目錄: ... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...
獲取全文
電子 電子書
12
書本目錄: ... demonstration -- 3. Computationally supported study of quadratic functions depending on parameters -- 4...
獲取全文
電子 電子書
13
主題: ...Computational intelligence....
獲取全文
電子 電子書
14
出版 2012
書本目錄: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
獲取全文
電子 電子書
15
Lopez, Cesar., Lopez, Cesar.
出版 2014
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
16
出版 2008
書本目錄: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
獲取全文
電子 電子書
17
書本目錄: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
獲取全文
電子 電子書
18
出版 2014
書本目錄: ... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...
獲取全文
電子 電子書
19
出版 2008
書本目錄: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
獲取全文
電子 電子書
20
出版 2006
書本目錄: ... of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops...
獲取全文
電子 電子書