Ваш путеводитель
по различным областям знаний

Точность мысли

Разделы:

Computers Science Labo-ratory института SRI
Computers Science Labo-ratory института SRI - Разработчик системы Prototype Verifi-cation System (PVS)

Спасибо Вам за добавление этой статьи в

Рекомендуем книги

Учебное пособие охватывает широкий круг вопросов, связанных с организацией и внедрением информационных технологий на ...

Книга посвящена оригинальной системе автоматизированного проектирования Autodesk Revit Architecture 2008, используемой в ...

В пособии освещаются основные вопросы прикладной информатики в экономике: основные понятия и свойства экономической информации, ...

Учебное пособие предназначено для студентов и слушателей среднего профессионального образования в области информационных и ...

Computers Science Labo-ratory института SRI