書籍搜索
圖書
捐款
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
A Survey of Verification Techniques for Parallel Programs
Springer-Verlag Berlin Heidelberg
Howard Barringer (auth.)
processes
parallel
programs
proofs
correctness
rdy
rmn
variables
count
examples
false
method
rmx
sequential
inference
bagol
specification
buffer
mysz
zac
interference
input
invariant
assertions
verification
owicki
integer
methods
outp
critical
tnp
mym
append
assertion
element
lmax
statement
approach
consider
predicate
specifications
compt
lattice
original
p_on
parallelism
summary
auxiliary
bubble
seq
年:
1985
語言:
english
文件:
DJVU, 781 KB
你的標籤:
0
/
0
english, 1985
2
結界師 第29巻
小学館
田辺イエロウ
rro
bie
o46
ous
rrs
419e
bbe
bes
boe
brl
brr
brs
c9979
hoh
hry
hsn
illustration
isbn978
kaw
mbh
nase
ores
ors
osteo
rees
rmr
rss
shs
ttt
ues
wipe
3y72o
_v
aaonlsh
abet
abin
abobcsi1y
abode
absa
ache
acon
arik
aritszhes
arneoe
arps
arr
assene
asso
aste
atary
年:
2010
語言:
japanese
文件:
PDF, 37.33 MB
你的標籤:
0
/
5.0
japanese, 2010
3
KW-10型文氏消声器研制报告
北京市劳动保护科学研究所;闽东噪声控制设备厂;北京市丰台矿用工具厂
北京市劳动保护科学研究所,闽东噪声控制设备厂,北京市丰台矿用工具厂
mre
prl
rrr
1104b
1odxkhfs
3bn
aawkrhrime
abn
afl
agra
ags
aoa
aram
aret
arf
arh
arie
armaxere
arp
arrbm
atrrhprabp
atw
b25
baar
babar
babee
baer
bagol
bahfpea1s4b
baia
bars
bauer
baw
bayrax
bbl
bbs
beale
bears
beb
bema
betes
blm
bmt
bnl
bohs
bork
boros
bpay
brant
brr
語言:
chinese
文件:
PDF, 151 KB
你的標籤:
0
/
0
chinese
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×