1
出版 2006
书本目录: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...
获取全文
电子 电子书
3
书本目录: ... -- Limits and Continuity of Functions -- The Derivative of a Function -- Applications of the Derivative...
获取全文
电子 电子书
4
书本目录: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
获取全文
电子 电子书
5
出版 2008
书本目录: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
获取全文
电子 电子书
6
出版 2007
书本目录: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
获取全文
电子 电子书
7
出版 2014
书本目录: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
获取全文
电子 电子书
8
出版 2006
书本目录: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
获取全文
电子 电子书
9
出版 2007
书本目录: ... Computational Discovery of Chemical Reaction Networks Using Genetic Programming -- Discovery of Genetic Networks...
获取全文
电子 电子书
10
出版 2010
书本目录: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
获取全文
电子 电子书
11
Barker, Philip., Barker, Philip.
出版 2007
书本目录: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
获取全文
电子 电子书
12
出版 2007
书本目录: ... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...
获取全文
电子 电子书
13
14
出版 2012
书本目录: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
获取全文
电子 电子书
15
出版 2007
书本目录: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
获取全文
电子 电子书
16
出版 2008
书本目录: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
获取全文
电子 电子书
17
出版 2010
书本目录: ... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...
获取全文
电子 电子书
18
出版 2015
书本目录: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
获取全文
电子 电子书
19
Klawonn, Frank., Klawonn, Frank.
出版 2012
书本目录: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
获取全文
电子 电子书
20
出版 2014
书本目录: ...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...
获取全文
电子 电子书