-
601
On Smoothness in Lp, 0 < p < 1
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
602
Automatic Control Systems Modeling by Volterra Polynomials
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
603
Modeling, Specification and Construction of PLC-programs
Published 2013-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
604
Requirement patterns in deductive verification of poST Programs
Published 2024-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
605
Unbiased Entropy Estimator for Binary Sequences
Published 2013-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
606
Integral near-Eiler characteristics of halftone digital images
Published 2008-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
607
The Dynamics of the Logistic Equation with Delay and Delayed Control
Published 2014-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
608
Nonstationary Equations for the Reaction Layer with the Degenerate Equilibrium Points
Published 2017-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
609
On Verification of PLC-Programs Written in the LD-Language
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
610
Minimal coverage of generalized typed inclusion dependencies in databases
Published 2024-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
611
Robust Error Estimation for Singularly Perturbed Fourth Order Problems
Published 2016-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
612
Construction of CFC-programs by LTL-specification
Published 2016-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
613
Perfect Prismatoids are Lattice Delaunay Polytopes
Published 2014-08-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
614
PDA with Independent Counters
Published 2015-04-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
615
On Simplifying Expressions with Mixed Boolean-Arithmetic
Published 2023-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
616
On an Isomorphism of Compactifications of Moduli Scheme of Vector Bundles
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
617
On Estimation of an Average Time Profit in Probabilistic Environmental and Economic Models
Published 2018-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
618
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
Published 2020-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
619
Closed Locally Minimal Networks on the Surfaces of Convex Polyhedra
Published 2013-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
620
О работе семинара «Нелинейная динамика»
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article