Электронный каталог

Книга
УДК 519 С409

Системная информатика. Вып.9: Формальные методы и модели информатики : сборник научных трудов / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Ред. А. Г. Марчук . – Новосибирск : Изд-во СО РАН, 2004 . – 360 с. - ISBN 5-7692-0700-0 .

519 С409

Тезаурус = ГАСНТИ 27.47.21
Тезаурус = ГАСНТИ 50.05.09
Тезаурус = ГАСНТИ 50.41
Тезаурус = Математика : математическая кибернетика : теория математических машин и программирование
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций
Тезаурус = Автоматика. Вычислительная техника : программное обеспечение вычислительных машин, комплексов и сетей

1041851 Кх