Диссертации и авторефераты
Машинно-ориентированные логические методы представления смысла текста на естественном языке
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (254.9 КБ)
Анализ свойств параллельных процессов и процессов реального времени, представленных моделями структур событий
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (176.93 КБ)
Методы и алгоритмы распознавания и связываниясущностей для построения систем автоматическогоизвлечения информации из научных текстов
05.13.17 – Теоретические основы информатики
Диссертация в формате PDF (7.13 МБ) (DOI: 10.31144/candis.Bruch.2022.pp112)
Автореферат в формате PDF (335.84 КБ) (DOI: 10.31144/canref.Bruch.2021.pp19)
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (148.02 КБ)
Формальные модели и анализ корректности параллельных систем и систем реального времени
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (222.71 КБ)
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (160.39 КБ)
Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (139.72 КБ)
Адаптивные методы и средства поддержки дистанционного обучения программированию
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (350.45 КБ)
Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Диссертация в формате PDF (7.57 МБ) (DOI: 10.31144/candis.Kond.2022.pp238)
Автореферат в формате PDF (2.35 МБ) (DOI: 10.31144/canref.Kond.2022.pp24)
Научное наследие лидеров физико-математических школ Сибирского отделения АН СССР (Ю.Б. Румер, А.А. Ляпунов, А.П. Ершов)
07.00.10 –История науки и техники
Диссертация в формате PDF (4.53 МБ)
Автореферат в формате PDF (510.85 КБ)
Научная биография академика А.П. Ершова
07.00.10 - история науки и техники
Автореферат в формате PDF (387.76 КБ)
Верификация C-программ с помощью смешанной аксиоматической семантики
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Автореферат в формате PDF (355.96 КБ)
Методы и алгоритмы для решения ряда актуальных задач в области вычислительной нейробиологии, биомеханики и молекулярной биологии
05.13.18 – математическое моделирование, численные методы и комплексы программ
Диссертация в формате PDF (12.07 МБ)
Автореферат в формате PDF (2.33 МБ)
Синтаксическая однозначность при представлении знаний в логике первого порядка
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (280.91 КБ)
Формальная семантика C-light программ и их верификация методом Хоара
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (159.16 КБ)
Алгоритмы и программное обеспечение интерпретации данных радиоактивного каротажа нефтянных скважин
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (213.29 КБ)
Методы и средства программирования в ограничениях для систем автоматизации проектирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (209.21 КБ)
Методы и программные средства для анализа документов на основе модели предметной области
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (402.8 КБ)
Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Автореферат в формате PDF (332.04 КБ)