Вы здесь

Главная

ИСИ СО РАН

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

Отчет о деятельности Института систем информатики им. А.П.Ершова СО РАН в 2015 году
Отчет о научной и научно-организационной деятельности Института систем информатики им. А.П.Ершова за 1996 год
Пакет программ CisSearch для анализа регуляторных последовательностей ДНК
Парадигмы программирования: анализ и сравнение
Парадигмы программирования. Часть 1: Сравнение парадигм программирования
Парадигмы программирования. Часть 2: Языки низкого уровня
Парадигмы программирования. Часть 3: Основные парадигмы программирования. Языки высокого уровня
Парадигмы программирования. Часть 4: Параллельное программирование
Парадигмы программирования. Чать 5: Учебные языки и системы программирования
Параллелизм в Javascript
Параллельная обработка: архитектуры и компьютеры
Параллельные варианты may-тестовых эквивалентностей временных сруктур событий
Параллельные вычисления на графических процессорах
Перспективы систем информатики - рабочий семинар "Наукоемкое программное обеспечение": информационный бюллетень/Шестая международная конференция PSI`06 памяти академика А.П. Ершова . Новосибирск, Академгородок, 28-29 июня 2006
Перспективы систем информатики. Секция "Информатика образования": Доклады и тезисы/Шестая международная конференция PSI 06 памяти академика А. П. Ершова. 26-30 июня 2006, Новосибирск, Академгородок
Перспективы систем информатики, секция "Школьная информатика". Доклады и тезисы IV-й международной конференции памяти академика А.П.Ершова, Академгородок Новосибирск, Россия, 2-6 июля 2001 г.
Перспективы систем информатики: Третья международная конференция памяти академика А.П.Ершова, Новосибирск, Академгородок, Россия, 6-9 июля 1999 года
Поддержка супервычислений и Интернет-ориентированные технологии
Подход к специализации по информатике и программированию в рамках системы непрерывного образования
Подходы к оптимизации программ в системе SFP
Подходы к представлению синтаксиса языков программирования
Поисковая система с элементами лингвистического анализа
По какому предмету олимпиада?
Пособие по написанию разного рода деловых текстов
Постановка задачи верификации предикатных программ
Построение программного комплекса "Regulatory sequences analyzer" для распознавания ЦИС-элементов в последовательностях ДНК
Построение устойчивого информационного об ества: Материалы семинара Проекта ASIS Европейской Комиссии, Новосибирск, 8-9 апреля 1999
Построение хранили а данных ORACLE Business Intelligence (Siebel Analytics)
Почти 30 лет спустя
Представление временных конструкций Estelle в различных моделях временных сетей Петри
Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры
Применение систем переписывания формул в автоматической верификации программ
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки
Применение трехуровневого подхода к верификации программ на языке C#-Light
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL
Принципы конструирования электронного учебника по информационной стилистике русского языка
Принципы целостности и информационной замкнутости и методологическое обоснование освоения информатики
Причинно-следственные структуры с цыетными фишками
Проблема разложимости при формальном описании знаний
Проблемы интеллектуализации и качества систем информатики
Проблемы систем информатики и программирования
Проблемы системной информатики
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов
Проблемы теоретического и экспериментального программирования: Сборник научных трудов
Проблемы траекторного управления. Формализация, отслеживание, параллельные вычисления
Программирование для школьников: сборник задач повышенной сложности с решениями
Программные интерфейсы в трансляторе Модула-2
Программные механизмы автоматизации имитационного моделирования вычислительных систем
Программные системы
Программные средства и математические основы информатики