Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
functions computational » functions computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
function computation » function computing, function decomposition, section computational
validating method » validation methods, locating method, estimating method
method cases » method case, method cassels, method caused
functions computational » functions computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
function computation » function computing, function decomposition, section computational
validating method » validation methods, locating method, estimating method
method cases » method case, method cassels, method caused
1
Опубликовано 2010
Оглавление:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2007
Оглавление:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2015
Оглавление:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2010
Оглавление:
“... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“...-Order Groups -- Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2007
Оглавление:
“...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2013
Оглавление:
“...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2007
Оглавление:
“...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2015
Оглавление:
“... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“... and Analysis.-3.2.1 Safety.-3.2.2 Validity -- 3.2.3 Predictive Value -- 3.3 Treatments.-3.3.1 Abortion...”
Полный текст
Полный текст
Электронный ресурс
eКнига