中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2013, vol.467
2013, vol.468
2013, vol.469
2013, vol.470
2013, vol.471
2013, vol.472
2013, vol.473
2013, vol.474
2013, vol.475
2013, vol.476
2013, vol.477
2013, vol.478
2013, vol.479
2013, vol.480
2013, vol.481
2013, vol.482
2013, vol.483
2013, vol.484
2013, vol.485
2013, vol.486
2013, vol.487
2013, vol.488
2013, vol.489/490
2013, vol.491
2013, vol.492
2013, vol.493
2013, vol.494
2013, vol.495
2013, vol.496
2013, vol.497
2013, vol.498
2013, vol.499
2013, vol.500
2013, vol.501
2013, vol.502
2013, vol.503
2013, vol.504
2013, vol.505
2013, vol.506
2013, vol.507
2013, vol.508
2013, vol.509
2013, vol.510
2013, vol.511
2013, vol.512
2013, vol.513
2013, vol.514
题名
作者
出版年
年卷期
On exact algorithms for the permutation CSP
Eun Jung Kim; Daniel Goncalves
2013
2013, vol.511
Kernel bounds for path and cycle problems
Hans L. Bodlaender; Bart M. P. Jansen; Stefan Kratsch
2013
2013, vol.511
On an extension of the Sort & Search method with application to scheduling theory
Ch. Lente; M. Liedloff; A. Soukhal; V. T'Kindt
2013
2013, vol.511
Sparse solutions of sparse linear systems: Fixed-parameter tractability and an application of complex group testing
Peter Damaschke
2013
2013, vol.511
New parameterized algorithms for the edge dominating set problem
Mingyu Xiao; Ton Kloks; Sheung-Hung Poon
2013
2013, vol.511
The l-Diversity problem: Tractability and approximability
Riccardo Dondi; Giancarlo Mauri; Italo Zoppis
2013
2013, vol.511
Parameterized complexity of vertex deletion into perfect graph classes
Pinar Heggernes; Pim van't Hof; Bart M. P. Jansen; Stefan Kratsch; Yngve Villanger
2013
2013, vol.511
Improved linear problem kernel for planar connected dominating set
Weizhong Luo; Jianxin Wang; Qilong Feng; Jiong Guo; Jianer Chen
2013
2013, vol.511
An exponential time 2-approximation algorithm for bandwidth
Martin Furer; Serge Gaspers; Shiva Prasad Kasiviswanathan
2013
2013, vol.511
Moderately exponential approximation for makespan minimization on related machines
Marin Bougeret; Pierre-Francois Dutot; Denis Trystram
2013
2013, vol.511
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024