期刊


ISSN0304-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 specificationsMontanari, Angelo; Sala, Pietro20222022, vol.899
On the overall and delay complexity of the CLIQUES and Bron-Kerbosch algorithmsConte, Alessio; Tomita, Etsuji20222022, vol.899
Train tracks with gaps: Applying the probabilistic method to trainsKuszmaul, William20222022, vol.899
Near-optimal clustering in the k-machine modelBandyapadhyay, Sayan; Inamdar, Tanmay; Pai, Shreyas; Pemmaraju, Sriram, V20222022, vol.899
From decidability to undecidability by considering regular sets of instancesWolf, Petra20222022, vol.899



制造业外文文献服务平台