中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
题名
作者
出版年
年卷期
Finite-state dimension
Jack J. Dai; James I. Lathrop; Jack H. Lutz; Elvira Mayordomo
2004
2004, vol.310, no.1-3
Synchronization of musical words
Marc Chemillier
2004
2004, vol.310, no.1-3
New bounds for multi-label interval routing
Savio S. H. Tse; Francis C. M. Lau
2004
2004, vol.310, no.1-3
Vectorial languages and linear temporal logic
Olivier Serre
2004
2004, vol.310, no.1-3
Minimal schedulability interval for real-time systems of periodic tasks with offsets
Annie Choquet-Geniet; Emmanuel Grolleau
2004
2004, vol.310, no.1-3
Approximating the Pareto curve with local search for the bicriteria TSP(1,2) problem
Eric Angel; Evripidis Bampis; Laurent Gourves
2004
2004, vol.310, no.1-3
The limitedness problem on distance automata: Hashiguchi's method revisited
King Leung; Viktor Podolskiy
2004
2004, vol.310, no.1-3
Competitive analysis of incentive compatible on-line auctions
Ron Lavi; Noam Nisan
2004
2004, vol.310, no.1-3
Theory of Genetic Algorithms II: models for genetic operators over the string-tensor representation of populations and convergence to global optima for arbitrary fitness function under scaling
Lothar M. Schmitt
2004
2004, vol.310, no.1-3
Extending Parikh matrices
Traian-Florin Serbanuta
2004
2004, vol.310, no.1-3
1
2
3
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024