-
401
Erratum to: Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients. II (in Russian)
Published 2016-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
402
Deriving Synchronizing and Homing Sequences for Input/Output Automata
Published 2017-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
403
Редакционная статья
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
404
От редколлегии
Published 2014-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
405
Analysis of Running Waves Stability in the Ginzburg-Landau Equation with Small Diffusion
Published 2011-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
406
The account of delay in a connecting element between two oscillators
Published 2010-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
407
LTL-specification for development and verification of logical control programs in feedback systems
Published 2024-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
408
Stability of the Solutions of the Simplest Space-Distributed Discrete Equations
Published 2017-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
409
Method for Choosing a Balanced Set of Fault Tolerance Techniques for Distributed Computer Cystems
Published 2016-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
410
Impulse Neuron and Cellular Neural Automaton are Asymptotically Equivalent
Published 2014-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
411
Associative Parallel Algorithm for Dynamic Update of the Shortest Paths Tree
Published 2013-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
412
Disordered Oscillations in a Neural Network of Three Oscillators with a Delayed Broadcast Connection
Published 2018-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
413
Stability of the Neuron Model Based on the Equation with Delay
Published 2007-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
414
Automation of Formal Verification of Programs in the Pifagor Language
Published 2015-08-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
415
Semantics-Driven Migration of Java Programs: a Practical Experience
Published 2017-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
416
Convergence of the Difference Solutions of a Dirichlet Problem With a Discontinuous Derivative of the Boundary Function for a Singularly Perturbed Convection-Diffusion Equation
Published 2016-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
417
LTL-Specification of Counter Machines
Published 2021-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
418
A Family of Non-rough Cycles in a System of Two Coupled Delayed Generators
Published 2017-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
419
Equations of Motion of a Rigid Body with Two Elastic Rods
Published 2014-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
420
On a Problem of Optimal Control for a Nonlinear Pseudohyperbolic Equation
Published 2013-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article