知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
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
2003, vol.290, no.1
2003, vol.290, no.2
2003, vol.290, no.3
2003, vol.291, no.1
2003, vol.291, no.2
2003, vol.291, no.3
2003, vol.292, no.1
2003, vol.292, no.2
2003, vol.292, no.3
2003, vol.293, no.1
2003, vol.293, no.2
2003, vol.293, no.3
2003, vol.294, no.1-2
2003, vol.294, no.3
2003, vol.295, no.1-3
2003, vol.296, no.1
2003, vol.296, no.2
2003, vol.296, no.3
2003, vol.297, no.1-3
2003, vol.298, no.1
2003, vol.298, no.2
2003, vol.298, no.3
2003, vol.299, no.1-3
2003, vol.300, no.1-3
2003, vol.301, no.1-3
2003, vol.302, no.1-3
2003, vol.303, no.1
2003, vol.303, no.2-3
2003, vol.304, no.1-3
2003, vol.305, no.1-3
2003, vol.306, no.1-3
2003, vol.307, no.1
2003, vol.307, no.2
2003, vol.307, no.3
2003, vol.308, no.1-3
2003, vol.309, no.1-3
题名
作者
出版年
年卷期
A hierarchy of deterministic context-free ω-languages
J. Duparc
2003
2003, vol.290, no.3
Undecidable properties of monoids with word problem solvable in linear time
Masashi Katsura; Yuji Kobayashi
2003
2003, vol.290, no.3
Tiling with bars under tomographic constraints
Christoph Durr; Eric Goles; Ivan Rapaport; Eric Remila
2003
2003, vol.290, no.3
1-optimality of static BSP computations: scheduling independent chains as a case study
Alfredo Goldman; Gregory Mounie; Denis Trystram
2003
2003, vol.290, no.3
Inplace run-length 2d compressed search
Amihood Amir; Gad M. Landau; Dina Sokol
2003
2003, vol.290, no.3
Borel hierarchy and omega context free languages
Olivier Finkel
2003
2003, vol.290, no.3
Orphan gene finding - an exon assembly approach
Philippe Blayo; Pierre Rouze; Marie-France Sagot
2003
2003, vol.290, no.3
The definable criterion for definability in presburger arithmetic and its applications
An. A. Muchnik
2003
2003, vol.290, no.3
Criteria to disprove context freeness of collage languages
Frank Drewes; Hans-Jorg Kreowski; Denis Lapoire
2003
2003, vol.290, no.3
Complexity of DNA sequencing by hybridization
Jacek Blazewicz; Marta Kasprzak
2003
2003, vol.290, no.3
1
2
3
4
5
6
制造业外文文献服务平台