Skip to content
Choice of metadata Электронный каталог ДВФУ
Page 1, Results: 2
Report on unfulfilled requests: 0
1.
Подробнее
Системная информатика : сборник научных трудов / [З. В. Апанович, О. Л. Бандман, Н. О. Гаранина и др.] ; под ред. А. Г. Марчука ; Российская академия наук, Сибирское отделение, Институт систем информатики. - Новосибирск : Изд-во Сибирского отделения РАН, 2006 - .
[вып.] 10 : Методы и модели современного программирования / Российская академия наук, Сибирское отделение; Институт систем информатики. - 243 с. : ил. - Авт. указ. на обор. тит. л.. - ISBN 5769208708
Рубрики: вычислительная математика--информатика--программирование--сборники научных трудов
Кл.слова (ненормированные):
программирование (модели) -- системная информатика -- графические модели (программирование) -- визуализация графов -- пространственной динамики модели -- клеточные автоматы (программирование) -- мультиагентных систем модели -- логики знаний (программирование) -- логики действий (программирование) -- верификация моделей (программирование) -- семантическое программирование -- информационных ресурсов модели (интернет)
Доп.точки доступа:
Апанович, З. В.
Бандман, О. Л.
Гаранина, Н. О.
Марчук, А. Г. \ед.\
Российская академия наук. Сибирское отделение; Институт систем информатики
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Системная информатика : сборник научных трудов / [З. В. Апанович, О. Л. Бандман, Н. О. Гаранина и др.] ; под ред. А. Г. Марчука ; Российская академия наук, Сибирское отделение, Институт систем информатики. - Новосибирск : Изд-во Сибирского отделения РАН, 2006 - .
[вып.] 10 : Методы и модели современного программирования / Российская академия наук, Сибирское отделение; Институт систем информатики. - 243 с. : ил. - Авт. указ. на обор. тит. л.. - ISBN 5769208708
| УДК |
Рубрики: вычислительная математика--информатика--программирование--сборники научных трудов
Кл.слова (ненормированные):
программирование (модели) -- системная информатика -- графические модели (программирование) -- визуализация графов -- пространственной динамики модели -- клеточные автоматы (программирование) -- мультиагентных систем модели -- логики знаний (программирование) -- логики действий (программирование) -- верификация моделей (программирование) -- семантическое программирование -- информационных ресурсов модели (интернет)
Доп.точки доступа:
Апанович, З. В.
Бандман, О. Л.
Гаранина, Н. О.
Марчук, А. Г. \ед.\
Российская академия наук. Сибирское отделение; Институт систем информатики
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
2.
Подробнее
Логика и семантическое программирование : сборник научных трудов / Институт математики (Новосибирск) ; Российская академия наук, Сибирское отделение, Институт математики ; науч. ред. : Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [Изд-во Института математики СО РАН], 1992. - 202 c. : ил., табл. - (Вычислительные системы ; вып. 146.). - Библиогр. в конце ст.. - ISBN 5762304175
Рубрики: программирование логическое--сборники научных трудов
Кл.слова (ненормированные):
логическое программирование -- теоретическое программирование -- логические системы программирования -- языки спецификаций (математика) -- семантическое программирование
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Логика и семантическое программирование : сборник научных трудов / Институт математики (Новосибирск) ; Российская академия наук, Сибирское отделение, Институт математики ; науч. ред. : Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [Изд-во Института математики СО РАН], 1992. - 202 c. : ил., табл. - (Вычислительные системы ; вып. 146.). - Библиогр. в конце ст.. - ISBN 5762304175
| УДК |
Рубрики: программирование логическое--сборники научных трудов
Кл.слова (ненормированные):
логическое программирование -- теоретическое программирование -- логические системы программирования -- языки спецификаций (математика) -- семантическое программирование
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Page 1, Results: 2