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

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

Chi tiết về thư mục
Parent link:	Системная информатика/ Сибирское отделение РАН; Институт систем информатики. Вып. 9: Формальные методы и модели информатики.— , 1991-
Tác giả khác:	Марчук А. Г. (редактор)
Tóm tắt:	В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений.
Ngôn ngữ:	Tiếng Nga
Được phát hành:	2004
Những chủ đề:	системная информация машины абстрактных состояний языки программирования разработка сети Петри вычислительные процессы машинные коды генерация алгоритмы ограничения распространение интегральные методы
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=78160

Những quyển sách tương tự

Вып. 1: Проблемы современного программирования; Системная информатика
Được phát hành: (1991)

Технология системного моделирования
Được phát hành: (Москва, Машиностроение, 1988)

Формальные языки и компиляторы: учебное пособие для вузов
Bằng: Малявко А. А. Александр Антонович
Được phát hành: (Новосибирск, Изд-во НГТУ, 2014)

Вып. 8: Теория и методология программирования: Сборник научных трудов; Системная информатика
Được phát hành: (2002)

Предметно-ориентированные языки программирования: пер. с англ.
Bằng: Фаулер М. Мартин
Được phát hành: (Москва, Вильямс, 2011)

Язык описания генераторов комбинаторных множеств; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
Bằng: Титков А. В.
Được phát hành: (2008)

Семантические представления
Bằng: Кузнецов И. П. Игорь Петрович
Được phát hành: (Москва, Наука, 1986)

Практика решения инженерных задач на ЭВМ
Bằng: Горинштейн А. М. Анатолий Матвеевич
Được phát hành: (Москва, Радио и связь, 1984)

Теория и технология программирования. Основы построения трансляторов: учебное пособие
Bằng: Карпов Ю. Г. Юрий Глебович
Được phát hành: (СПб., БХВ-Петербург, 2005)

Ч. 1; Информатика
Được phát hành: (1996)

Азбука информатики: руководство для начинающих
Bằng: Зуев А. Н. Алексей Николаевич
Được phát hành: (Ставрополь, Кн. изд-во, 1989)

Фортран ЕС ЭВМ
Được phát hành: (Москва, Статистика, 1978)

Вып. 10: Методы и модели современного программирования; Системная информатика
Được phát hành: (2006)

Электронный язык: пер. с фр.
Bằng: Пуайен Ж. Жак
Được phát hành: (Москва, Физматгиз, 1963)

Информатика и программирование: программные средства реализации информационных процессов: учебник
Bằng: Захарова А. А. Александра Александровна
Được phát hành: (Томск, Изд-во ТПУ, 2013)

Системы обработки информации и управления: Сборник научных трудов
Được phát hành: (СПб., Изд-во СПбГЭТУ, 1994)

Систематический подход к программированию
Bằng: Вьюкова Н. И. Надежда Ивановна
Được phát hành: (Москва, Наука, 1988)

Практический курс программирования на языке PL/I
Bằng: Фролов Г. Д. Геннадий Дмитриевич
Được phát hành: (Москва, Наука, 1983)

Интерпретация данных человеко-машинным интерфейсом SCADA пакета iFIX; Промышленные АСУ и контроллеры; № 8
Bằng: Альперович И. В.
Được phát hành: (2004)

Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем
Bằng: Васильев В. В. Всеволод Викторович
Được phát hành: (Киев, Наук. думка, 1990)

Элементы информатики: учебное пособие для вузов
Bằng: Фролов Г. Д. Геннадий Дмитриевич
Được phát hành: (Москва, Высшая школа, 1989)

Системная диагностика экономики региона
Bằng: Кузнецова О. В. Ольга Владимировна
Được phát hành: (Москва, Либроком, 2012)

Python. Основы программирования: пер. с болг.
Được phát hành: (Москва, АСТ, 2024)

Практикум по программированию на Фортране (ОС ЕС ЭВМ)
Bằng: Бухтияров А. М. Алексей Михайлович
Được phát hành: (Москва, Наука, 1988)

Практикум по программированию на Фортране (ОС ЕС ЭВМ)
Bằng: Бухтияров А. М. Алексей Михайлович
Được phát hành: (Москва, Наука, 1983)

Практикум по программированию на Фортране (ОС ЕС ЭВМ)
Bằng: Бухтияров А. М. Алексей Михайлович
Được phát hành: (Москва, Наука, 1979)

Информатика: учебное пособие
Bằng: Токарева О. С. Ольга Сергеевна
Được phát hành: (Томск, Изд-во ТПУ, 2012)

Вып. 1; Системы и средства информатики
Được phát hành: (1989)

Системная служба для анализа процессов, выполняемых Windows N/T 2000; Информационные технологии; № 8
Bằng: Шевченко А. С.
Được phát hành: (2003)

Программные и вычислительные системы: Методы и языки анализа; Системная информатика
Được phát hành: (1993)

Основы конструирования компиляторов
Bằng: Серебряков Владимир Алексеевич
Được phát hành: (Москва, УРСС, 2001)

[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой; Вычислительные системы
Được phát hành: (1980)

Программирование на языке R-Лисп
Được phát hành: (Москва, Радио и связь, 1991)

Системная эффективность бинарных ПГУ-ТЭЦ; Энергетика: экология, надежность, безопасность
Bằng: Тарабановский А. А.
Được phát hành: (2005)

Руководство по программированию на языке модула-2: пер. с англ.
Bằng: Кристиан К. Кааре
Được phát hành: (Москва, Мир, 1989)

Методы и алгоритмы расчета тепловых сетей
Được phát hành: (Москва, Энергия, 1978)

Толковый словарь по вычислительным системам: пер. с англ.
Được phát hành: (Москва, Машиностроение, 1991)

Толковый словарь по вычислительным системам: пер. с англ.
Được phát hành: (Москва, Машиностроение, 1990)

Проблемы создания интеллектуальных систем поддержки принятия решений: сборник научных трудов
Được phát hành: (Киев, Изд-во АН УССР, 1990)

Основы информатики и вычислительной техники: пробное учебное пособие
Được phát hành: (Свердловск, Изд-во Урал. ун-та, 1989)