期刊


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

2010, vol.44, no.1 2010, vol.44, no.2 2010, vol.44, no.3 2010, vol.44, no.4 2010, vol.44, no.5 2010, vol.44, no.6
2010, vol.44, no.7

题名作者出版年年卷期
Algorithms for the Boundedness Problem for Minsky Counter MachinesE. V. Kuzmin; D. J. Chalyy20102010, vol.44, no.7
Verification of Synchronous-Automaton Programs with the Use of LTLS. V. Kubasov20102010, vol.44, no.7
On Application of Weaker Simulations to Parameterized Model Checking by Network Invariants TechniqueI. V. Konnov20102010, vol.44, no.7
Decidability of Boundedness Problems for Minsky Counter MachinesE. V. Kuzmin; D. J. Chalyy20102010, vol.44, no.7
On a Class of High-Level Finite-State AutomataR. A. Vinogradov; V. A. Sokolov20102010, vol.44, no.7
Relationships between the Clique Number, Chromatic Number, and the Degree for Some GraphsS. L. Berlov20102010, vol.44, no.7
On a Reachability Set of Automation 3-Counter MachinesE. V. Kuzmin; D. J. Chalyy20102010, vol.44, no.7
Some Methods for Pattern RecognitionI. A. Mikhailov20102010, vol.44, no.7
Linear Metrics for Entropy EstimationN. E. Timofeeva20102010, vol.44, no.7
On 2-Neighborly Polytopes and the Gale ConstructionA. G. Brodskiy20102010, vol.44, no.7
12



制造业外文文献服务平台