Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problems computational » systems computational, problems computing, processing computational
functionality testing » functionality setting, functional testing, functionality using
computational https » computation https, computational arts, computational hit
https functionality » its functionality, bags functionality, cross functionality
testing https » teaching https, being https, writing https
problems computational » systems computational, problems computing, processing computational
functionality testing » functionality setting, functional testing, functionality using
computational https » computation https, computational arts, computational hit
https functionality » its functionality, bags functionality, cross functionality
testing https » teaching https, being https, writing https
1
Publicado 2015
Table of Contents:
“... Diverse Redundant Detectors -- Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey...”Ligazón do recurso
Electrónico
eBook
2
por Aumasson, Jean-Philippe., Aumasson, Jean-Philippe., Meier, Willi., Phan, Raphael C.-W., Henzen, Luca.
Publicado 2014
Table of Contents:
“.... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....”Publicado 2014
Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“.... Assessment of Executive Functioning with the Test of Verbal Conceptualization and Fluency (TVCF) -- Chapter...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2005
Table of Contents:
“...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”Ligazón do recurso
Electrónico
eBook
12
Table of Contents:
“... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
13
Publicado 2013
Table of Contents:
“...Foreword -- Preface -- Part I Numerical Methods for Nonlinear Problems -- The Finite Element...”Ligazón do recurso
Electrónico
eBook
14
Table of Contents:
“...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2006
Table of Contents:
“... 3. Applications -- Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional...”Ligazón do recurso
Electrónico
eBook
17
Table of Contents:
“...Introduction -- Problem Solving: Practical Examples and Additional Properties -- The Problem...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
18
Publicado 2008
Table of Contents:
“... and their research potential for ecosystem studies -- Testing the role of insects for ecosystem functioning....”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Genetic Algorithm Based Test Case Generation Using Sequence Diagrams -- LACAIS: Learning Automata Based...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2007
Table of Contents:
“... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...”Ligazón do recurso
Electrónico
eBook