Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program development » product development
function reduction » functional reduction, function prediction, function production
reduction program » reduction programs, education program, education programs
https » http
program development » product development
function reduction » functional reduction, function prediction, function production
reduction program » reduction programs, education program, education programs
https » http
1
Vydáno 2008
Obsah:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2007
Obsah:
“... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2013
Obsah:
“... Subdifferential Operators (R.I. Boţ and E.R. Csetnek) -- 7. A q-Analog of Euler's Reduction Formula for the Double...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2010
Obsah:
“...: IFCS Session: New Developments in Two or Highermode Clustering; Model Based Clustering and Reduction...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2013
Obsah:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“... Approach -- A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... -- Developments in Data Structure Research During the First 25 Years of FSTTCS -- Inference Systems for Logical...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“...New Developments in Quantum Algorithms -- Persistent Homology under Non-uniform Error...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Získat plný text
Elektronický zdroj
E-kniha
15
Obsah:
“...Algorithmic Problems & Their Complexity -- Fundamental Complexity Classes -- Reductions...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2010
Obsah:
“... Extended Abstract State Machines -- Finding Reductions Automatically -- On Complete Problems...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2010
Obsah:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2014
Obsah:
“... Societies -- 17. About the Need of Resource Efficiency Programs: The Editors’ View -- Index....”Získat plný text
Elektronický zdroj
E-kniha
19
Obsah:
“... -- Modeling Longitudinal Responses using Generalized Least Squares -- Case Study in Data Reduction -- Overview...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
20
Autor Krapivin, Vladimir F., Krapivin, Vladimir F., Varotsos, Costas A., Soldatov, Vladimir Yu.
Vydáno 2015
Obsah:
“... diagnostics, estimation of the scale of damage and aftermath reduction of stressful natural processes...”Vydáno 2015
Získat plný text
Elektronický zdroj
E-kniha