主页
外文期刊
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
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
题名
作者
出版年
年卷期
Reactive synthesis from interval temporal logic specifications
Montanari, Angelo; Sala, Pietro
2022
2022, vol.899
On the overall and delay complexity of the CLIQUES and Bron-Kerbosch algorithms
Conte, Alessio; Tomita, Etsuji
2022
2022, vol.899
Train tracks with gaps: Applying the probabilistic method to trains
Kuszmaul, William
2022
2022, vol.899
Near-optimal clustering in the k-machine model
Bandyapadhyay, Sayan; Inamdar, Tanmay; Pai, Shreyas; Pemmaraju, Sriram, V
2022
2022, vol.899
From decidability to undecidability by considering regular sets of instances
Wolf, Petra
2022
2022, vol.899
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024