中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2022, vol.897
2022, vol.898
2022, vol.899
2022, vol.900
2022, vol.901
2022, vol.902
2022, vol.903
2022, vol.904
2022, vol.905
2022, vol.906
2022, vol.907
2022, vol.908
2022, vol.909
2022, vol.910
2022, vol.911
2022, vol.912
2022, vol.913
2022, vol.914
2022, vol.915
2022, vol.916
2022, vol.917
2022, vol.918
2022, vol.919
2022, vol.920
2022, vol.921
2022, vol.922
2022, vol.923
2022, vol.924
2022, vol.925
2022, vol.926
2022, vol.927
2022, vol.928
2022, vol.929
2022, vol.930
2022, vol.931
2022, vol.932
2022, vol.933
2022, vol.934
2022, vol.935
2022, vol.936
2022, vol.937
2022, vol.938
题名
作者
出版年
年卷期
Computational complexity of problems for deterministic presentations of sofic shifts
Cai, Justin; Frongillo, Rafael
2022
2022, vol.936
Differential 5-uniformity and non-linearity of permutations over Zn
Sharma, R. K.; Mishra, P. R.; Kumar, Yogesh; Gupta, Nupur
2022
2022, vol.936
Centralised connectivity-preserving transformations for programmable matter: A minimal seed approach
Connor, Matthew; Michail, Othon; Potapov, Igor
2022
2022, vol.936
Colored cut games
Morawietz, Nils; Gruettemeier, Niels; Komusiewicz, Christian; Sommer, Frank
2022
2022, vol.936
On the recognition of search trees generated by BFS and DFS
Scheffler, Robert
2022
2022, vol.936
On mixed linear layouts of series-parallel graphs
Angelini, Patrizio; Bekos, Michael A.; Kindermann, Philipp; Mchedlidze, Tamara
2022
2022, vol.936
Smallest number of vertices in a 2-arc-strong digraph without good pairs
Gu, Ran; Gutin, Gregory; Li, Shasha; Shi, Yongtang; Taoqiu, Zhenyu
2022
2022, vol.936
Beyond pointwise submodularity: Non-monotone adaptive submodular maximization subject to knapsack and k-system constraints
Tang, Shaojie
2022
2022, vol.936
Reasoning about block-based cloud storage systems via separation logic
Jin, Zhao; Zhang, Bowen; Cao, Tianyue; Cao, Yongzhi; Wang, Hanpin
2022
2022, vol.936
On the complexity of matching cut for graphs of bounded radius and H-free graphs
Lucke, Felicia; Paulusma, Daniel; Ries, Bernard
2022
2022, vol.936
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024