中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2004, vol.310, no.1-3
2004, vol.311, no.1-3
2004, vol.312, no.1
2004, vol.312, no.2-3
2004, vol.313, no.1
2004, vol.313, no.2
2004, vol.313, no.3
2004, vol.314, no.1-2
2004, vol.314, no.3
2004, vol.315, no.1
2004, vol.315, no.2-3
2004, vol.316, no.1-3
2004, vol.317, no.1-3
2004, vol.318, no.1-2
2004, vol.318, no.3
2004, vol.319, no.1-3
2004, vol.320, no.1
2004, vol.320, no.2-3
2004, vol.321, no.1
2004, vol.321, no.2-3
2004, vol.322, no.1
2004, vol.322, no.2
2004, vol.322, no.3
2004, vol.323, no.1-3
2004, vol.324, no.1
2004, vol.324, no.2-3
2004, vol.325, no.1
2004, vol.325, no.2
2004, vol.325, no.3
2004, vol.326, no.1-3
2004, vol.327, no.1-2
2004, vol.327, no.3
2004, vol.328, no.1-2
2004, vol.328, no.3
2004, vol.329, no.1-3
题名
作者
出版年
年卷期
From regulated rewriting to computing with membranes: collapsing hierarchies
Rudolf Freund; Carlos Martin-Vide; Gheorghe Paim
2004
2004, vol.312, no.2-3
Probabilistic quickest path algorithm
Nageswara S. V. Rao
2004
2004, vol.312, no.2-3
Two-dimensional cellular automata and their neighborhoods
Veronique Terrier
2004
2004, vol.312, no.2-3
On the computational complexity of 2-interval pattern matching problems
Stephane Vialette
2004
2004, vol.312, no.2-3
Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids
Kosaburo Hashiguchi; Naoto Sakakibara; Shuji Jimbo
2004
2004, vol.312, no.2-3
An approximability result of the multi-vehicle scheduling problem on a path with release and handling times
Yoshiyuki Kamno; Hiroshi Nagamochi
2004
2004, vol.312, no.2-3
Global exponential convergence of recurrent neural networks with variable delays
Zhang Yi
2004
2004, vol.312, no.2-3
The conformon-P system: a molecular and cell biology-inspired computability model
Pierluigi Frisco
2004
2004, vol.312, no.2-3
Correlation immunity and resiliency of symmetric Boolean functions
Chuan-Kun Wu; Ed Dawson
2004
2004, vol.312, no.2-3
Computing the similarity of two sequences with nested arc annotations
Jochen Alber; Jens Gramm; Jiong Guo; Rolf Niedermeier
2004
2004, vol.312, no.2-3
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024