Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
developing computer » development computer, developing competent, developing complex
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, programmes developing
method program » methods program, method programs, method programmed
computer https » computers https, computing https, computer arts
developing computer » development computer, developing competent, developing complex
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, programmes developing
method program » methods program, method programs, method programmed
computer https » computers https, computing https, computer arts
1
Опубликовано 2005
Оглавление:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2007
Оглавление:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2010
Оглавление:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2014
Оглавление:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Полный текст
Электронный ресурс
eКнига
5
Предметы:
“...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
Полный текст
Полный текст
Электронный ресурс
eКнига
6
Предметы:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Полный текст
Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”Полный текст
Электронный ресурс
eКнига
11
Предметы:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2007
Оглавление:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2011
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
14
Оглавление:
“... and locally optimal designs for Gaussian Universal Kriging -- Exploitation, integration and statistical...”
Полный текст
Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2012
Оглавление:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
17
Оглавление:
“...Basic Results -- Inversion Formulae and Practical Results -- The Method of Series Expansion...”
Полный текст
Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2005
Оглавление:
“...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2015
Оглавление:
“... Practitioners -- The Relevance of Transdisciplinary Teaching and Learning for the Successful Integration...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2005
Оглавление:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Полный текст
Электронный ресурс
eКнига