Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
search
1
Automatisierung von Terminierungsbeweisen
Vieweg+Teubner Verlag
Christoph Walther (auth.)
,
Wolfgang Bibel (eds.)
algorithmus
succ
succp
false
gilt
addp
function
x:list
tai1
algorithmen
aile
gdw
n:number
flir
bool
erhalten
bezeichnet
terminierung
differenzalgorithmus
vgl
wobei
berechnet
y:number
spezifikation
anhang
satz
menge
abschnitt
cdr
element
urn
beweisen
filr
moore
operationen
rekursiven
verwenden
beispielsweise
ifx
boyer
operation
consp
d.h
verfahren
bedingung
ifsuccp
beweis
bedingungssubsumption
beschrankten
liefert
Jahr:
1991
Sprache:
german
Datei:
PDF, 10.28 MB
Ihre Tags:
0
/
0
german, 1991
2
中国京语词典
世界图书出版社
韦树关
,
颜海云
,
陈增瑜
ʔd
ʔ
圡
ʔb
ʔba
典
ʔda
渃
岞
碎
爫
核
ŋ2
巫
ʔa
ːi2
ŋ1
ːi
ʔan1
茹
mot8
岃
ʔbi
ŋ5
卥
ʔdi
翁
挧
ː
nai2
toi1
丐
咹
ʔdi1
khoŋ1
tsa
ȵa2
船
la2
ə
峼
呐
璏
琾
襖
ʔan
伮
ȵa
nam1
歮
Jahr:
2014
Sprache:
chinese
Datei:
PDF, 16.30 MB
Ihre Tags:
0
/
0
chinese, 2014
3
C/C++. Архив программ. Код с комментариями
Бином
Фридман А.
,
Клаидер Л.
,
Михаэлис М.
,
Шильдт X
node
cout
const
void
dooo1e
функция
char
функции
e1se
rлава
проrрамма
end1
inc1ude
файл
файла
значения
коrда
chi1d
array
c1ass
input
resu1t
va1
данных
строки
возвращает
whi1e
boo1
элемент
проrраммы
va1ue
tai1
current
цикл
число
рис
массива
key
узел
списка
значений
этоrо
iterator
элементов
fi1e
массив
типа
de1ete
класса
parent
Jahr:
2001
Sprache:
russian
Datei:
DJVU, 9.23 MB
Ihre Tags:
0
/
0
russian, 2001
4
Нариси з історії антропології. Школи, теорії, автори.
Grosset & Dunlap
Дельєж Р.
tbch
eboaiou
hki
hai1
bba
kha
npo
kehhh
tai1
aae
bill
aah
bohm
aioamha
a60
aioactba
koam
moprah
npau
boha
nepe
6yao
aop
ctbepa
aymky
hkmi1
kmtth
p03bmtky
tomy
aioamhm
caia
hanpmkaaa
hmx
lehhh
peairil
6yaa
cycniabctba
lmhom
oahoro
peairii1
6yb
cbo
eim
nepbicha
ockiabkm
pi3hmx
tiabkm
aapbih
aioam
aocaia
Jahr:
2008
Sprache:
ukrainian
Datei:
DJVU, 5.44 MB
Ihre Tags:
0
/
0
ukrainian, 2008
5
老人与海.pdf
老人与海.pdf
o1d
1ine
cou1d
thp
a11
wou1d
wi11
on1y
1eft
skiff
boat
shark
1ike
船
fe1t
we11
析
sti11
1ooked
himse1f
1et
a1oud
1ong
stern
绳
钓
1itt1e
s1ow1y
do1phin
he1d
pu11
bait
tai1
1ight
fee1
sma11
f1ying
ki11
sai1
unti1
wish
宾
班
1ines
knife
sharks
shou1d
shou1ders
阅
current
Datei:
PDF, 6.69 MB
Ihre Tags:
0
/
0
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×