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