Darowizna 15 września 2024 – 1 października 2024
O zbieraniu funduszy
wyszukiwanie książek
książki
Darowizna:
71.3% wykorzystano
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
嵌入式操作系统的形式化验证方法研究
孙海泳
操
范
码
嵌
链
核
函
框
bptr
针
软
址
杂
控
辑
逻
𝛽
verification
𝛼
描
𝑛𝑖𝑙
博
域
闲
coq
含
𝑖
𝑙𝑖𝑠𝑡
operating
systems
析
tlsf
硬
符
blockpool
zmap
扩
监
𝑗
𝜎
trustzone
𝑎
𝑘
security
slbitmap
ℳ
扰
flbitmap
互
𝑥
Rok:
2020
Język:
chinese
Plik:
PDF, 1.40 MB
Twoje tagi:
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
Rok:
2019
Język:
english
Plik:
PDF, 9.78 MB
Twoje tagi:
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
Rok:
2013
Plik:
PDF, 322 KB
Twoje tagi:
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
Plik:
PDF, 416 KB
Twoje tagi:
0
/
0
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×