Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Казань
Связанные издания:
Исследования по прикладной математике. Выпуск 3
Исследования по прикладной математике. Выпуск 5
История успеха языка Лого
Междисциплинарное взаимодействие точных и гуманитарных наук: методология и история
Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах
Пример верификации в проекте F@BOOL@
Принципы построения систем коллективного пользования
Проверка моделей распределенных систем с помо ью афинного представления данных
Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы: Труды международной конференции SORUCOM-2014, Казань, Россия, октябрь 2014
Российская информатика в лицах
Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010
Система анализа и верификации С-программ СПЕКТР-2
Системы и информационные технологии обработки естественно-языковых текстов на основе прагматически-ориентированных лингвистических моделей
Транзакционные информационные системы на основе документально-терминологической модели данных
Эффективные алгоритмы в модели квантовых ветвя ихся программ