Russian Dissertation Library

Mathematical and software support of computing systems, complexes and computer networks

code 2.3.5. • before 2022: 05.13.11 “Mathematical and software support of computers, computer complexes and computer networks”

  1. Dissertation
    Verification of distributed programs by the model checking method

    Tsar'kov, Dmitriy Viktorovich · 2002 · Candidate of Sciences

  2. Dissertation
    Translation of parallel programs described by Petri nets into an executable representation

    Kharitonov, Dmitriy Ivanovich · 2002 · Candidate of Sciences

  3. Dissertation
    Column generation in the simplex method: issues of software implementation

    Li, Khe Ran · 2002 · Candidate of Sciences

  4. Dissertation
    Organization of mobile agent systems

    Kholod, Ivan Ivanovich · 2002 · Candidate of Sciences

  5. Dissertation
    Object-relational dualism in the construction of large information systems

    Khatkevich, Mark Ivanovich · 2002 · Candidate of Sciences

  6. Dissertation
    Models and algorithms for processing data and knowledge to improve the efficiency of predicting the parameters of complex objects

    Khuramshin, Rustem Ishtimerovich · 2002 · Candidate of Sciences

  7. Dissertation
    Methods and tools for modeling dynamic systems with intelligent components

    Yasnetsky, Yevgeny Anatolyevich · 2001 · Candidate of Sciences

  8. Dissertation
    Development and implementation of a Java suite with TRIZ elements for creative navigational search on the network

    Yaroslavsky, Vladimir Valeryevich · 2001 · Candidate of Sciences

  9. Dissertation
    Graphical model for the specification and synthesis of the user interface of automated information systems

    Yankelevich, Andrey Alexandrovich · 2001 · Candidate of Sciences

  10. Dissertation
    A system for automating modelling based on the visualized representation of models in the formalism of algorithmic networks

    Bykov, Yaroslav Andreyevich · 2001 · Candidate of Sciences

  11. Dissertation
    A logical approach to the development of an automated system for generating postoperative conclusions and analyzing data in new medical technologies

    Shevchenko, Aleksandr Nikolayevich · 2001 · Candidate of Sciences

  12. Dissertation
    Development of mathematical and software support for investigating a method for calculating structures under dynamic loading

    Shilin, Aleksey Valeryevich · 2001 · Candidate of Sciences

  13. Dissertation
    Analysis of the security of dynamic identification codes for access to the resources of computer networks

    Sheptunov, Maxim Valeryevich · 2001 · Candidate of Sciences

  14. Dissertation
    Research and development of methods and software systems for decision-making support in emergencies involving radioactive contamination of the natural environment

    Shershakov, Vyacheslav Mikhailovich · 2001 · Doctor of Sciences

  15. Dissertation
    Mathematical and software support for decision-making in the selection of microcontroller system structures

    Chapagain, Eka Naraen · 2001 · Candidate of Sciences

  16. Dissertation
    Semiotic aspects of an intelligent system for assessing the strategic production capabilities of countries

    Fedoseeva, Irina Nikolaevna · 2001 · Candidate of Sciences

  17. Dissertation
    Theory of directed relations and its applications

    Falk, Vadim Nikolaevich · 2001 · Doctor of Sciences

  18. Dissertation
    Methodology of logical modeling of the software development process based on EDA technology

    Fomin, Vladimir Vladimirovich · 2001 · Doctor of Sciences

  19. Dissertation
    Development of an integrated conceptual model of natural-technical complexes and methods for situational control of their structure

    Fridman, Aleksandr Yakovlevich · 2001 · Doctor of Sciences

  20. Dissertation
    Mathematical methods and algorithms for digital image compression using orthogonal transforms

    Umnyashkin, Sergey Vladimirovich · 2001 · Doctor of Sciences