中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2023, vol.939
2023, vol.940, no.Pt.A
2023, vol.940, no.Pt.B
2023, vol.941
2023, vol.942
2023, vol.943
2023, vol.944
2023, vol.945
2023, vol.946
2023, vol.947
2023, vol.948
2023, vol.949
2023, vol.950
2023, vol.951
2023, vol.952
2023, vol.953
2023, vol.954
2023, vol.955
2023, vol.956
2023, vol.957
2023, vol.958
2023, vol.959
2023, vol.960
2023, vol.961
2023, vol.962
2023, vol.963
2023, vol.964
2023, vol.965
2023, vol.966/967
2023, vol.968
2023, vol.969
2023, vol.970
2023, vol.971
2023, vol.972
2023, vol.973
2023, vol.974
2023, vol.975
2023, vol.976
2023, vol.977
2023, vol.978
2023, vol.979
2023, vol.980
题名
作者
出版年
年卷期
A Java-like calculus with heterogeneous coeffects
Bianchini R.; Dagnino F.; Zucca E.; Giannini P.
2023
2023, vol.971
Guest editorial: Structural Information and Communication Complexity 2021
Foerster K.-T.; Jurdzinski T.; Schmid S.
2023
2023, vol.971
Bivariate estimation-of-distribution algorithms can find an exponential number of optima
Doerr B.; Krejca M.S.
2023
2023, vol.971
Not all strangers are the same: The impact of tolerance in Schelling games
Kanellopoulos P.; Kyropoulou M.; Voudouris A.A.
2023
2023, vol.971
A lower bound for constant-size local certification
Ardevol Martinez V.; Caoduro M.; Feuilloley L.; Narboni J.; Pournajafi P.; Raymond J.-F.
2023
2023, vol.971
Lazy regular sensing
Petruschka A.; Kupferman O.
2023
2023, vol.971
Practical multi-party quantum homomorphic encryption
Chen L.; Li Q.
2023
2023, vol.971
Fault-tolerant strong Menger connectivity of modified bubble-sort graphs
Nan L.; Wang S.; Zhao L.
2023
2023, vol.971
Two-dimensional drift analysis: Optimizing two functions simultaneously can be hard
Janett D.; Lengler J.
2023
2023, vol.971
Finding geometric representations of apex graphs is NP-hard
Chakraborty D.; Gajjar K.
2023
2023, vol.971
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024