Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
17.8% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Handbook of Truly Concurrent Process Algebra
Morgan Kaufmann
Yong Wang
bisimulation
denoted
corresponding
probabilistic
strongly
τi
prove
transition
pomset
omit
step
sending
αn
reading
sends
theorem
α1
receives
kab
sufficient
transitions
desired
encpkb
concurrent
encpkt
protocol
aptc
processes
resource
wso
hhp
ϕ
recursion
enckab
generates
signskt
alice
function
modulo
linear
weakly
branching
αp
atomic
computations
event
reverse
apptc
processing
x
Рік:
2023
Мова:
english
Файл:
EPUB, 14.43 MB
Ваші теги:
0
/
5.0
english, 2023
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×