1
Publicado em 2006
Sumário: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2013
Sumário: ... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Sumário: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2014
Sumário: ... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
por Barker, Philip., Barker, Philip.
Publicado em 2007
Sumário: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2007
Sumário: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
por Saeed, Walid
Publicado em 2005
Assuntos: ...Programming language(Electronic computer)...
Obter o texto integral
Tese
8
Publicado em 2006
Sumário: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2007
Sumário: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Assuntos: ...Computational intelligence....
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2012
Sumário: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2008
Sumário: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2015
Sumário: ... on Non-Invasive Computed Tomography Images -- Formal and Heuristic Model Averaging Methods for Predicting...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2010
Sumário: ... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2013
Sumário: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2013
Sumário: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2007
Sumário: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2007
Sumário: ... -- Building a Fuzzy Ontology of Edutainment Using OWL -- A Modeling and Assessing Method Based on Bayesian...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2007
Sumário: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2010
Sumário: ... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico