Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
автоматический анализ
Связанные издания:
Advances in Visual Computing, Part I: Proc./10th International Symposium, ISVC 2014, Las Vegas,NV,USA, December 2014
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automated Technology for Verification and Analysis: Proc./13th International Symposium, ATVA 2015, Shanghai, China, October 2015
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Internet Science: Revised Selected Papers/INSCI 2018 International Workshops, St.Petersburg, Russia, October 2018
SOFSEM 2017: Theory and Practice of Computer Science: Proc./43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 2017
Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019
Выявление упоминаний лиц в новостных текстах
Исследование матодов автоматического анализа текстов и разработка интегрированной системы семантико-синтаксического анализа
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах