知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
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
2011, vol.412, no.1/2
2011, vol.412, no.11
2011, vol.412, no.12/14
2011, vol.412, no.15
2011, vol.412, no.16
2011, vol.412, no.17
2011, vol.412, no.18
2011, vol.412, no.19
2011, vol.412, no.20
2011, vol.412, no.21
2011, vol.412, no.22
2011, vol.412, no.23
2011, vol.412, no.24
2011, vol.412, no.25
2011, vol.412, no.26
2011, vol.412, no.27
2011, vol.412, no.28
2011, vol.412, no.29
2011, vol.412, no.3
2011, vol.412, no.30
2011, vol.412, no.31
2011, vol.412, no.32
2011, vol.412, no.33
2011, vol.412, no.34
2011, vol.412, no.35
2011, vol.412, no.36
2011, vol.412, no.37
2011, vol.412, no.38
2011, vol.412, no.39
2011, vol.412, no.4/5
2011, vol.412, no.40
2011, vol.412, no.41
2011, vol.412, no.42
2011, vol.412, no.43
2011, vol.412, no.44
2011, vol.412, no.45
2011, vol.412, no.46
2011, vol.412, no.47
2011, vol.412, no.48
2011, vol.412, no.50
2011, vol.412, no.51
2011, vol.412, no.52
2011, vol.412, no.6
2011, vol.412, no.7
2011, vol.412, no.8/10
题名
作者
出版年
年卷期
Spatial Calculus of Looping Sequences
Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini
2011
2011, vol.412, no.43
Elementary landscape decomposition of the frequency assignment problem
Francisco Chicano; L. Darrell Whitley; Enrique Alba; Francisco Luna
2011
2011, vol.412, no.43
Evolutionary algorithms and dynamic programming
Benjamin Doerr; Anton Eremeev; Frank Neumann; Madeleine Theile; Christian Thyssen
2011
2011, vol.412, no.43
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Francesca Cordero; Andras Horvath; Daniele Manini; Lucia Napione; Massimiliano De Pierro; Simona Pavan; Andrea Picco; Andrea Veglio; Matteo Sereno; Federico Bussolino; Gianfranco Balbo
2011
2011, vol.412, no.43
Equivalences for a biological process algebra
Vashti Galpin
2011
2011, vol.412, no.43
Polyominoes simulating arbitrary-neighborhood zippers and tilings
Lila Kari; Benoit Masson
2011
2011, vol.412, no.43
Graph grammars with string-regulated rewriting
Daniel Lobo; Francisco J. Vico; Jurgen Dassow
2011
2011, vol.412, no.43
制造业外文文献服务平台