1
Wydane 2006
Spis treści: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
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
3
Wydane 2007
Spis treści: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2010
Spis treści: ... Robust Method for Nose Detection under Various Conditions -- Segmentation of Moving Cells in Bright Field...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
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
6
Wydane 2010
Spis treści: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Spis treści: ... and Eigenvectors -- 4 Matrices, Norms and Conditioning -- 5 Iterative Methods -- 6 Polynomial Interpolation -- 7...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
9
Spis treści: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2013
Spis treści: ... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2007
Spis treści: ... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Spis treści: ... demonstration -- 3. Computationally supported study of quadratic functions depending on parameters -- 4...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Hasła przedmiotowe: ...Computational intelligence....
Dokumenty pełnotekstowe
Elektroniczne E-book
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
od Lopez, Cesar., Lopez, Cesar.
Wydane 2014
Hasła przedmiotowe: ...Programming languages (Electronic computers)....
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2008
Spis treści: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Spis treści: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2014
Spis treści: ... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2008
Spis treści: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Spis treści: ... -- Tropical cyclogenesis and ecoinformatics methods -- Ecoinformatics and soil-plant formations -- Operational...
Dokumenty pełnotekstowe
Elektroniczne E-book