Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
problem formalization » problem normalization, problem formulation, problem virtualization
formalization https » organization https, globalization https, visualization https
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
problem formalization » problem normalization, problem formulation, problem virtualization
formalization https » organization https, globalization https, visualization https
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
Udgivet 2013
Indholdsfortegnelse:
“... -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2014
Indholdsfortegnelse:
“... Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2015
Indholdsfortegnelse:
“... of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From...”Få fuldtekst
Electronisk
eBog
4
Indholdsfortegnelse:
“...Introduction -- Formal Methods for PDE Systems -- Differential Elimination for Analytic Functions...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Udgivet 2014
Indholdsfortegnelse:
“... Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2008
Indholdsfortegnelse:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Få fuldtekst
Electronisk
eBog
8
Fag:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Indholdsfortegnelse:
“... Defined Sets -- Relations -- Functions -- Applications -- The AVL Tree Miracle -- Discrete Mathematics...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High...”Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“...Independent functional observations -- The functional linear model -- Dependent functional data...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2011
Indholdsfortegnelse:
“... of Coalescent Theory -- Networks in Computational Systems Biology -- Practical Use of the Gene Ontology...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2014
Indholdsfortegnelse:
“... Sandwich Plates of Linearly Varying Thickness -- Solve Shortest Paths Problem by using Artificial Bee...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“... -- Regional and local evaluation -- Land use functions — a multifunctionality approach to assess the impact...”Få fuldtekst
Electronisk
eBog
18
Fag:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“... Theory -- The Rademacher Complexity of Linear Transformation Classes -- Function Classes That Approximate...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“...Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra...”Få fuldtekst
Electronisk
eBog