中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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
2015, vol.561, no.Pt.A
2015, vol.561, no.Pt.B
2015, vol.562
2015, vol.562, no.
2015, vol.563
2015, vol.563, no.
2015, vol.564
2015, vol.564, no.
2015, vol.565
2015, vol.565, no.
2015, vol.566
2015, vol.566, no.
2015, vol.567
2015, vol.567, no.
2015, vol.568
2015, vol.568, no.
2015, vol.569
2015, vol.569, no.
2015, vol.570
2015, vol.570, no.
2015, vol.571
2015, vol.571, no.
2015, vol.572
2015, vol.572, no.
2015, vol.573
2015, vol.573, no.
2015, vol.574
2015, vol.574, no.
2015, vol.575
2015, vol.575, no.
2015, vol.576
2015, vol.577
2015, vol.578
2015, vol.579
2015, vol.580
2015, vol.581
2015, vol.582
2015, vol.583
2015, vol.584
2015, vol.585
2015, vol.586
2015, vol.587
2015, vol.588
2015, vol.589
2015, vol.590
2015, vol.591
2015, vol.592
2015, vol.593
2015, vol.594
2015, vol.595
2015, vol.596
2015, vol.597
2015, vol.598
2015, vol.599
2015, vol.600
2015, vol.601
2015, vol.602
2015, vol.603
2015, vol.604
2015, vol.605
2015, vol.606
2015, vol.607, no.Pt.1
2015, vol.607, no.Pt.2
2015, vol.607, no.Pt.3
2015, vol.608, no.Pt.1
2015, vol.608, no.Pt.2
2015, vol.608, no.Pt.3
题名
作者
出版年
年卷期
Untitled
Kari, Lila
2015
2015, vol.598
Computing power of Turing machines in the framework of unsharp quantum logic
Shang, Yun; Lu, Xian; Lu, Raqian
2015
2015, vol.598
Applications of the Chinese remainder theorem to reaction systems with duration
Salomaa, Arto
2015
2015, vol.598
Dependency graphs and mass conservation in reaction systems
Gratie, Cristian; Ivanov, Sergiu; Petre, Ion; Azimi, Sepinoud
2015
2015, vol.598
Enumeration of octagonal tilings
Hutchinson, M.; Widom, M.
2015
2015, vol.598
Epsilon-net method for optimizations over separable states
Shi, Yaoyun; Wu, Xiaodi
2015
2015, vol.598
Comprehensive characterization of the behaviors of estimation of distribution algorithms
Echegoyen, Carlos; Santana, Roberto; Mendiburu, Alexander; Lozano, Jose A.
2015
2015, vol.598
Verification of membrane systems with delays via Petri nets with delays
Aman, Bogdan; Ciobanu, Gabriel
2015
2015, vol.598
A bound for the convergence rate of parallel tempering for sampling restricted Boltzmann machines
Fischer, Asja; Igel, Christian
2015
2015, vol.598
On solving the double loading problem using a modified particle swarm optimization
Tlili, Takwa; Krichen, Saoussen
2015
2015, vol.598
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024