Вы здесь

Главная

ИСИ СО РАН

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

Сравнительный анализ тестов на зависимость по данным
Среда программирования: методы и инструменты
Средства и инструменты окружений программирования
Средства поддержки применения графов в информатике и программировании
Средства профилирования программ в системе СОКРАТ
Стандартные и новые подходы к архитектуре и методам обучения в среде SIGNIFICO. Основные направления развития среды
Стандартные и новые подходы к архитектуре и методам обучения в среде SIGNIFICO. Основные направления развития среды
Стандарт языка Модула-2. Пособие для изучения. I
Стандарт языка Модула-2. Пособие для изучения. II
Становление новосибирской школы программирования (мозаика воспоминаний)
Становление программирования в СССР
Становление элементов промышленной технологии программирования в проекте создания оптимизирую его транслятора АЛЬФА-6 (1968-1972 годы)
Стратегии внутрипотоковой сборки мусора и оценка их эффективности
Структурный анализ поведения непрерывно-временных сетей Петри
Стуктурный анализ и систематизация условий олимпиадных задач по программированию
Текущее состояние российских исследований и разработок в области трансляции
Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях
Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей
Теоретические и прикладные задачи информатики: новые подходы и решения: Труды школы-конкурса молодых ученых. Новосибирск, Академгородок, 25 мая - 15 июня 2003 года
Теория систем переписывания формул
Тестирование изменений в программной системе на основе покрытия исходного кода
Тестирование изменений в программной системе на основе покрытия исходного кода
Технологии обработки изображения со спутника
Технологии обработки изображения со спутника
Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB
Технология автоматизации мониторинга и контроля легальности финансовых операций современных кредитных организаций
Технология автоматизации мониторинга и контроля легальности финансовых операций современных кредитных организаций
Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций
Технология программирования на основе недоопределенных моделей
Технология спецификации коммуникационных протоколов
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Труды SORUCOM-2011: /Вторая Международная конференция "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР", 12-16 сентября 2011, Великий Новгород, Россия
Упрощающие процедуры для типов данных, основанные на системах переписывания формул
Учебная программа дисциплины "Математическая лингвистика и обработка текстов на естественном языке"
Учебные материалы к курсу "Преподавание в ВУЗе и профессиональные коммуникации": Учебно-методическое пособие
Федеральное государственное бюджетное учреждение науки Институт систем информатики имени А.П.Ершова СО РАН. Отчет о деятельности в 2012 году
Федеральное государственное бюджетное учреждение науки Институт систем информатики имени А.П.Ершова СО РАН. Отчет о деятельности в 2012 году
Формальная модель диаграммы классов языка UML
Формальная модель диаграммы классов языка UML
Формальная модель основных понятий языка C#
Формальная модель основных понятий языка C#
Функциональное программирование. Парадигма, модели и методы
Функциональный подход к описанию парадигм программирования
Человеко-машинная модель языка мышления
Человеко-машинная модель языка мышления
Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем
Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем
Экспериментальное исследование новой стратегии тестирования
Экспериментальное исследование новой стратегии тестирования