Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
69.2% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Process algebra
Cambridge University Press
J. C. M. Baeten
,
W. P. Weijland
graph
theorem
prove
bpa
specification
processes
bisimulation
axioms
trace
define
recursive
node
graphs
nodes
acp
defined
equations
consider
equation
atomic
branching
operators
bergstra
finite
abstraction
lemma
step
axiom
models
function
deadlock
solution
assume
exercises
ded
edges
merge
aip
edge
failure
abb
acc
bcc
caa
ebb
renaming
concurrency
path
definable
composition
Рік:
1990
Мова:
english
Файл:
DJVU, 1.55 MB
Ваші теги:
0
/
0
english, 1990
2
Коррозийная стойкость материалов в галогенах и их соединениях
Мигай Л.Л.
,
Тарицына Т.А.
cpena
ochobe
6e3
bosayx
xh65mb
xh78t
bosayxa
bpa7
12x18h10t
bp0
c17
cepe6po
cmon
j168
cr3
h70m
c15
ckh
febrs
j163
turan
6es
cram
cran
j180
bes
c13
jho6aa
ji80
10x17h13m3t
ckc
j159
kepamuka
rab
12x13
12x17
bpa5
chena
cyxoit
jho6an
koun
matepuaa
matepuan
o6xh28m
roponaact
6pomud
amomunnit
baaxunit
boslyx
bosnyx
Мова:
russian
Файл:
PDF, 10.85 MB
Ваші теги:
0
/
0
russian
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×