1 - 10 из 15Размер страницы: 10
Сортировать по:: Год публикации
  1. 1996

  2. Analysis of the equality relations for the program terms

    Emelianov, P. G., 1 янв. 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Springer-Verlag GmbH and Co. KG, стр. 174-188 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1145).

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

  3. 1997

  4. Semantic analyzer of modula-programs

    Emelianov, P. G. & Baburin, D. E., 1 янв. 1997, Static Analysis - 4th International Symposium, SAS 1997. Springer-Verlag GmbH and Co. KG, стр. 361-363 3 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1302 LNCS).

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

  5. 2000

  6. On the maximal length of a snake in hypercubes of small dimension

    Emelyanov, P. G. & Lukito, A., 6 мая 2000, в: Discrete Mathematics. 218, 1-3, стр. 51-59 9 стр.

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

  7. 2001

  8. Visualization facilities in program reengineering

    Baburin, D. E., Bulyonkov, M. A., Emelianov, P. G. & Filatkina, N. N., 1 мар. 2001, в: Programming and Computer Software. 27, 2, стр. 69-77 9 стр.

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

  9. 2014

  10. Path Reconstruction in the Barning–Hall Tree

    Emelyanov, P. G., окт. 2014, в: Journal of Mathematical Sciences (United States). 202, 1, стр. 72-79 8 стр.

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

  11. 2015

  12. On tractability of disjoint AND-decomposition of boolean formulas

    Emelyanov, P. & Ponomaryov, D., 1 янв. 2015, Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Springer-Verlag GmbH and Co. KG, стр. 92-101 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8974).

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

  13. Algorithmic issues of AND-decomposition of boolean formulas

    Emelyanov, P. G. & Ponomaryov, D. K., 1 мая 2015, в: Programming and Computer Software. 41, 3, стр. 162-169 8 стр.

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

  14. 2016

  15. 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).

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

  16. 2017

  17. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 55-60 6 стр. 8071964

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

  18. 2018

  19. Mobile applications as tools of alternative communication, diagnostics and language development for children with language disorders

    Mozheikina, L. & Emelyanov, P., 1 янв. 2018, Social Informatics - 10th International Conference, SocInfo 2018, Proceedings. Staab, S., Koltsova, O. & Ignatov, DI. (ред.). Springer-Verlag GmbH and Co. KG, стр. 75-84 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11186 LNCS).

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

Назад 1 2 Далее

ID: 3442536