期刊


ISSN0146-4116
刊名Automatic Control and Computer Sciences
参考译名自动控制与计算机科学
收藏年代1999～2023



全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022
2023

2021, vol.55, no.1 2021, vol.55, no.2 2021, vol.55, no.3 2021, vol.55, no.4 2021, vol.55, no.5 2021, vol.55, no.6
2021, vol.55, no.7 2021, vol.55, no.8 2021, vol.55, no.Suppl.1

题名作者出版年年卷期
On the Model Checking Problem for Some Extension of CTL*Gnatenko, A. R.; Zakharov, V. A.20212021, vol.55, no.7
Efficient Equivalence Checking Technique for Some Classes of Finite-State MachinesZakharov, V. A.20212021, vol.55, no.7
Dynamically Changing Parallelism with Asynchronous Sequential Data FlowsLegalov, A. I.; Matkovskii, I. V.; Ushakova, M. S.; Romanova, D. S.20212021, vol.55, no.7
Research and Development of an Algorithm for Response Time Estimation in Multiprocessor Systems under Interval Uncertainty of Task Execution TimesGonopolskiy, M. G.; Glonina, A. B.20212021, vol.55, no.7
Hierarchical Clustering as a Dimension Reduction Technique in the Markowitz Portfolio Optimization ProblemPoletaev, A. Y.; Spiridonova, E. M.20212021, vol.55, no.7
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive FunctionsSokolov, V. A.20212021, vol.55, no.7
VTMine for Visio: A Graphical Tool for Modeling in Process MiningShershakov, S. A.20212021, vol.55, no.7
Markov Model of Nonmutually Exclusive Cyberthreats and Its Applications for Selecting an Optimal Set of Information Security ToolsKassenov, A. A.; Magazev, A. A.; Tsyrulnik, V. F.20212021, vol.55, no.7
Deriving Homing Sequences for Finite State Machines with Timed GuardsTvardovskii, A. S.; Yevtushenko, N. V.20212021, vol.55, no.7
The Branch-and-Bound Algorithm for the Traveling Salesman Problem is Not a Direct AlgorithmMaksimenko, A. N.20212021, vol.55, no.7
123



制造业外文文献服务平台