| Issue |
Title |
File |
| Vol 42, No 5 (2016) |
Automatic construction of systems of distributed components from nested Petri nets models |
(Eng)
|
|
Dworzanski L.W., Lomazova I.A.
|
| Vol 42, No 5 (2016) |
Synchronous incremental update of materialized views for PostgreSQL |
(Eng)
|
|
Quoc Vinh N.T.
|
| Vol 42, No 5 (2016) |
Data representation model for in-depth analysis of network traffic |
(Eng)
|
|
Get’man I., Ivannikov V.P., Markin Y.V., Padaryan V.A., Tikhonov A.Y.
|
| Vol 42, No 5 (2016) |
Towards deductive verification of C programs with shared data |
(Eng)
|
|
Mandrykin M.U., Khoroshilov A.V.
|
| Vol 42, No 4 (2016) |
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets |
(Eng)
|
|
Virbitskaite I.B., Borovlev V.A., Popova-Zeugmann L.
|
| Vol 42, No 4 (2016) |
Comparison of specification decomposition methods in Event-B |
(Eng)
|
|
Devyanin P.N., Kulyamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V.
|
| Vol 42, No 4 (2016) |
Conflict resolution in multi-agent systems with typed relations for ontology population |
(Eng)
|
|
Garanina N.O., Sidorova E.A., Anureev I.S.
|
| Vol 42, No 4 (2016) |
On fuzzy repetitions detection in documentation reuse |
(Eng)
|
|
Luciv D.V., Koznov D.V., Basit H.A., Terekhov A.N.
|
| Vol 42, No 4 (2016) |
Checking several requirements at once by CEGAR |
(Eng)
|
|
Mordan V.O., Mutilin V.S.
|
| Vol 42, No 4 (2016) |
Program schemata technique for propositional program logics: A 30-year history |
(Eng)
|
|
Shilov N.V., Shilova S.O., Bernshtein A.Y.
|
| Vol 42, No 3 (2016) |
The use of artificial neural networks for classification of signal sources in cognitive radio systems |
(Eng)
|
|
Adjemov S.S., Klenov N.V., Tereshonok M.V., Chirov D.S.
|
| Vol 42, No 3 (2016) |
Web platforms for scientific research |
(Eng)
|
|
Kryukov A.P., Demichev A.P., Polyakov S.P.
|
| Vol 42, No 3 (2016) |
Evaluation of expression templates in C++14 |
(Eng)
|
|
Lebedev P.A.
|
| Vol 42, No 3 (2016) |
Automatic synthesis of action programs for intelligent robots |
(Eng)
|
|
Osipov V.Y.
|
| Vol 42, No 3 (2016) |
Algorithmic optimization method for effort estimation |
(Eng)
|
|
Silhavy R., Prokopova Z., Silhavy P.
|
| Vol 42, No 3 (2016) |
Developing a software system for automata-based code generation |
(Eng)
|
|
Shulga T.E., Ivanov E.A., Slastihina M.D., Vagarina N.S.
|
| Vol 42, No 3 (2016) |
Features of the deterministic replay in the case of a minimum device set |
(Eng)
|
|
Efimov V.Y., Batuzov K.A., Padaryan V.A., Avetisyan A.I.
|
| Vol 42, No 2 (2016) |
Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients |
(Eng)
|
|
Abramov S.A., Ryabenko A.A., Khmelnov D.E.
|
| Vol 42, No 2 (2016) |
Parameterization of the discriminant set of a polynomial |
(Eng)
|
|
Batkhin A.B.
|
| Vol 42, No 2 (2016) |
Using two types of computer algebra systems to solve maxwell optics problems |
(Eng)
|
|
Kulyabov D.S.
|
| Vol 42, No 2 (2016) |
Partitions of the set of selected unknowns in linear differential–algebraic systems |
(Eng)
|
|
Panferov A.A.
|
| Vol 42, No 2 (2016) |
Approximation of a quantum algorithm for order finding |
(Eng)
|
|
Prokopenya A.N.
|
| Vol 42, No 2 (2016) |
On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions |
(Eng)
|
|
Paramonov S.V.
|
| Vol 42, No 2 (2016) |
An algorithm for constructing Darboux transformations of type I for third-order hyperbolic operators of two variables |
(Eng)
|
|
Shemyakova E.
|
| Vol 42, No 2 (2016) |
Algorithm for construction of volume forms on toric varieties starting from a convex integer polytope |
(Eng)
|
|
Kytmanov A.A., Shchuplev A.V., Zykova T.V.
|
| 176 - 200 of 207 Items |
<< < 3 4 5 6 7 8 9 > >>
|
