търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
Springer-Verlag Berlin Heidelberg
Samson Abramsky
,
Radha Jagadeesan (auth.)
,
Andrew D. Gordon (eds.)
nite
decidable
reachable
attractor
probabilistic
graph
plcs
scheduler
exists
lossy
markov
memory
reachability
errors
prob
probability
bscc
systems
transition
fault
labeled
lcs
reaches
unique
automaton
checking
corruption
deterministic
duplicate
duplication
enabled
modes
processes
retry
surely
assume
bool
channels
consider
dual
equivalent
existential
implies
measurable
nplcs
obs
policy
rate
remark
scc
Година:
2003
Език:
english
Файл:
PDF, 24.82 MB
Вашите тагове:
0
/
0
english, 2003
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×