Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
testing static » testing sat, testing strategy
static https » state https, statistics https, state http
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
testing static » testing sat, testing strategy
static https » state https, statistics https, state http
1
Published 2014
Table of Contents:
“...Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver...”View full text
Electronic
eBook
2
Published 2008
Subjects:
“...Physical Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/C21001...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- A versatile hybrid testing system and its application in developing hybrid simulation methods...”View full text
Electronic
eBook
4
Table of Contents:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Invention, Creativity, Engagement: MaT Projects -- The Genesis and Development of MaT Projects...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”View full text
Electronic
eBook
8
Table of Contents:
“...Cracks in Rotating Shafts -- Typical Dynamic Behaviour of Cracked Shafts -- Rotor Testing for Crack...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... and Testing -- Traditional SRAM Fault Models and Test Practices -- Techniques for Detection of SRAM Cells...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Fatigue Testing of an Umbilical for Oil Production in Ultra-Deep Waters -- Dynamic Crack Propagation...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... the Efficiency of Cloud Computing -- Chapter 12. Object Oriented Modeling of IDEA for E-learning Security...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Surfaces.-Computation Method of Processing Time based on BP Neural Network and Genetic Algorithm...”View full text
Electronic
eBook
13
Table of Contents:
“....Strength -- 5.Stochastic Finite Element and Satellite Structure Design -- 6.Qualification Testing phase...”
View full text
View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Generation Network with Internet of Thing based on distributed Cloud Computing -- Genetic Algorithm based...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Models -- An Ontology based Approach for Test Case Reuse -- A Decision Driven Computer Forensic...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Testing by Static Analysis -- MODIFI: A MODel-Implemented Fault Injection Tool -- Automated Test Coverage...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“..., and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems -- Stepwise Development of Secure Systems...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Applications -- Safety Demonstration and Software Development -- Improving Test Coverage for UML State Machines...”View full text
Electronic
eBook
19
Table of Contents:
“... Approaches -- Direct Reconfiguration Using a Static Block -- Reconfiguration Using a Virtual Sensor...”
View full text
View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... for engineering computing systems -- Service-oriented architectures: models and development methods -- Models...”View full text
Electronic
eBook