αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Теоретическая информатика. Доказательство правильности. Учебное пособие
Веретельникова Е.Л.
touky
4to
yto
xlgst
toukh
nporpamma
bcex
cdr
takum
jia
nporpammbl
uto
xsmlst
4yto
mouxu
mph
touke
iph
kpome
9to
append
cxem
mporpammbl
nporpamm
4ro
false
tipumep
nph
otherwise
cxeme
hmeem
moaho
moxho
moxkho
mpa
o6pa30m
takhm
3ha
3ha4ehhe
cxembi
ecm
ecu
gonee
hhaykuhh
hyaho
juia
mbt
mporpamm
mporpamma
nporpammy
Έτος:
2016
Γλώσσα:
russian
Αρχείο:
PDF, 1.67 MB
Οι ετικέτες (tags) σας:
0
/
0
russian, 2016
2
Доказательство правильности программ
Мир
Андерсон Р.
точку
правильности
доказательства
справедливо
программы
утверждение
точки
блок
программ
индукции
доказать
программа
доказательство
чисел
gcd
cdr
следовательно
рис
утверждения
целых
точке
цикла
элементов
докажите
утверждений
значения
предположим
правильность
программирования
индуктивных
попадании
проверка
список
верификации
число
otherwise
имеем
схем
числа
программу
концов
помощью
значений
метод
показать
попадем
списка
xlgst
индукция
каждом
Έτος:
1982
Γλώσσα:
russian
Αρχείο:
DJVU, 3.44 MB
Οι ετικέτες (tags) σας:
0
/
0
russian, 1982
3
Теоретическая информатика. Доказательство правильности: учеб. пособие
ЭБС Лань
Веретельникова Е.Л.
точку
справедливо
утверждение
правильности
программы
доказать
точки
индукции
доказательства
блок
программа
доказательство
программ
следовательно
цикла
xlgst
утверждений
утверждения
irn
чисел
элементов
индуктивных
проверка
мемвеr
точке
числа
индукция
предположим
рис
целых
значения
попадании
cdr
функции
любого
метод
правильность
список
данных
значений
имеем
число
вычислений
показать
дает
докажем
первых
программе
точкой
iqn
Έτος:
2016
Γλώσσα:
russian
Αρχείο:
PDF, 1.65 MB
Οι ετικέτες (tags) σας:
0
/
0
russian, 2016
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×