Showing 481 - 500 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.04s Refine Results
  1. 481
    Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

    Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets by S. A. Chernenok, V. A. Nepomniaschy

    Published 2014-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 482
    Principles of Constructing Layered Neural Networks Based on Pulse Neurons

    Principles of Constructing Layered Neural Networks Based on Pulse Neurons by O. A. Dunaeva

    Published 2011-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 483
    Deductive Verification of Telecommunication Systems Written in C

    Deductive Verification of Telecommunication Systems Written in C by I. S. Anureev

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 484
    The Problem of Integer-valued Balancing of a Three-dimensional Matrix and Network Model

    The Problem of Integer-valued Balancing of a Three-dimensional Matrix and Network Model by A. V. Smirnov

    Published 2009-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 485
    A registration of age groups for the Hutchinson's equation

    A registration of age groups for the Hutchinson's equation by S. D. Glyzin

    Published 2007-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 486
    The Guide-based Automatic Creation of Verified Test Scenarious

    The Guide-based Automatic Creation of Verified Test Scenarious by P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky

    Published 2013-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 487
    On a Mechanism for the Formation of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

    On a Mechanism for the Formation of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems by Evgenii P. Kubyshkin, Vladimir A. Kulikov

    Published 2020-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 488
    On n-Dimensional Simplices Satisfying Inclusions S ⊂ [0, 1]<sup>n</sup> ⊂ nS

    On n-Dimensional Simplices Satisfying Inclusions S ⊂ [0, 1]<sup>n</sup> ⊂ nS by Mikhail V. Nevskii, Alexey Y. Ukhalov

    Published 2017-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 489
    From the Editor of the special issue

    From the Editor of the special issue by S. D. Glyzin

    Published 2016-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 490
    Features of the Local Dynamics of the Opto-Electronic Oscillator Model with Delay

    Features of the Local Dynamics of the Opto-Electronic Oscillator Model with Delay by Elena V. Grigorieva, Sergey A. Kashchenko, Dmitry V. Glazkov

    Published 2018-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 491
    LLVM-based Static Analysis Tool Using Type and Effect Systems

    LLVM-based Static Analysis Tool Using Type and Effect Systems by M. A. Belyaev, V. A. Tsesko

    Published 2011-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 492
    The Application of the Differential Inequalities Method for Proving the Existence of Moving Front Solution of the Parabolic Equations System

    The Application of the Differential Inequalities Method for Proving the Existence of Moving Front Solution of the Parabolic Equations System by N. T. Levashova, A. A. Melnikova, S. V. Bytsyura

    Published 2016-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 493
    Numerical Study of an Initial-Boundary Value Neumann Problem for a Singularly Perturbed Parabolic Equation

    Numerical Study of an Initial-Boundary Value Neumann Problem for a Singularly Perturbed Parabolic Equation by L. P. Shishkina

    Published 2016-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 494
    On the lower estimate for <i>k </i>+ 1-nondecomposible permutations

    On the lower estimate for <i>k </i>+ 1-nondecomposible permutations by G. R. Chelnokov

    Published 2007-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 495
    About One Class of Operators Inclusions

    About One Class of Operators Inclusions by N. A. Demyankov, V. S. Klimov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 496
    Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса

    Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса...

    Published 2006-05-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 497
    Stable Cycles and Tori of a System of Three and Four Diffusive Coupled Oscillators

    Stable Cycles and Tori of a System of Three and Four Diffusive Coupled Oscillators by E. A. Marushkina

    Published 2016-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 498
    On a Function Representation in an Imperative Program Model Specified by Petri Nets

    On a Function Representation in an Imperative Program Model Specified by Petri Nets by G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov

    Published 2011-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 499
    Detecting Mentions of Green Practices in Social Media Based on Text Classification

    Detecting Mentions of Green Practices in Social Media Based on Text Classification by Anna Valerevna Glazkova, Olga Vladimirovna Zakharova, Anton Viktorovich Zakharov, Natalya Nikolayevna Moskvina, Timur Ruslanovich Enikeev, Arseniy Nikolaevich Hodyrev, Vsevolod Konstantinovich Borovinskiy, Irina Nikolayevna Pupysheva

    Published 2022-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 500
    Local Dynamics of Three Coupled Oscillators with a Feedback Loop

    Local Dynamics of Three Coupled Oscillators with a Feedback Loop by A. O. Tolbey

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: