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í:
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
methods papers » method papers, methods pattern, methods part
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
methods papers » method papers, methods pattern, methods part
1
Vydáno 2006
Obsah:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2013
Obsah:
“... Secret Sharing with Graph States -- Testing Embedded Memories: A Survey -- Quicksort and Large Deviations...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2014
Obsah:
“... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2015
Obsah:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2005
Obsah:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2007
Obsah:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2006
Obsah:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2010
Témata:
“...Programming languages (Electronic computers)....”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2012
Obsah:
“... Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2007
Obsah:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2015
Obsah:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2015
Obsah:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2015
Obsah:
“... Test Cases Minimization for Object Oriented Programs....”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2005
Obsah:
“... of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete...”Získat plný text
Elektronický zdroj
E-kniha