中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
0304-3975
刊名
Theoretical Computer Science
参考译名
理论计算机科学
收藏年代
2002~2024
全部
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2011, vol.412, no.1/2
2011, vol.412, no.11
2011, vol.412, no.12/14
2011, vol.412, no.15
2011, vol.412, no.16
2011, vol.412, no.17
2011, vol.412, no.18
2011, vol.412, no.19
2011, vol.412, no.20
2011, vol.412, no.21
2011, vol.412, no.22
2011, vol.412, no.23
2011, vol.412, no.24
2011, vol.412, no.25
2011, vol.412, no.26
2011, vol.412, no.27
2011, vol.412, no.28
2011, vol.412, no.29
2011, vol.412, no.3
2011, vol.412, no.30
2011, vol.412, no.31
2011, vol.412, no.32
2011, vol.412, no.33
2011, vol.412, no.34
2011, vol.412, no.35
2011, vol.412, no.36
2011, vol.412, no.37
2011, vol.412, no.38
2011, vol.412, no.39
2011, vol.412, no.4/5
2011, vol.412, no.40
2011, vol.412, no.41
2011, vol.412, no.42
2011, vol.412, no.43
2011, vol.412, no.44
2011, vol.412, no.45
2011, vol.412, no.46
2011, vol.412, no.47
2011, vol.412, no.48
2011, vol.412, no.50
2011, vol.412, no.51
2011, vol.412, no.52
2011, vol.412, no.6
2011, vol.412, no.7
2011, vol.412, no.8/10
题名
作者
出版年
年卷期
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
F. Abujarad; S. S. Kulkarni
2011
2011, vol.412, no.33
A self-stabilizing transformer for population protocols with covering
Joffroy Beauquier; Janna Burman; Shay Kutten
2011
2011, vol.412, no.33
Consensus when all processes may be Byzantine for some time
Martin Biely; Martin Hutle
2011
2011, vol.412, no.33
On the road to the weakest failure detector for k-set agreement in message-passing systems
Francois Bonnet; Michel Raynal
2011
2011, vol.412, no.33
How to improve snap-stabilizing point-to-point communication space complexity?
Alain Cournier; Swan Dubois; Vincent Villain
2011
2011, vol.412, no.33
Fault containment in weakly stabilizing systems
Anurag Dasgupta; Sukumar Ghosh; Xin Xiao
2011
2011, vol.412, no.33
Separation of circulating tokens
K. GhoshDastidar; T. Herman
2011
2011, vol.412, no.33
Nash equilibria in stabilizing systems
M. G. Gouda; H. B. Acharya
2011
2011, vol.412, no.33
Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures
Hirotsugu Kakugawa; Yukiko Yamauchi; Sayaka Kamei; Toshimitsu Masuzawa
2011
2011, vol.412, no.33
Oracle-based flocking of mobile robots in crash-recovery model
Samia Souissi; Taisuke Izumi; Koichi Wada
2011
2011, vol.412, no.33
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024