-
101
On the Root-class Residuality of HNN-extensions of Groups
Published 2014-08-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
102
Об одном подходе к различению элементов из больших совокупностей традиционных систем символов
Published 2006-05-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
103
Relaxation Cycles in a Model of Synaptically Interacting Oscillators
Published 2017-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
104
About Two Finite-Dimensional Approximations of the Periodic Boundary Value Problem
Published 2011-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
105
A SPIN-based Approach for Detecting Vulnerabilities in C Programs
Published 2011-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
106
LTL Verification of Automaton Programs
Published 2007-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
107
Existence and Stability of Periodic Solutions for Reaction-Diffusion Equations in the Two-Dimensional Case
Published 2016-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
108
Shared Virtual Function Orchestration Technique
Published 2019-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
109
A Novel Approach to Many-to-Many User Authentication in Different Information Systems
Published 2013-08-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
110
On the Characteristic Set of Black and White Digital Image Coefficients Constructed in the Basis of a Hexagonal Lattice
Published 2007-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
111
Automated Search of Rhythm Figures in a Literary Text for Comparative Analysis of Originals and Translations Based on the Material of the English and Russian Languages
Published 2019-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
112
Branch and Bound Algorithm for the Traveling Salesman Problem is not a Direct Type Algorithm
Published 2020-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
113
Polynomial Method for Constructing Equilibrium Configurations of Point Vortices in the Plane
Published 2015-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
114
Дорогие коллеги!
Published 2009-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
115
A Definition of Type Domain of a Parallelotope
Published 2013-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
116
Estimation of interpolation projectors using Legendre polynomials
Published 2024-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
117
Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
Published 2021-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
118
Modeling the influence of external influences on the process of automated landing of a UAV-quadcopter on a moving platform using technical vision
Published 2023-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
119
Building a Data Store with the Dynamic Structure
Published 2016-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
120
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
Published 2020-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article