期刊


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

2016, vol.609, no.Pt.1 2016, vol.609, no.Pt.2 2016, vol.609, no.Pt.3 2016, vol.610, no.Pt.A 2016, vol.610, no.Pt.B 2016, vol.611
2016, vol.612 2016, vol.613 2016, vol.614 2016, vol.615 2016, vol.616 2016, vol.617
2016, vol.618 2016, vol.619 2016, vol.620 2016, vol.621 2016, vol.622 2016, vol.623
2016, vol.624 2016, vol.625 2016, vol.626 2016, vol.627 2016, vol.628 2016, vol.629
2016, vol.630 2016, vol.631 2016, vol.632 2016, vol.633 2016, vol.634 2016, vol.635
2016, vol.636 2016, vol.637 2016, vol.638 2016, vol.639 2016, vol.640 2016, vol.641
2016, vol.642 2016, vol.643 2016, vol.644 2016, vol.645 2016, vol.646 2016, vol.647
2016, vol.648 2016, vol.649 2016, vol.650 2016, vol.651 2016, vol.652 2016, vol.653
2016, vol.654 2016, vol.655, no.Pt.A 2016, vol.655, no.Pt.B 2016, vol.656, no.Pt.A 2016, vol.656, no.Pt.B

题名作者出版年年卷期
Special issue on Computing and Combinatorics Conference PrefaceCai, Zhipeng; Zelikovsky, Alexander20162016, vol.609, no.Pt.3
A canonical form based decision procedure and model checking approach for propositional projection temporal logicDuan, Zhenhua; Tian, Cong; Zhang, Nan20162016, vol.609, no.Pt.3
Minimizing average flow-time under knapsack constraintBera, Suman K.; Das, Syamantak; Kumar, Amit20162016, vol.609, no.Pt.3
Approximation for the minimum cost doubly resolving set problemChen, Xujin; Hu, Xiaodong; Wang, Changjun20162016, vol.609, no.Pt.3
Shortest color-spanning intervalsJiang, Minghui; Wang, Haitao20162016, vol.609, no.Pt.3
Quantum algorithms for finding constant-sized sub-hypergraphsLe Gall, Francois; Nishimura, Harumichi; Tani, Seiichiro20162016, vol.609, no.Pt.3
On the hardness of labeled correlation clustering problem: A parameterized complexity viewLiu, Xianmin; Li, Jianzhong; Gao, Hong20162016, vol.609, no.Pt.3
On the complexity of sampling query feedback restricted database repair of functional dependency violationsMiao, Dongjing; Liu, Xianmin; Li, Jianzhong20162016, vol.609, no.Pt.3
Optimal packet scan against malicious attacks in smart gridsMishra, Subhankar; Dinh, Thang N.; Thai, My T.; Seo, Jungtaek; Shin, Incheol20162016, vol.609, no.Pt.3
Smoothed heights of tries and patricia triesTong, Weitian; Goebel, Randy; Lin, Guohui20162016, vol.609, no.Pt.3
12



制造业外文文献服务平台