中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2023, vol.939
2023, vol.940, no.Pt.A
2023, vol.940, no.Pt.B
2023, vol.941
2023, vol.942
2023, vol.943
2023, vol.944
2023, vol.945
2023, vol.946
2023, vol.947
2023, vol.948
2023, vol.949
2023, vol.950
2023, vol.951
2023, vol.952
2023, vol.953
2023, vol.954
2023, vol.955
2023, vol.956
2023, vol.957
2023, vol.958
2023, vol.959
2023, vol.960
2023, vol.961
2023, vol.962
2023, vol.963
2023, vol.964
2023, vol.965
2023, vol.966/967
2023, vol.968
2023, vol.969
2023, vol.970
2023, vol.971
2023, vol.972
2023, vol.973
2023, vol.974
2023, vol.975
2023, vol.976
2023, vol.977
2023, vol.978
2023, vol.979
2023, vol.980
题名
作者
出版年
年卷期
Checked corecursive streams: Expressivity and completeness
Davide Ancona; Pietro Barbieri; Elena Zucca
2023
2023, vol.974
Congestion games with priority-based scheduling
Vittorio Bilo; Cosimo Vinci
2023
2023, vol.974
Variety of mutual-visibility problems in graphs
Serafino Cicerone; Gabriele Di Stefano; Lara Drozdek; Jaka Hedzet; Sandi Klavzar; Ismael G. Yero
2023
2023, vol.974
Specification and verification of concurrent systems by causality and realizability
Manfred Broy
2023
2023, vol.974
Higher-order games with dependent types
Martin Escardo; Paulo Oliva
2023
2023, vol.974
An ambiguity hierarchy of weighted context-free grammars
Yusuke Inoue; Kenji Hashimoto; Hiroyuki Seki
2023
2023, vol.974
Nearly k-universal words - Investigating a part of Simon's congruence
Pamela Fleischmann; Lukas Haschke; Jonas Hofer; Annika Huch; Annika Mayrock; Dirk Nowotka
2023
2023, vol.974
Mutual witness Gabriel drawings of complete bipartite graphs
William J. Lenhart; Giuseppe Liotta
2023
2023, vol.974
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024