中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0304-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

2021, vol.849 2021, vol.850 2021, vol.851 2021, vol.852 2021, vol.853 2021, vol.854
2021, vol.855 2021, vol.856 2021, vol.857 2021, vol.858 2021, vol.859 2021, vol.860
2021, vol.861 2021, vol.862 2021, vol.863 2021, vol.864 2021, vol.865 2021, vol.866
2021, vol.867 2021, vol.868 2021, vol.869 2021, vol.870 2021, vol.871 2021, vol.872
2021, vol.873 2021, vol.874 2021, vol.875 2021, vol.876 2021, vol.877 2021, vol.878/879
2021, vol.880 2021, vol.881 2021, vol.882 2021, vol.883 2021, vol.884 2021, vol.885
2021, vol.886 2021, vol.887 2021, vol.888 2021, vol.889 2021, vol.890 2021, vol.891
2021, vol.892 2021, vol.893 2021, vol.894 2021, vol.895 2021, vol.896

题名作者出版年年卷期
The generalized 3-connectivity of two kinds of regular networksWang, Jing20212021, vol.893
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population modelsBentriou, Mahmoud; Ballarini, Paolo; Cournede, Paul-Henry20212021, vol.893
Time complexity analysis of evolutionary algorithms for 2-hop (1,2)-minimum spanning tree problemShi, Feng; Neumann, Frank; Wang, Jianxin20212021, vol.893
The fractional (strong) matching preclusion number of complete k-partite graphLuan, Yu; Lu, Mei; Zhang, Yi20212021, vol.893
Control languages accepted by labeled spiking neural P systems with rules on synapsesZhang, Luping; Xu, Fei; Ramanujan, Ajeesh; Subramanian, K. G.20212021, vol.893
Computing difference abstractions of linear equation systemsAllart, Emilie; Niehren, Joachim; Versari, Cristian20212021, vol.893
A large-scale assessment of exact lumping of quantitative models in the BioModels repositoryPerez-Verona, Isabel Cristina; Tribastone, Mirco; Vandin, Andrea20212021, vol.893
Post-processing optimization for continuous-variable quantum key distributionGyongyosi, Laszlo20212021, vol.893
Long lived transients in gene regulationPetrov, Tatjana; Igler, Claudia; Sezgin, Ali; Henzinger, Thomas A.; Guet, Calin C.20212021, vol.893
Classically simulating quantum circuits with local depolarizing noiseTakahashi, Yasuhiro; Takeuchi, Yuki; Tani, Seiichiro20212021, vol.893
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024