1
Obsah: ... -- Combinatorial Analysis -- Sequences and Series -- Mathematics of Finance -- Functions of one Independent...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2008
Obsah: ... Formulas with Negation -- Debugging -- Declarative Diagnosis of Missing Answers in Constraint Functional...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2005
Obsah: ... Algebraically at Tractable Quantified Boolean Formulas -- Derandomization of Schuler’s Algorithm for SAT...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2010
Obsah: ... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2013
Obsah: ...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2006
Obsah: ... -- Satisfiability Checking of Non-clausal Formulas Using General Matings -- Determinization of Resolution...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2007
Obsah: ... Circuit to CNF Conversion -- Mapping CSP into Many-Valued SAT -- Circuit Based Encoding of CNF Formula...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2007
Obsah: ... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2006
Obsah: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2007
Obsah: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2012
Obsah: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Získat plný text
Elektronický zdroj E-kniha
12
Autor Simon, Martin., Simon, Martin.
Vydáno 2015
Obsah: ...Part I: Probabilistic interpretation of EIT -- Mathematical setting.- Feynman-Kac formulae -- Part...
Získat plný text
Elektronický zdroj E-kniha
13
Obsah: ... ? -- Sequences and Series of Analytic Functions, the Residue Theorem -- Construction of Analytic Functions...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2015
Obsah: ... Dynamics of Axelrod’s Norms Games (M. Andrews, E. Thommes, M. Cojocaru) -- Computing least squares...
Získat plný text
Elektronický zdroj E-kniha
15
Obsah: ...Preface -- 1. Introduction -- 2. Sequences -- 3. Series -- 4. Limits of Functions -- 5. Continuity...
Získat plný text
Elektronický zdroj E-kniha
16
Obsah: ... Plane.-Complex Functions.-Analytic Functions I.-Analytic Functions II.-Elementary Functions I...
Získat plný text
Elektronický zdroj E-kniha
17
Autor Brandt, Siegmund., Brandt, Siegmund.
Vydáno 2014
Obsah: ... Calculations -- B) Combinatorics -- C) Formulas and Methods for the Computation of Statistical Functions -- D...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2014
Obsah: ... -- Boas-Type Formulas and Sampling in Banach Spaces with Applications to Analysis on Manifolds...
Získat plný text
Elektronický zdroj E-kniha
19
Autor Quirk, Thomas J., Quirk, Thomas J.
Vydáno 2012
Obsah: ... -- Confidence Interval About the Mean Using the TINV Function and Hypothesis Testing -- One-Group t-Test...
Získat plný text
Elektronický zdroj E-kniha
20
Autor Quirk, Thomas J., Quirk, Thomas J.
Vydáno 2012
Obsah: ... -- Confidence Interval About the Mean Using the TINV Function and Hypothesis Testing -- One-Group t-Test...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání