期刊


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

2019, vol.53, no.1 2019, vol.53, no.2 2019, vol.53, no.3 2019, vol.53, no.4 2019, vol.53, no.5 2019, vol.53, no.6
2019, vol.53, no.7 2019, vol.53, no.8

题名作者出版年年卷期
The Automation of C Program Verification by the Symbolic Method of Loop Invariant EliminationKondratyev, D. A.; Maryasov, I. V.; Nepomniaschy, V. A.20192019, vol.53, no.7
On the Expressive Power of Some Extensions of Linear Temporal LogicGnatenko, A. R.; Zakharov, V. A.20192019, vol.53, no.7
Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing TasksLagutina, N. S.; Lagutina, K. V.; Adrianov, A. S.; Paramonov, I. V.20192019, vol.53, no.7
On the Support Splitting Algorithm for Induced CodesKosolapov, Yu. V.; Shigaev, A. N.20192019, vol.53, no.7
Synthesis of Control and State Observer for Weakly Nonlinear Systems Based on the Pseudo-Linearization TechniqueMakarov, D. A.20192019, vol.53, no.7
Even Simple pi-Calculus Processes Are Difficult to AnalyzeAbbas, M. M.; Zakharov, V. A.20192019, vol.53, no.7
On Methods of the Verification and Elaboration of Development Programs for Agricultural TerritoriesVice, J. L.; Mikhailov, V. Y.20192019, vol.53, no.7
On Some Problems for a Simplex and a Ball in R-nNevskii, M. V.20192019, vol.53, no.7
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current DefectogramsKuzmin, E. V.; Gorbunov, O. E.; Plotnikov, P. O.; Tyukin, V. A.; Bashkin, V. A.20192019, vol.53, no.7
Comparison of Doubling the Size of Image AlgorithmsVaganov, S. E.; Khashin, S. I.20192019, vol.53, no.7
123



制造业外文文献服务平台