Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration von Romm, Ya. E., Tyushnyakova, I.A.

Volltext

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms von Akulovskiy, V.G.

Volltext

Some aspects of formalization of an architectural development cycle of algorithms von Akulovskiy, V.G.

Volltext

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems von Kolchin, A.V.

Volltext

Methods of forward and backward symbolic modeling of systems specified by basic protocols von Potienko, S.V.

Volltext

Optimization of checking the feasibility of transitions when verifying formal models von Kolchin, A.V.

Volltext

Medical-physiological simulators: the necessity and problems von Grygoryan, R.D., Deriev, I.I., Aksenova, T.V., Lisov, A.N.

Volltext

A software simulator of an aerobic cell responses to energy disbalance von Grygoryan, R.D., Aksenova, T.V., Deriev, І.І.

Volltext

Software simulator of the pancreas von Grygoryan, R.D., Aksonova, T.V., Mar­ke­vich, R.A., Deryev, I. I.

Volltext

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations von Nepomniaschaya, A.S.

Volltext

Test scenarios generation based on formal model von Letichevsky, A.A., Kolchin, A.V.

Volltext

Backward transformation of formulas in symbolic modeling: from the result to the source formula von Godlevsky, A.B., Potienko, S.V.

Volltext

The models of the quality expert analysis for the decisions made under target programming von Ilyina, E.P.

Volltext

Portfolio model for decision process concerning organizational change management von Slabospitskaya, O.A.

Volltext

Software technology for conducting simulation experiments with mathematical models of physiological systems von Aksnova, T.V.

Volltext

An intellectual information technology for organizational de­cisions expert-analytical sup­port von Ilyina, O.P., Sinitsyn, I.P., Slabospitska, O.O., Yablokova, T.L.

Volltext

Using of the Conceptual and Retrospective Knowledge for Risk Mitigation in the Delphi Procedures for the Strategic Management von Ilyina, O.P.

Volltext

Construction concepts of the integrated environment architecture of generative programming von Morentsov, Y.I.

Volltext

Virtual museum of informatics history in Siberia von Kasyanov, V.N., Nesgovorova, G.P., Volyanskaya, T.A.

Volltext

Solving contest problems via formal program verification von Shilov, N.V., Shilova, S.O.

Volltext