RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2015, Volume 22, Number 4  


1-Skeletons of the spanning tree problems with additional constraints
V. A. Bondarenko, A. V. Nikolaev, D. A. Shovgenov
453
Algorithms for majority decoding of group codes
V. M. Deundyak, Yu. V. Kosolapov
464
On finite groups with an irreducible character large degree
L. S. Kazarin, S. S. Poiseeva
483
On residual separability of subgroups in split extensions
A. A. Krjazheva
500
On the expressiveness of the approach to constructing PLC-programs by LTL-specification
E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov
507
Development of an adaptive routing mechanism in software-defined networks
A. N. Noskov, I. A. Manov
521
The problem of finding the maximal multiple flow in the divisible network and its special cases
A. V. Smirnov
533
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
V. A. Sokolov, S. V. Korsakov, A. V. Smirnov, V. A. Bashkin, E. S. Nikitin
546
A method of sample models of program construction in terms of Petri nets
D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev
563
Automation of formal verification of programs in the Pifagor language
M. S. Ushakova, A. I. Legalov
578
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019