Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
programs using » programming using
testing https » teaching https, being https, writing https
using https » using http, nursing https, aging https
1
Obálka
Vydáno 2010
Obsah: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2008
Obsah: “...-Logic Programming -- EasyCheck — Test Data for Free....”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2010
Obsah: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
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
Přidat do oblíbených
Uloženo v:
5
Obálka
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
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2007
Obsah: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2012
Obsah: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
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
Přidat do oblíbených
Uloženo v:
9
Obálka
Vydáno 2007
Obsah: “...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Autor Hunt, John., Hunt, John.
Vydáno 2014
Obsah: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2012
Obsah: “... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
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
Přidat do oblíbených
Uloženo v:
13
Obálka
Vydáno 2005
Obsah: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2014
Obsah: “... Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
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
Přidat do oblíbených
Uloženo v:
16
Obálka
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
Přidat do oblíbených
Uloženo v:
17
Obálka
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
Přidat do oblíbených
Uloženo v:
18
Obálka
Vydáno 2010
Obsah: “... into Existential 2-HORN -- Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT -- sQueezeBF...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Vydáno 2015
Obsah: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Autor Li, Xingfeng., Li, Xingfeng.
Vydáno 2014
Obsah: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání