主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
期刊
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
2017, vol.657, no.Pt.A
2017, vol.657, no.Pt.B
2017, vol.658, no.Pt.A
2017, vol.658, no.Pt.B
2017, vol.659
2017, vol.660
2017, vol.661
2017, vol.662
2017, vol.663
2017, vol.664
2017, vol.665
2017, vol.666
2017, vol.667
2017, vol.668
2017, vol.669
2017, vol.670
2017, vol.671
2017, vol.672
2017, vol.673
2017, vol.674
2017, vol.675
2017, vol.676
2017, vol.677
2017, vol.678
2017, vol.679
2017, vol.680
2017, vol.681
2017, vol.682
2017, vol.683
2017, vol.684
2017, vol.685
2017, vol.686
2017, vol.687
2017, vol.688
2017, vol.689
2017, vol.690
2017, vol.691
2017, vol.692
2017, vol.693
2017, vol.694
2017, vol.695
2017, vol.696
2017, vol.697
2017, vol.698
2017, vol.699
2017, vol.700
2017, vol.701
2017, vol.702
2017, vol.703
2017, vol.704
题名
作者
出版年
年卷期
log-Lists and their applications to sorting by transpositions, reversals and block-interchanges
Rusu, Irena
2017
2017, vol.660
Computing halting probabilities from other halting probabilities
Barmpalias, George; Lewis-Pye, Andrew
2017
2017, vol.660
Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model
Faonio, Antonio; Nielsen, Jesper Buus; Venturi, Daniele
2017
2017, vol.660
On the parameterized complexity of associative and commutative unification
Akutsu, Tatsuya; Jansson, Jesper; Takasu, Atsuhiro; Tamura, Takeyuki
2017
2017, vol.660
Negation-limited formulas
Guo, Siyao; Komargodski, Ilan
2017
2017, vol.660
Network connectivity assessment and improvement through relay node deployment
Cheng, Maggie X.; Ling, Yi; Sadler, Brian M.
2017
2017, vol.660
On the complexity of failed zero forcing
Shitov, Yaroslav
2017
2017, vol.660
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024