SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Advances in Theory and Formal Methods of Computing
计算机科学
形式化方法
理论计算机科学
程序设计语言
作者
Abbas Edalat,
Serena Jourdan,
Guy McCusker
标识
DOI：10.1142/9781783263455
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
沙河口大长硬
完成签到，获得积分
10
1秒前
宜醉宜游宜睡
上传了
应助文件
1秒前
无花果
的
应助
被
任我
采纳，获得
20
2秒前
molihuakai
的
应助
被
kk
采纳，获得
10
2秒前
huayu
完成签到
，获得积分
10
2秒前
自由的梨愁
发布了新的
文献求助
10
3秒前
自由紫伊
完成签到
，获得积分
10
3秒前
我是老大
的
应助
被
zzm
采纳，获得
10
4秒前
田様
上传了
应助文件
5秒前
小二郎
的
应助
被
杜冷丁
采纳，获得
10
5秒前
orixero
上传了
应助文件
5秒前
Hannibal
完成签到，获得积分
10
6秒前
hubben
的
应助
被
jack0416
采纳，获得
10
7秒前
彩虹
发布了新的
文献求助
10
7秒前
郜易
关注了科研通微信公众号
8秒前
Twonej
上传了
应助文件
8秒前
科研狂人
完成签到，获得积分
10
9秒前
小趴蔡
发布了新的
文献求助
10
9秒前
linqishi
发布了新的
文献求助
10
10秒前
Copyright
的
应助
被
zz
采纳，获得
10
11秒前
深情安青
上传了
应助文件
11秒前
Nainu
完成签到，获得积分
10
12秒前
西安土皇帝
发布了新的
文献求助
10
12秒前
自由的梨愁
完成签到，获得积分
10
12秒前
传奇3
的
应助
被
执着的水之
采纳，获得
10
12秒前
李健的小迷弟
的
应助
被
Yuan88
采纳，获得
10
13秒前
钱罐罐
发布了新的
文献求助
10
14秒前
小二郎
上传了
应助文件
14秒前
garbage
发布了新的
文献求助
10
14秒前
哈哈
完成签到，获得积分
10
15秒前
蕴蝶
发布了新的
文献求助
10
18秒前
西安土皇帝
完成签到，获得积分
10
19秒前
Copyright
的
应助
被
小格爱科研
采纳，获得
10
20秒前
等待秋尽
发布了新的
文献求助
10
20秒前
科研通AI6.2
上传了
应助文件
20秒前
难过盼海
完成签到，获得积分
10
21秒前
李健的小迷弟
上传了
应助文件
21秒前
zjh
完成签到，获得积分
10
21秒前
lili爱科研
完成签到
，获得积分
20
22秒前
keep
完成签到，获得积分
10
22秒前
高分求助中
Principles of Economics, 11th Edition
10000
University Physics with Modern Physics, 16th edition
10000
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Development of a Bridge Weigh-In-Motion System: A technology to convert the bridge response to the passage of traffic into data on vehicle configurations, speeds, times of travel and weights
1000
Organic Reactions, Volume 116
1000
Current concepts in cutaneous toxicity : proceedings of the Fourth Conference on Cutaneous Toxicity, Washington, D.C., May 9-11, 1979
1000
ズームレンズの光学設計に関する研究
800
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7277002
求助须知：如何正确求助？哪些是违规求助？
8898049
关于积分的说明
18815974
捐赠科研通
6949620
什么是DOI，文献DOI怎么找？
3206383
关于科研通互助平台的介绍
2377413
邀请新用户注册赠送积分活动
2181313
今日热心研友
Kao
385
4780
Copyright
350
3295
无极微光
137
2360
潇洒的惋清
88
1510
cdercder
104
1340
务实狗
128
840
GingerF
31
1650
魔法屎尿屁
95
840
学术文献互助
1630
Zephyrite
76
855
OK
1460
arniu2008
44
820
蓝天
61
410
hubben
54
330
不潮薯饼
25
530
核桃
23
550
Haiverxin
31
440
sagitar
37
370
Gooselink
63
囧囧
620
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
Copyright
无极微光
潇洒的惋清
cdercder
务实狗
GingerF
魔法屎尿屁
学术文献互助
Zephyrite
OK
arniu2008
蓝天
hubben
不潮薯饼
核桃
Haiverxin
sagitar
Gooselink
囧囧
皖公网安备34019202002308
