Αναζήτηση λέξεων κλειδιών

  • Main
  • Αναζήτηση λέξεων κλειδιών
10
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
systems
safety
approach
task
tdl
petri
execution
engineering
transition
configuration
module
modular
models
priority
assl
modeling
formal
components
function
modules
tasks
cases
adaptive
checking
symbolic
methods
framework
transitions
constraints
analysis
input
resource
product
specific
legacy
nets
techniques
relay
configurations
figure
runtime
graph
output
autonomic
architecture
verification
solutions
different
specification
required
Έτος:
2011
Γλώσσα:
english
Αρχείο:
PDF, 4.54 MB
0 / 4.0
english, 2011
12
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
systems
safety
approach
task
tdl
petri
execution
engineering
transition
configuration
module
modular
models
priority
assl
modeling
formal
components
function
modules
tasks
cases
adaptive
checking
symbolic
methods
framework
transitions
constraints
analysis
input
resource
product
legacy
nets
specific
techniques
relay
configurations
figure
runtime
graph
output
autonomic
architecture
solutions
verification
specification
different
required
Έτος:
2011
Γλώσσα:
english
Αρχείο:
PDF, 3.76 MB
0 / 0
english, 2011
13
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
systems
safety
approach
task
tdl
petri
execution
engineering
transition
configuration
module
modular
models
priority
assl
modeling
formal
components
function
modules
tasks
cases
adaptive
checking
symbolic
methods
framework
transitions
constraints
analysis
input
resource
product
legacy
nets
specific
techniques
relay
configurations
figure
runtime
graph
output
autonomic
architecture
solutions
verification
specification
different
required
Έτος:
2011
Γλώσσα:
english
Αρχείο:
PDF, 3.87 MB
0 / 0
english, 2011
20
Фазовые переходы кристалл-жидкость-пар и термодинамическое подобие

Фазовые переходы кристалл-жидкость-пар и термодинамическое подобие

Скрипов В.П., Файзуллин М.З.
плавления
линии
веществ
жидкость
рис
жидкости
давления
равновесия
температуры
кристалл
критической
фазового
раствора
точки
растворов
мпа
объема
фазы
давлении
состояний
фаз
переход
значения
phys
величины
системы
avsl
зависимости
зависимость
линий
подобия
энтропии
точке
assl
состояния
фазовый
соотношения
скрипов
в.п
аргона
кристалла
уравнение
уравнения
вещества
давление
данных
данные
использованием
экспериментальных
область
Έτος:
2003
Γλώσσα:
russian
Αρχείο:
DJVU, 1.41 MB
0 / 0
russian, 2003
21
国外航空电源标准资料 2

国外航空电源标准资料 2

国外航空编辑部
std
rra
essl
nssl
assl
cere
bie
cnn
faas
nnn
ooo
prr
rrm
arie
beb
bes
cesses
crete
ean
neces
wea
21480a
arr
asr
brb
c.ls
creer
etree
irae
mre
prb
prs
Έτος:
1977
Γλώσσα:
chinese
Αρχείο:
PDF, 35.69 MB
0 / 0
chinese, 1977