Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
19.3% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
The Theory of Timed I O Automata, Second Edition
Morgan & Claypool Publishers
Dilsun Kaynar
,
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
timed
automata
trace
automaton
execution
systems
traces
trajectory
theorem
variables
tioa
trajectories
lemma
clock
simulation
hybrid
sequences
composition
fragment
finite
define
discrete
tioas
external
enabled
framework
lynch
input
suppose
safety
admissible
satisfies
limit
defined
queue
function
αi
verification
exists
output
eff
timedchannel
compatible
infinite
invariant
modeling
algorithms
bounds
comparable
volume
Рік:
2010
Мова:
english
Файл:
PDF, 739 KB
Ваші теги:
0
/
0
english, 2010
2
The Theory of Timed I-O Automata
Kaynar D.K.
,
Lynch N.
,
Segala R.
,
Vaandrage F.
iml
timed
automata
ffx
mobk015
trace
automaton
execution
traces
trajectory
april
lynch.cls
variables
theorem
tioa
trajectories
clock
systems
simulation
lemma
fragment
discrete
enabled
composition
tioas
external
finite
input
define
framework
hybrid
function
eff
suppose
timedchannel
output
queue
αi
τ1
comparable
defined
timeout
bounds
extend
invariant
specification
lstate
check
definitions
exists
Мова:
english
Файл:
PDF, 691 KB
Ваші теги:
0
/
0
english
3
The Theory of Timed I-O Automata
MC
Kaynar D.K.
,
Lynch N.
,
Segala R.
,
Vaandrager F.
iml
timed
automata
ffx
mobk015
trace
automaton
execution
traces
trajectory
april
lynch.cls
variables
theorem
tioa
trajectories
clock
systems
simulation
lemma
fragment
discrete
enabled
composition
tioas
external
finite
input
define
framework
hybrid
function
eff
suppose
timedchannel
output
queue
αi
τ1
comparable
defined
timeout
bounds
extend
invariant
specification
lstate
check
definitions
exists
Рік:
2006
Мова:
english
Файл:
PDF, 656 KB
Ваші теги:
0
/
0
english, 2006
4
The Theory of Timed I/O Automata
Morgan and Claypool Publishers
Dilsun K. Kaynar
,
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
iml
timed
automata
ffx
mobk015
trace
automaton
execution
traces
trajectory
april
lynch.cls
variables
theorem
tioa
trajectories
clock
systems
simulation
lemma
fragment
discrete
enabled
composition
tioas
external
finite
input
define
framework
hybrid
function
eff
suppose
timedchannel
output
queue
αi
τ1
comparable
defined
timeout
bounds
extend
invariant
specification
lstate
check
definitions
exists
Рік:
2006
Мова:
english
Файл:
PDF, 2.16 MB
Ваші теги:
0
/
0
english, 2006
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×