主页
外文期刊
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
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 single exponential-time FPT algorithm for cactus contraction
Krithika, R.; Misra, Pranabendu; Tale, Prafullkumar
2023
2023, vol.954
Optimal 2-traceability codes of length 4*
Chen, Hong -Bin; Chen, Geng-Yu
2023
2023, vol.954
Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G.
2023
2023, vol.954
A new dynamic programming algorithm for the simplified partial digest problem
Wang, Biing-Feng
2023
2023, vol.954
The agreement power of disagreement
Bramas, Quentin; Lamani, Anissa; Tixeuil, Sebastien
2023
2023, vol.954
Perfectly matched sets in graphs: Parameterized and exact computation
Aravind, N. R.; Saxena, Roopam
2023
2023, vol.954
Location functions for self-stabilizing byzantine tolerant swarms
Ashkenazi, Yotam; Dolev, Shlomi; Kamei, Sayaka; Katayama, Yoshiaki; Ooshita, Fukuhito; Wada, Koichi
2023
2023, vol.954
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024