知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
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
2014, vol.515
2014, vol.516
2014, vol.517
2014, vol.518
2014, vol.519
2014, vol.520
2014, vol.521
2014, vol.522
2014, vol.523
2014, vol.524
2014, vol.525
2014, vol.526
2014, vol.527
2014, vol.528
2014, vol.529
2014, vol.530
2014, vol.531
2014, vol.532
2014, vol.533
2014, vol.534
2014, vol.535
2014, vol.536
2014, vol.537
2014, vol.538
2014, vol.539
2014, vol.540/541
2014, vol.543
2014, vol.544
2014, vol.545
2014, vol.546
2014, vol.547
2014, vol.548
2014, vol.549
2014, vol.550
2014, vol.551
2014, vol.551, no.
2014, vol.552
2014, vol.553
2014, vol.554
2014, vol.555
2014, vol.556
2014, vol.557
2014, vol.558
2014, vol.559
2014, vol.559, no.
2014, vol.560, no.Pt.1
2014, vol.560, no.Pt.2
2014, vol.560, no.Pt.3
题名
作者
出版年
年卷期
A note on sparse solutions of sparse linear systems
Chen Yuan; Haibin Kan
2014
2014, vol.552
Automaticity of the Hankel determinants of difference sequences of the Thue-Morse sequence
Ying-Jun Guo; Zhi-Xiong Wen
2014
2014, vol.552
Period distribution of generalized discrete Arnold cat map
Fei Chen; Kwok-wo Wong; Xiaofeng Liao; Tao Xiang
2014
2014, vol.552
Mediating for reduction (on minimizing alternating Buchi automata)
Parosh Aziz Abdulla; Yu-Fang Chen; Lukas Holik; Tomas Vojnar
2014
2014, vol.552
A second look at counting triangles in graph streams
Graham Cormode; Hossein Jowhari
2014
2014, vol.552
Embedding multidimensional grids into optimal hypercubes
Zevi Miller; Dan Pritikin; I. H. Sudborough
2014
2014, vol.552
Counting and sampling SCJ small parsimony solutions
Istvan Miklos; Sandor Z. Kiss; Eric Tannier
2014
2014, vol.552
Space-efficient self-stabilizing counting population protocols on mobile sensor networks
Tomoko Izumi; Keigo Kinpara; Taisuke Izumi; Koichi Wada
2014
2014, vol.552
制造业外文文献服务平台