Geodesic

Volume 22 (2015) no. 4

Sommaire

1-Skeletons of the spanning tree problems with additional constraints
p. 453-463
Algorithms for majority decoding of group codes
p. 464-482
On finite groups with an irreducible character large degree
p. 483-499
On residual separability of subgroups in split extensions
p. 500-506
On the expressiveness of the approach to constructing PLC-programs by LTL-specification
p. 507-520
Development of an adaptive routing mechanism in software-defined networks
p. 521-532
The problem of finding the maximal multiple flow in the divisible network and its special cases
p. 533-545
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
p. 546-562
A method of sample models of program construction in terms of Petri nets
p. 563-577
Automation of formal verification of programs in the Pifagor language
p. 578-589