期刊


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

2011, vol.45, no.1 2011, vol.45, no.2 2011, vol.45, no.3 2011, vol.45, no.4 2011, vol.45, no.5 2011, vol.45, no.6
2011, vol.45, no.7

题名作者出版年年卷期
Mathematical Models of Economic Systems with Account for the Irreversibility of the Processes Proceeding in ThemA. M. Tsirlin20112011, vol.45, no.7
C-Programs Verification Based on Mixed Axiomatic SemanticsI. S. Anureev; I. V. Maryasov; V. A. Nepomniaschy20112011, vol.45, no.7
On Languages of Automaton Counter MachinesE. V. Kuzmin; D. J. Chalyy20112011, vol.45, no.7
Algorithm for Transforming Models of Business Processes into Monochrome Petri NetsM. G. Dorrer20112011, vol.45, no.7
A Doublestep Extragradient Method for Solving a Problem of the Management of ResourcesA. V. Zykina; N. V. Melen'chuk20112011, vol.45, no.7
On the Reachability Set of Automaton Counter MachinesE. V. Kuzmin; D. J. Chalyy20112011, vol.45, no.7
Distributed Embedded Control System Design with Verification SupportI. V. Shoshmina20112011, vol.45, no.7
F@BOOL@: Experiment with a Simple Verifying Compiler Based on SAT - SolversN. V. Shilov20112011, vol.45, no.7
Verification and Synthesis of Addition Programs under the Rules of Correctness of StatementsV. I. Shelekhov20112011, vol.45, no.7
C Program Verification in SPECTRUM Multilanguage SystemV. A. Nepomniaschy; I. S. Anureev; M. M. Atuchin; I. V. Maryasov; A. A. Petrov; A. V. Promsky20112011, vol.45, no.7
123456



制造业外文文献服务平台