Sumbangan 15 hb September 2024 – 1 hb Oktober 2024
Mengenai pengumpulan sumbangan
carian buku
buku
Sumbangan:
60.5% dicapai
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
search
1
Two-Level Functional Languages
Cambridge University Press
Flemming Nielson
,
Hanne Riis Nielson
function
penv
analysis
tenv
binding
interpretation
lemma
consider
formed
bool
lnt
fix
calculus
strictness
induction
define
env
tuple
lists
assume
element
bta
snd
fst
generation
compile
finite
resume
abstract
false
defined
functions
variables
explicit
formedness
partial
programs
argument
nothunk
desired
otherwise
correctness
strict
callrec
immediate
exseq
comps
stack
values
combinator
Tahun:
1992
Bahasa:
english
Fail:
PDF, 7.05 MB
Tag anda:
0
/
0
english, 1992
2
Two-Level Functional Languages
Cambridge University Press
Flemming Nielson
,
Hanne Riis Nielson
function
penv
analysis
lemma
tenv
binding
interpretation
consider
fix
formed
bool
calculus
lnt
strictness
induction
define
fst
bta
tuple
assume
env
lists
element
snd
false
generation
compile
resume
abstract
finite
functions
defined
variables
explicit
formedness
partial
argument
nothunk
programs
otherwise
desired
callrec
exseq
strict
correctness
stack
values
comps
immediate
void
Tahun:
1992
Bahasa:
english
Fail:
DJVU, 1.48 MB
Tag anda:
0
/
0
english, 1992
3
Corruption of Honor, Pt. 3 - The Divide
Mighty Quill Books
A. M. Rycroft [Rycroft
,
A. M.]
ڛ
ē
ĝ
맧
fy7
cѐc
e.vgh
vܶ
ђ
ҙ
ԙ
bң
jw3a
mpѻ
t:b
tߪb
wdᚍޔ
xxg5s
yep
ԝ
ր
8ơa
iu_
l4wd
qrrw
ysd
ϲk
ѐl
ѕ
ќ
ҝ
ӵqf_
ԕ
ՙ
ڗ
ܒ
ߒ
1έ
bmm
ctbu_긁
wcxr
ę
ƀ
ƈ
ƙ
ȋ
ȏ
Bahasa:
english
Fail:
EPUB, 438 KB
Tag anda:
0
/
0
english
4
初級日本語 / Shokyu Nihongo /Beginning Japanese
Bonjinsha
Japanese Language Center for International Students
,
Tokyo University of Foreign Studies
26b
24b
20b
ltt
23b
llr
trt
lrt
ltj
tlt
22b
ltr
rrr
t6b
f:l
rtr
27b
ffit
llf
lrr
rfr
tlr
ttt
25b
2tb
t8b
lxzl
rtt
t9b
t4b
28b
ljr
lti
rlr
fft
itl
rfi
tfr
ffir
ffr
frr
itr
rrl
trl
3rll
frt
lf:h
rtl
ttr
arr
Tahun:
1998
Bahasa:
japanese
Fail:
PDF, 229.27 MB
Tag anda:
0
/
2.0
japanese, 1998
5
Two-Level Functional Languages
Cambridge University Press
Flemming Nielson
,
Hanne Riis Nielson
tenv
calculus
binding
function
analysis
bool
reduce
variables
formedness
explicit
formed
typed
programs
compile
pt2
substitution
algorithm
fev
pe2
consider
insc
partial
interpretation
notation
untyped
functions
isnil
polytypes
define
introduction
polytype
combinator
ftv
induction
ue2
extend
false
exists
fix
generation
graph
pti
standard
underlying
abstract
argument
enriched
entities
oara
s0s
Tahun:
2005
Bahasa:
english
Fail:
PDF, 9.73 MB
Tag anda:
0
/
5.0
english, 2005
6
Физические основы генераторных измерительных и энергетических преобразователей
Издательство "Физматлит"
Трофимов А.И.
t:b
w67
0zz
9;2
a6u2
pjwu
4;2
68i
b1c
0g72
2ì
48i
76a
86a
ijfkl
kgl:m
pbb
pfngb:qgo:f
svvn
ïõ
генераторных
основы
преобразователей
физические
энергетических
0æ
1k14
26a
4æ
75r
76s
76x:bb
7g0
7ggk
8i5
aa567
ab5
bo:g
cccn
eltu
fcg
fcq
gs6
h5a8
i84
ipm
jklmekcncjeaoj
kobf
mjeu
s676a
Tahun:
2004
Bahasa:
russian
Fail:
PDF, 7.39 MB
Tag anda:
0
/
0
russian, 2004
7
Malachi
danderson
xgz
ýý
æåtýý
xnd
xânt
wym
xnä
xrs
yxgz
nwýý
xnát
yçâl
zä28
æåt
mµkl
ngr
slz
znd
ãc
b13
lkãs
lmn
nbr
ræn
xnsú
xnç
xântm
xæt
zïc
ê:t
ðt
bðt
drs
mgb
mlxkt
mnm
mz51
nqqeã
qrb
xnµ
xsk
xâ
xút
yflg
yhn
ymèl
ynt
z20
zmn
zµ5
Fail:
PDF, 127 KB
Tag anda:
0
/
0
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×