RUS  ENG
Full version
JOURNALS // Program Systems: Theory and Applications // Archive

2014, Volume 5, Issue 3


Information Systems in Medicine
«Virtual hospital» as a way of business processes organization of the inter-agency integration for medical and diagnostic resource, effective methods of data presentation about patients, doctors and cooperating organizations
D. V. Belyshev, A. Y. Vakhrina, E. A. Vlasova, Ya. I. Guliev, R. R. Kadyrmaeva, E. V. Kochurov, O. A. Vogt
3

Mathematical Foundations of Programming
On dependent types and intuitionism in programming mathematics
S. D. Meshveliani
27


© Steklov Math. Inst. of RAS, 2025