Journal: Programming and Computer Software

Volume 40, Issue 6

305 -- 313V. B. Betelin, V. A. Galatenko, K. A. Kostyukhin. Controlled execution with explicit model
314 -- 322Mikhail R. Kogalovsky, Sergey Parinov. Social network technologies for semantic linking of information objects in scientific digital library
323 -- 332Sergey D. Kuznetsov, Andrey V. Poskonin. NoSQL data management systems
333 -- 336N. G. Kushik, V. V. Kulyamin, N. V. Evtushenko. On the complexity of existence of homing sequences for nondeterministic finite state machines
337 -- 345V. V. Mazalov, Natalia Nikitina. A CUSUM method to detect and counteract intrusions
346 -- 353I. N. Skopin, D. Yu. Tribis. Logical and set calculations in the framework of geometrical informatics paradigm
354 -- 361S. M. Achasova. Modeling artificial biological cell in fine-grained structure
362 -- 0A. G. Voloboi, E. Yu. Denisov, B. Kh. Barladian. Erratum to: "Testing of Systems for Illumination Simulation and Synthesis of Realistic Images"