Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
developing computers » developing computer, developing competent, developing competence
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, programmes developing
computers https » computing https, computers gtt, computers help
method program » methods program, method programs, method programmed
developing computers » developing computer, developing competent, developing competence
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, programmes developing
computers https » computing https, computers gtt, computers help
method program » methods program, method programs, method programmed
1
Publié 2005
Table des matières:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Accéder au texte intégral
Électronique
eBook
2
Publié 2007
Table des matières:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Accéder au texte intégral
Électronique
eBook
4
Publié 2014
Table des matières:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Accéder au texte intégral
Électronique
eBook
5
Sujets:
“...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
6
Sujets:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Accéder au texte intégral
Électronique
eBook
8
Publié 2005
Table des matières:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Accéder au texte intégral
Électronique
eBook
9
Publié 2008
Table des matières:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”Accéder au texte intégral
Électronique
eBook
10
Publié 2005
Table des matières:
“... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...”Accéder au texte intégral
Électronique
eBook
11
Sujets:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”Accéder au texte intégral
Électronique
eBook
13
Publié 2012
Table des matières:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Accéder au texte intégral
Électronique
eBook
14
Publié 2010
Sujets:
“...Programming languages (Electronic computers)....”Accéder au texte intégral
Électronique
eBook
15
Table des matières:
“... and locally optimal designs for Gaussian Universal Kriging -- Exploitation, integration and statistical...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
16
Publié 2011
Sujets:
“...Programming languages (Electronic computers)....”Accéder au texte intégral
Électronique
eBook
17
Table des matières:
“...Basic Results -- Inversion Formulae and Practical Results -- The Method of Series Expansion...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2008
Table des matières:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”Accéder au texte intégral
Électronique
eBook
19
Publié 2005
Table des matières:
“...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”Accéder au texte intégral
Électronique
eBook
20
Publié 2005
Table des matières:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Accéder au texte intégral
Électronique
eBook