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