Sumbangan 15 hb September 2024 – 1 hb Oktober 2024
Mengenai pengumpulan sumbangan
carian buku
buku
Sumbangan:
60.6% 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
嵌入式操作系统的形式化验证方法研究
孙海泳
操
范
码
嵌
链
核
函
框
bptr
针
软
址
杂
控
辑
逻
𝛽
verification
𝛼
描
𝑛𝑖𝑙
博
域
闲
coq
含
𝑖
𝑙𝑖𝑠𝑡
operating
systems
析
tlsf
硬
符
blockpool
zmap
扩
监
𝑗
𝜎
trustzone
𝑎
𝑘
security
slbitmap
ℳ
扰
flbitmap
互
𝑥
Tahun:
2020
Bahasa:
chinese
Fail:
PDF, 1.40 MB
Tag anda:
0
/
0
chinese, 2020
2
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Springer International Publishing
Nan Guan
,
Joost-Pieter Katoen
,
Jun Sun
analysis
criticality
systems
task
algorithm
execution
flash
jobs
models
memory
method
interference
scheduling
feature
first
tasks
function
fault
fts
methods
probability
alloy
approach
device
features
event
verification
trees
different
programs
formal
input
gpc
bmc
defined
probabilistic
tlsf
variants
αu
χ1
events
nand
bounded
arrival
response
schedule
checking
acm
curves
typed
Tahun:
2019
Bahasa:
english
Fail:
PDF, 9.78 MB
Tag anda:
0
/
0
english, 2019
3
untitled
Kayo
uhn
zgl
kfnkfnl
nfu5
ldoff
mlbg
lbn
ú5
dfof
dfg5
tlsf
lbfbf
slt
agfo
ltdl
xfbf
dfofsf
cffvf
l8lbp
rfx
uhnsf
agfof
dfofn
emf
kbf
lbof
ufx
af6f
hffbf
lbpf
tdf
cfuf
hlt
lrtjg
oxff
egb
flxto
kfl
nlsf
xg5
afgl
efuo
hfgg
kfnkfnlú
lbnsf
lsgg
pjd
cff
gfn
lagfn
Tahun:
2013
Fail:
PDF, 322 KB
Tag anda:
0
/
0
2013
4
book of mridual ka gajal.pmd
G N Poudel
uhn
dfof
uhnsf
dgfy
nfuof
dgdf
goff
ltdl
hljgsf
cfpf
rfxg5
lbof
sof
zflgt
cfwof
oxl
emg
slt
lsgf
cif
flxto
gbo
kfp
uhndf
kgfx
sflkmof
sljtf
zdf
cffz
cfˆg
h:tl
hljgdf
hlt
ltdlnfo
oxff
slxno
tlsf
tvnn
6f9f
hfpm
lsl
nfu5
sf7df8f
syf
uhnx
8fof:kf
dfofsf
dgb
dosf
fyl
Fail:
PDF, 416 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
×
×