Вы здесь

Главная

Казань

Связанные издания:

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