Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
22.6% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Труды Института системного программирования РАН. Том 11. Математические методы и алгоритимы. 2006 г.
ИСП РАН
Под редакцией чл.-корр. РАН В.П. Иванникова
mξ
τ1
τ2
function
σ2
σ1
π1
π2
assert
ψs
gπ
entry
iff
psps
trajectories
pspace
skeletons
δi
psp
addr
switching
7;5
amode
exists
polynomial
runs
security
total
valuein
τn
ωψ
algorithm
alice
computation
compute
dfas
discrete
ermσ
exiti
inversion
loops
proposition
slowdown
specuv
trajectory
whereas
δ1
πi
finite
17b7.4
Рік:
2006
Мова:
russian
Файл:
PDF, 4.64 MB
Ваші теги:
0
/
0
russian, 2006
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×