Вы здесь

Главная

ИСИ СО РАН

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

Использование кластеров при вычислении преобразования Меллина для функций в задачах томографии
Использование неспецифических онтологий для хранения фактографических данных
Исследование вопросов преподавания функционального программирования и компьютерной алгебры в университете
Исследование и разработка методов автоматизации производства программ обработки данных сложной иерархической структуры
Исследование преиму еств кодирования видеопоследовательностей посредством интерполяционного подхода
Исследование социальной истории отечественной информатики: сибирская школа программирования
Исследование тестовых отношений для временных структур событий
Исследование эквивалентностей на гибридно-временных структурах событий
Исследование эквивалентности для структур событий
Исследование эквивалентностных отношений структур событий с дискретным временем
Исследовательская система для анализа текстов на естественном языке
История развития суперкомпьютерной вычислительной техники
Исчисление вычислимых предикатов
Их именами названы институты Новосибирского научного центра
Как найти монетку?
Книжная серия "История информатики" (Краткое содержание)
Конструирование и оптимизация параллельных программ
Конструирование и оптимизация программ
Конструктивное обучение алгебраических сигма-пи-нейронных сетей и корректные сигма-пи-расширения
Контроль динамической семантики предикатной программы
Концептуальный базис трехуровневого метода верификации C# программ
Критерии ЭПИ- и мономорфизма в категориях моделей с реальным временем
Логика фундированных действий
Лого-программирование для младших школьников
льности Института систем информатики им А.П.Ершова за 1997 год
Математическая методика и программа KORAT-3D решения трехмерных задач диффузии нейтронов в групповом приближении на многопроцессорных ЭВМ
Математическое моделирование динамики взаимодействую их популяций с ограниченным временем жизни индивидуумов
Машинно-ориентированные логические методы отображения семантики текста на естественном языке
Машинно-ориентированные методы анализа текста на естественном языке
Международная конференция "Современные проблемы математики, информатики и биоинформатики", посвящённая 100-летию со дня рождения члена-корреспондента АН СССР Алексея Андреевичв Ляпунова
Международные стандарты представления в сети интернет информационных ресурсов по культурному наследию: стандарт ANSI/NISO Z39.50 и профиль CIMI
Меры сложности программ. Обзор
Метод верификации свойств параллелизма временных сетей Петри
Методика подготовки Открытой Всесибирской олимпиады по программированию им. И. В. Поттосина
Методика проектирования сложных цифровых блоков в базисе ПЛИС
Метод профилирования пользователей интернет-порталов средствами semantic web
Метод распараллеливания алгоритмов унимодулярными преобразованиями
Методы декомпозиции программ
Методы и инструменты конструирования и оптимизации программ
Методы и инструменты конструирования программ
Методы и системы автоматического реферирования текстов
Методы межпроцедурного анализа
Методы повышения эффективности поиска информации на основе синтаксического анализа
Методы предикатного программирования: выпуск 2
Методы предикатного программирования: Сборник научных работ
Методы программирования: представление и кодирование информации. Часть 1
Многочлены Эрхарта
Модели жизненного цикла программного обеспечения
Модели и методы построения информационных систем, основанных на формальных, логических и лингвстических подходах
Моделирование динамических конструкций языка Estelle посредством раскрашенных сетей Петри