Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmes developing » programme developing, programs developing, programming developing
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, program development
computers https » computing https, computers gtt, computers help
programmes developing » programme developing, programs developing, programming developing
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, program development
computers https » computing https, computers gtt, computers help
1
Published 2005
Table of Contents:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
5
Subjects:
“...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
6
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...”View full text
Electronic
eBook
11
Table of Contents:
“... Appendix -- C++ for R programmers -- Indices -- References ....”
View full text
View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“...Part 1 - Curriculum Innovation -- Preparing teachers for sustainable development in higher...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
15
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
16
Table of Contents:
“... and locally optimal designs for Gaussian Universal Kriging -- Exploitation, integration and statistical...”
View full text
View full text
Electronic
eBook
17
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... service -- 2 Conceptual framework underlying the development of a positive youth development program...”View full text
Electronic
eBook
19
Table of Contents:
“...Basic Results -- Inversion Formulae and Practical Results -- The Method of Series Expansion...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”View full text
Electronic
eBook