Вып. 9: Формальные методы и модели информатики; Системная информатика

Вып. 9: Формальные методы и модели информатики; Системная информатика

Bibliographic Details
Parent link:	Системная информатика/ Сибирское отделение РАН; Институт систем информатики. Вып. 9: Формальные методы и модели информатики.— , 1991-
Other Authors:	Марчук А. Г. (редактор)
Summary:	В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений.
Language:	Russian
Published:	2004
Subjects:	системная информация машины абстрактных состояний языки программирования разработка сети Петри вычислительные процессы машинные коды генерация алгоритмы ограничения распространение интегральные методы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=78160

Similar Items

Технология системного моделирования
Published: (Москва, Машиностроение, 1988)

Формальные языки и компиляторы: учебное пособие для вузов
by: Малявко А. А. Александр Антонович
Published: (Новосибирск, Изд-во НГТУ, 2014)

Теория вычислительных процессов и структур учебное пособие
by: Егоров Д. Л.
Published: (Казань, КНИТУ, 2018)

Вып. 1: Проблемы современного программирования; Системная информатика
Published: (1991)

Теоретическая информатика. Теория сетей Петри и моделирование систем учеб. пособие
by: Веретельникова Е. Л.
Published: (Новосибирск, НГТУ, 2018)

Предметно-ориентированные языки программирования: пер. с англ.
by: Фаулер М. Мартин
Published: (Москва, Вильямс, 2011)

Теория и технология программирования. Основы построения трансляторов: учебное пособие
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., БХВ-Петербург, 2005)

Информатика и программирование: программные средства реализации информационных процессов: учебник
by: Захарова А. А. Александра Александровна
Published: (Томск, Изд-во ТПУ, 2013)

Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем
by: Васильев В. В. Всеволод Викторович
Published: (Киев, Наук. думка, 1990)

Семантические представления
by: Кузнецов И. П. Игорь Петрович
Published: (Москва, Наука, 1986)

Вып. 1; Системы и средства информатики
Published: (1989)

Корректность параллельных вычислительных процессов
by: Ачасова С. М. Светлана Михайловна
Published: (Новосибирск, Наука, 1990)

[Вып. 42] : Кодирование и передача информации в вычислительных сетях. II; Вопросы кибернетики
Published: (1978)

Теоретические основы информатики: учебное пособие
by: Забуга А. А. Александр Александрович
Published: (Санкт-Петербург, Питер, 2014)

Нейросетевой алгоритм генерации изображений; Молодежь и современные информационные технологии
by: Салимова А. А.
Published: (2021)

Вып. 10: Методы и модели современного программирования; Системная информатика
Published: (2006)

Параллельное программирование мультикомпьютеров
by: Малышкин В. Э. Виктор Эммануилович
Published: (Новосибирск, Изд-во НГТУ, 2006)

Математическое и программное обеспечение САПР сетевых систем: межвузовский сборник
Published: (Йошкар-Ола, Изд-во МарГУ, 1985)

Интерпретация данных человеко-машинным интерфейсом SCADA пакета iFIX; Промышленные АСУ и контроллеры; № 8
by: Альперович И. В.
Published: (2004)

Управление в распределенных интегральных сетях: сборник научных трудов
Published: (Москва, Наука, 1991)

Системная диагностика экономики региона
by: Кузнецова О. В. Ольга Владимировна
Published: (Москва, Либроком, 2012)

[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой; Вычислительные системы
Published: (1980)

Электронный язык: пер. с фр.
by: Пуайен Ж. Жак
Published: (Москва, Физматгиз, 1963)

Логические цепи в цифровой технике: пер. с чеш.
by: Будинский Я. Ярослав
Published: (Москва, Связь, 1977)

Системная музыка в Британии учебное пособие для студентов муз. вузов
by: Алексеева А. Ю.
Published: (Петрозаводск, ПГК им. А. К. Глазунова, 2022)

Проблемы создания интеллектуальных систем поддержки принятия решений: сборник научных трудов
Published: (Киев, Изд-во АН УССР, 1990)

Территориально-производственные комплексы. Прогнозирование процесса формирования с использ. сетей Петри
by: Бандман М. К. Марк Константинович
Published: (Новосибирск, Наука, 1990)

Информатика: учебное пособие
by: Токарева О. С. Ольга Сергеевна
Published: (Томск, Изд-во ТПУ, 2012)

Вычислительные системы, сети и телекоммуникации: учебник
by: Истомин Е. П.
Published: (СПб., Андреевский издательский дом, 2007)

Вып. 6; Модели и системы обработки информации
Published: (1987)

Фортран ЕС ЭВМ
Published: (Москва, Статистика, 1978)

Методы и микропроцессорные средства обработки широкополосных и быстропротекающих процессов в реальном времени
by: Петровский А. А. Александр Александрович
Published: (Минск, Наука и техника, 1988)

Моделе-ориентированная системная инженерия. Метод системной инженерии ARCADIA
by: Батоврин В. К.
Published: (Москва, РТУ МИРЭА, 2021)

Отладка программ в системах 360/370 на основе дампов памяти операционной системы: пер. с англ.
by: Риндфлайш Д. Даниель
Published: (Москва, Машиностроение, 1982)

Читаемый код, или Программирование как искусство
by: Босуэлл Д. Дастин
Published: (СПб., Питер, 2012)

Азбука информатики: руководство для начинающих
by: Зуев А. Н. Алексей Николаевич
Published: (Ставрополь, Кн. изд-во, 1989)

Моделирование систем
by: Кулагин В. П.
Published: (Москва, РТУ МИРЭА, 2022)

Теория и реализация языков программирования
by: Серебряков В. А. Владимир Алексеевич
Published: (Москва, Физматлит, 2012)

Теоретические основы информатики: учебное пособие
Published: (Москва, Академия, 2009)

Язык описания генераторов комбинаторных множеств; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
by: Титков А. В.
Published: (2008)