Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Software engineering
163
Artificial Intelligence
151
Artificial intelligence
151
Software Engineering
107
Computers
102
Application software
101
Statistics
101
více ...
Alternativní vyhledávání:
computational https » computation https, computational arts, computational hit
function testing » function tests, function test, mutation testing
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
computational https » computation https, computational arts, computational hit
function testing » function tests, function test, mutation testing
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
1
Autor Baker, Paul., Baker, Paul., Dai, Zhen Ru., Grabowski, Jens., Schieferdecker, Ina., Williams, Clay.
Vydáno 2008
Obsah:
“...Foundations -- Model-Based Testing -- Basics -- Library Example Introduction -- Functional Testing...”Vydáno 2008
Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2015
Obsah:
“... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2014
Obsah:
“... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“...Fundamentals of VLSI Testing -- Power Issues During Test -- Low-Power Test Pattern Generation...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2010
Obsah:
“... Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2014
Obsah:
“... II: PRACTICAL IMPLICATIONS -- Chapter 5. A Review of the Use of Executive Function Tasks...”Získat plný text
Elektronický zdroj
E-kniha
9
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
10
Vydáno 2008
Obsah:
“... Arithmetic Using Co-induction in Arbitrary Integer Base -- Pure, Declarative, and Constructive Arithmetic...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2010
Obsah:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2014
Obsah:
“... Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements...”Získat plný text
Elektronický zdroj
E-kniha
15
Autor Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Vydáno 2014
Obsah:
“...Introduction -- Preliminaries -- Specification of BLAKE -- Using BLAKE -- BLAKE in Software...”Vydáno 2014
Získat plný text
Elektronický zdroj
E-kniha
16
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
17
Vydáno 2006
Obsah:
“...BOLD Functional MRI -- Principles of Functional MRI -- fMRI Scanning Methodologies -- Experimental...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... in Immunotoxicity Testing -- The Local Lymph Node Assay and Skin Sensitization Testing -- Use of Contact...”Získat plný text
Elektronický zdroj
E-kniha
19
Obsah:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2007
Obsah:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Získat plný text
Elektronický zdroj
E-kniha