References

Davis, M. and H. Putnam, 1960. A computing procedure for quantification theory. J. ACM., 7: 201-215.
CrossRef  |  Direct Link  |  

Gluhov, V.V., 2003. [Organization of Production: Lean Production]. Peter the Great St Petersburg Polytechnic University, Saint Petersburg, Russia, (In Russian).

Gluhov, V.V., 2008. Menegement. Piter Publisher, Russia,.

Grads, A.P., I.V. Ilyin and S.B. Suloeva, 2008. [Industrial enterprise strategy: Structure, functions, processes, external environment]. Master Thesis, Peter the Great St. Petersburg Polytechnic University, Saint Petersburg, Russia, (In Russian)

Hepelev, S.A., 2005. [Conceptual aspects of optimal industrial enterprise program management]. Russia Creative Economy British Council, Russia. (In Russian)

Kazantsev, A.K., V.V. Kobzev and V.M. Makarov, 2013. [Operations Management]. INFRA-M, Moscow, Russia,.

Massart, T., C. Meuter and V.L. Begin, 2008. On the complexity of partial order trace model checking. Inf. Process. Lett., 106: 120-126.
Direct Link  |  

Nekrasova, T., V. Leventsov and E. Axionova, 2015. Cellular telecommunication services cost formation, lecture notes in computer science. Proceedings of the 15th International Conference on Next-Generation Wired Advanced Networks and Systems and NEW2AN 8th Conference on Internet of Things and Smart Spaces, August 26-28, 2015, SMART Publisher, St. Petersburg, Russia, pp: 559-566.

Richard, B., 2001. [Production and Operations Management]. Williams Publisher, Russia, (In Russian).

Shigaev, A.I., 2008. [Controlling Development Strategy]. Unity-Dana Publisher, Moscow, Russia, (In Russian).

Suloeva, S.B. and N.V. Mukhanova, 2013. [Strategic controlling in the management of an industrial enterprise]. Master Thesis, Peter the Great St. Petersburg Polytechnic University, Saint Petersburg, Russia. (In Russian)

Zagorodnikov, S.B., 2008. [Operative production planirovanie]. Company-Volga Group, Russia, (In Russian)