募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
24.1% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
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 复制完整的最后一条消息并将其粘贴到此处
×
×