|
|
|
|
| LEADER |
00000nam2a2200000 4500 |
| 001 |
113104 |
| 005 |
20231031121721.0 |
| 010 |
|
|
|a 5769208708
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\122338
|
| 090 |
|
|
|a 113104
|
| 100 |
|
|
|a 20070406d2006 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a z 001zy
|
| 200 |
0 |
|
|a Вып. 10: Методы и модели современного программирования
|
| 210 |
|
|
|d 2006
|
| 215 |
|
|
|a 244 с.
|c ил.
|
| 320 |
|
|
|a Библиогр.: с. 240-242.
|
| 330 |
|
|
|a В данный выпуск сборника научных трудов «Методы и модели современного программирования» из серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных авторов, посвященные разнообразным моделям, формализация которых является актуальной проблемой. Среди них графические модели; клеточно-автоматные модели, применяемые в пространственной динамике; модели информационных ресурсов, представленных в Интернете; модели мультиагентных систем. Для их формализации применяются различные методы и алгоритмы. Их обзор представлен в данном сборнике. Благодаря широкому охвату разнообразных проблем и оригинальным результатам этот юбилейный выпуск представляет значительный интерес для широкого круга специалистов по информатике и программированию.
|
| 461 |
|
1 |
|0 (RuTPU)RU\TPU\book\52654
|t Системная информатика
|f Сибирское отделение РАН; Институт систем информатики
|v Вып. 10: Методы и модели современного программирования
|d 1991-
|s Системная информатика
|
| 610 |
1 |
|
|a системная информатика
|
| 610 |
1 |
|
|a графы большого объема
|
| 610 |
1 |
|
|a средства
|
| 610 |
1 |
|
|a компоновочные планы
|
| 610 |
1 |
|
|a оптимизация
|
| 610 |
1 |
|
|a построение
|
| 610 |
1 |
|
|a пространственная динамика
|
| 610 |
1 |
|
|a клеточно-автоматные модели
|
| 610 |
1 |
|
|a семантическое программирование
|
| 610 |
1 |
|
|a знания
|
| 610 |
1 |
|
|a комбинированная логика
|
| 610 |
1 |
|
|a верификация
|
| 610 |
1 |
|
|a представление
|
| 610 |
1 |
|
|a Интернет
|
| 675 |
|
|
|a 681.3.01
|v 3
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20070406
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20151217
|g PSBO
|
| 942 |
|
|
|c BK
|
