Вы здесь

Главная

Программная инженерия

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

LLVM как инфраструктура разработки компиляторов для встроенных систем
RPM5: новый формат и инструментарий распространения приложений для ОС Linux
Алгоритм построения логических правил при разметке текстов
Выявление упоминаний лиц в новостных текстах
Классификация программ, ориентированная на технологию программирования
Компьютерная реализация устранения избыточных правил в условных системах переписывания
К разработке моделей динамической внешней среды для испытаний заказных программных продуктов
Программные средства верификации описаний комбинационных устройств в процессе логического проектирования
Разработка компонента синтаксического анализа предложений русского языка для интеллектуальной системы обработки естественно-языкового текста
Технология автоматного программирования на примере программы управления лифтом
Технология создания тематических интеллектуальных научных интернет-ресурсов, базирующихся на онтологии
Технология создания тематических интеллектуальных научных интернет-ресурсов, базирующихся на онтологии
Формальные модели программ и языков программирования. Часть 2. Современное состояние исследований
Язык и технология автоматного программирования
Язык и технология автоматного программирования