Program Systems: Theory and Applications
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Program Systems: Theory and Applications:
Year:
Volume:
Issue:
Page:
Find






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


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
Program Systems: Theory and Applications
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021