書籍搜索
圖書
捐款
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Design and validation of computer protocols
Prentice Hall
Gerard J Holzmann
,
American Telephone and Telegraph Company
byte
proctype
flow_to_ses
goto
define
ses_to_flow
atomic
qsz
ses_to_fsrv
toggle
ses_to_pres
endidle
fsrv_to_ses
false
transfer
ack
fatal
validation
sync
tobus0
tobus1
busy
session
pres_to_ses
receiver
flow_to_dll
mtype
sync_ack
timeout
assert
proc
abort
layer
dll_to_flow
frombus0
frombus1
p337
fserver
non_fatal
sender
seq
spin
btoc
counter
pres_to_use
ctob
f2d
s2f
aborted
f2s1
年:
1990
語言:
english
文件:
GZ, 12 KB
你的標籤:
0
/
0
english, 1990
2
Лекции о базисах Гребнера
Аржанцев И.
®
©
ª
x01
cont
xyz
x0n
xik
µ
f2c
f1c
x24
x2y
ac2
f1k
ff1
fjc
xi1
1a1
2c2
2c3
2x2
2x3
2xy
a1n
b2c
f2s1
obner
ox1
oxi1
x0k
xi11
xinn
2bc
2x1
2x4
2z2
3x5
afs
ai1
am1
amn
commutative
csk1
f0g
fx1
r1f1
x23
x34
xmn
語言:
russian
文件:
PDF, 419 KB
你的標籤:
0
/
0
russian
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×