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í:
programs evaluation » program evaluation, programs education, projects evaluation
evaluation https » education https
https function » its function, sites function, ups function
tests https » pests http, stress https, agents https
programs evaluation » program evaluation, programs education, projects evaluation
evaluation https » education https
https function » its function, sites function, ups function
tests https » pests http, stress https, agents https
1
Vydáno 2010
Obsah:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2015
Obsah:
“... of telecommunication protocol logs -- Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”Získat plný text
Elektronický zdroj
E-kniha
5
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
6
Vydáno 2007
Obsah:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2010
Obsah:
“... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2012
Obsah:
“... Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2013
Obsah:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Získat plný text
Elektronický zdroj
E-kniha
12
Obsah:
“... Measuring Multiple Abilities -- Models for Adaptive Test Assembly -- Designing Item Pools for Programs...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
13
Obsah:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2011
Obsah:
“... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2006
Obsah:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2005
Obsah:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2005
Obsah:
“...Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2010
Obsah:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Získat plný text
Elektronický zdroj
E-kniha