681 С 409 Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: А. Г. Марчука (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика). Вып. 10 : Методы и модели современного программирования / [З. В. Апанович и др.] ; под ред. А. Г. Марчука. - Новосибирск : Изд-во СО РАН, 2006. - 242, [1] с. : ил. - Библиогр. в конце ст. - На обл. только загл. сер. - ISBN 5-7692-0870-8 : 150 р.
Рубрики: Программирование--Сборники Кл.слова (ненормированные): ГРАФЫ -- КЛЕТОЧНО-АВТОМАТНЫЕ МОДЕЛИ -- ВЕРИФИКАЦИЯ МОДЕЛЕЙ -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- МУЛЬТИАГЕНТНЫЕ СИСТЕМЫ Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ,а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода Доп.точки доступа: Марчук, Александр Гурьевич (1951-) \ред.\; Апанович, Зинаида Владимировна; Бандман, О. Л.; Гаранина, Н. О.; Шилов, Н. В.; Манцивода, А. В.; Малых, А. А.; Марчук, Александр Гурьевич (1951-) \авт. предисл.\; Непомнящий, В. А. \авт. предисл.\; Марчук, Андрей Гурьевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова Экземпляры всего: 1 Х (1) Свободны: Х (1) |