中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2018, vol.705
2018, vol.706
2018, vol.707
2018, vol.708
2018, vol.709
2018, vol.710
2018, vol.711
2018, vol.712
2018, vol.713
2018, vol.714
2018, vol.715
2018, vol.716
2018, vol.717
2018, vol.718
2018, vol.719
2018, vol.720
2018, vol.721
2018, vol.722
2018, vol.723
2018, vol.724
2018, vol.725
2018, vol.726
2018, vol.727
2018, vol.728
2018, vol.729
2018, vol.730
2018, vol.731
2018, vol.732
2018, vol.733
2018, vol.734
2018, vol.735
2018, vol.736
2018, vol.737
2018, vol.738
2018, vol.739
2018, vol.740
2018, vol.741
2018, vol.742
2018, vol.743
2018, vol.744
2018, vol.745
2018, vol.746
2018, vol.747
2018, vol.748
2018, vol.749
2018, vol.750
2018, vol.751
2018, vol.752
题名
作者
出版年
年卷期
Variations of checking stack automata: Obtaining unexpected decidability properties
Ibarra, Oscar H.; McQuillan, Ian
2018
2018, vol.738
Avoidance bases for formulas with reversal
Currie, James D.; Mol, Lucas; Rampersad, Narad
2018
2018, vol.738
Belief propagation for the maximum-weight independent set and minimum spanning tree problems
Cornelissen, Kamiel; Manthey, Bodo
2018
2018, vol.738
On time complexity for connectivity-preserving scattering of mobile robots
Izumi, Taisuke; Kaino, Daichi; Potop-Butucaru, Maria Gradinariu; Tixeuil, Sebastien
2018
2018, vol.738
Constructions of balanced odd-variable rotation symmetric Boolean functions with optimal algebraic immunity and high nonlinearity
Sun, Lei; Fu, Fang-Wei
2018
2018, vol.738
Large width nearest prototype classification on general distance spaces
Anthony, Martin; Ratsaby, Joel
2018
2018, vol.738
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024