Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
problems static » problems state, problems semantic, problems stochastic
static https » state https, statistics https, state http
using https » using http, nursing https, aging https
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
problems static » problems state, problems semantic, problems stochastic
static https » state https, statistics https, state http
using https » using http, nursing https, aging https
1
Vydáno 2005
Obsah:
“...Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi...”Získat plný text
Elektronický zdroj
E-kniha
2
Témata:
“...Solid Mechanics. https://scigraph.springernature.com/ontologies/product-market-codes/T15010...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Získat plný text
Elektronický zdroj
E-kniha
4
Obsah:
“... and Hemivarational Inequalities -- 6. Modeling of Contact Problems -- 7. Analysis of Static Contact Problems -- 8...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“... -- Variational Problems for Functionals Involving the Value Distribution -- Bi-Modal Cohesive Energies...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2011
Obsah:
“... Space‐Time -- Part III Zeta Functions in Physics and Mathematics.-28. G. Fucci, K. KIRSTEN and P...”Získat plný text
Elektronický zdroj
E-kniha
7
Obsah:
“... with Friction in Elasticity -- Static Problems -- Quasistatic Problems....”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2014
Obsah:
“... Sandwich Plates of Linearly Varying Thickness -- Solve Shortest Paths Problem by using Artificial Bee...”Získat plný text
Elektronický zdroj
E-kniha
9
Obsah:
“...1. Non-standard packing problems -- 2. Tetris-like items -- 3. Model reformulations and tightening...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2013
Obsah:
“... Fermentation at Slightly Alkaline and Acidic pHs: Novel Functions of Hydrogenase 4 (hyf) and Hydrogenase 2 (hyb...”Získat plný text
Elektronický zdroj
E-kniha
11
Témata:
“...Hydrogeology. https://scigraph.springernature.com/ontologies/product-market-codes/G19005...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... for Storing Pareto Sets in Multiobjective Evolutionary Algorithms with Elitism -- Scalable Test Problems...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2006
Obsah:
“... Graph Theoretical Method for Analyzing Static and Dynamic Protein Associations -- Comparison of Protein...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2013
Obsah:
“... -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2013
Obsah:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2007
Obsah:
“... Indistinguishability and Static Equivalence -- Secrecy Analysis in Protocol Composition Logic -- A Type-Theoretic...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“... -- Personal Knowledge Network Reconfiguration Based on Brain Like Function Using Self Type Matching Strategy...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2015
Obsah:
“... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”Získat plný text
Elektronický zdroj
E-kniha