21 - 30 из 63Размер страницы: 10
Сортировать по:: Тип
  1. статья › научная › Прошло рецензирование

  2. Моделирование развивающихся систем с активными элементами

    Скопин, И. Н., 2023, в: Вычислительные технологии. 28, 1, стр. 6-22 17 стр., 1.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. редакционная статья › научная › Прошло рецензирование

  4. International Conference «Marchuk Scientific Readings 2021» (MSR-2021)

    Mikhailov, G. A., Kabanikhin, S. I., Laevsky, Y. M., Penenko, V. V., Glinsky, B. M., Zagorulko, Y. A., Shishlenin, M. A., Podkolodnyy, N. L. & Penenko, A. V., 13 дек. 2021, в: Journal of Physics: Conference Series. 2099, 1, 011001.

    Результаты исследований: Научные публикации в периодических изданиях › редакционная статья › Рецензирование

  5. глава/раздел › научная › Прошло рецензирование

  6. An approach to the construction of robust systems of interacting processes

    Skopin, I. N., 1 янв. 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Том 2. 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  7. Early learning in parallel programming

    Skopin, I. N., 1 янв. 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Том 2. 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  8. статья в сборнике материалов конференции › научная › Прошло рецензирование

  9. 20 Years of Experience in Organizing and Holding of Programming Competitions at the Novosibirsk State University

    Churina, T. & Nesterenko, T., 6 окт. 2020, Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020. Tomilin, A. N. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 139-144 6 стр. 9464935. (Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  10. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., авг. 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., стр. 73-77 5 стр. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  11. Agents as a Tool for the Formation of Algorithmic Thinking of Schoolchildren

    Tikhonova, T., 28 июн. 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 147-149 3 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  12. AND–decomposition of boolean polynomials with prescribed shared variables

    Emelyanov, P., 1 янв. 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer-Verlag GmbH and Co. KG, Том 9602. стр. 164-175 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9602).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  13. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  14. A polynomial time delta-decomposition algorithm for positive DNFs

    Ponomaryov, D., 1 янв. 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 325-336 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11532 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Назад 1 2 3 4 5 6 7 Далее

ID: 3089109