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
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
Elektronický zdroj E-kniha
13
Autor Grout, Ian A., Grout, Ian A.
Vydáno 2006
Obsah: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
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
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání