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

期刊


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

题名作者出版年年卷期
Safe functional systems through integrity types and verified assemblyMcMahan, Joseph; Nichols, Lawton; Roesch, Jared; Sherwood, Timothy; Hardekopf, Ben; Christensen, Michael20212021, vol.851
A simplified run time analysis of the univariate marginal distribution algorithm on LeadingOnesDoerr, Benjamin; Krejca, Martin S.20212021, vol.851
Improved lower bounds for the radio number of treesLiu, Daphne Der-Fen; Saha, Laxman; Das, Satyabrata20212021, vol.851
Exponential upper bounds for the runtime of randomized search heuristicsDoerr, Benjamin20212021, vol.851
Computational power of dynamic threshold neural P systems for generating string languagesHuang, Yue; Yi, Wenmei; Peng, Hong; Wang, Jun; Luo, Xiaohui; Yang, Qian20212021, vol.851
EditorialKari, Lila20212021, vol.851
Local-entity resolution for building location-based social networks by using stay pointsMinatel, Diego; Ferreira, Vinicius; Lopes, Alneu de Andrade20212021, vol.851
A fixed point theorem in rough semi-linear uniform spacesSingh, Pankaj Kumar; Tiwari, Surabhi20212021, vol.851
Power of uninitialized qubits in shallow quantum circuitsTakahashi, Yasuhiro; Tani, Seiichiro20212021, vol.851
On the trace subshifts of fractional multiplication automataKopra, Johan20212021, vol.851
12