Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 5
Отмеченные записи: 0
1.
Подробнее
Котов, Вадим Евгеньевич.
Теория схем программ / В. Е. Котов, В. К. Сабельфельд. - Москва : Наука, 1991. - 248 c. : ил., схем. - Библиогр. : с. 239-245.. - ISBN 5020139742
Рубрики: программирование--теория
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- алгоритмов теория -- автоматов теория -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Сабельфельд, Виктор Карлович
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Теория схем программ / В. Е. Котов, В. К. Сабельфельд. - Москва : Наука, 1991. - 248 c. : ил., схем. - Библиогр. : с. 239-245.. - ISBN 5020139742
| УДК |
Рубрики: программирование--теория
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- алгоритмов теория -- автоматов теория -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Сабельфельд, Виктор Карлович
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
2.
Подробнее
Е 804
Ершов, Андрей Петрович.
Избранные труды / А. П. Ершов ; под ред. И. В. И.В.Поттосина. - Новосибирск : Наука, 1994. - 413 c.. - ISBN 5020303445
Кл.слова (ненормированные):
информатика -- математическое программирование -- языки программирования -- системы программирования -- лексикон программирования
Доп.точки доступа:
Поттосин, Игорь Васильевич \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Е 804
Ершов, Андрей Петрович.
Избранные труды / А. П. Ершов ; под ред. И. В. И.В.Поттосина. - Новосибирск : Наука, 1994. - 413 c.. - ISBN 5020303445
| УДК |
Кл.слова (ненормированные):
информатика -- математическое программирование -- языки программирования -- системы программирования -- лексикон программирования
Доп.точки доступа:
Поттосин, Игорь Васильевич \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
3.
Подробнее
Ланге, Оскар.
Оптимальные решения. Основы программирования / О. Ланге. - Москва : Прогресс, 1969. - 285 c.
Кл.слова (ненормированные):
динамическое программирование -- условия полной неопределённости -- многоцелевое программирование -- программирование -- условия неопределённости -- линейное программирование -- дифференциальное программирование -- математика
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Ланге, Оскар.
Оптимальные решения. Основы программирования / О. Ланге. - Москва : Прогресс, 1969. - 285 c.
| УДК |
Кл.слова (ненормированные):
динамическое программирование -- условия полной неопределённости -- многоцелевое программирование -- программирование -- условия неопределённости -- линейное программирование -- дифференциальное программирование -- математика
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
4.
Подробнее
Васенин, Валерий Александрович.
Средства автоматизированного динамического распараллеливания программ на основе сочетания императивных и функциональных механизмов / В. А. Васенин, А. Н. Водомеров, А. В. Инюхин. - [Москва] : Новые технологии, 2007. - 32 с. : ил., табл. - (Приложение к журналу "Информационные технологии" ; № 5.). - Библиогр. : с. 30-32.
Рубрики: программирование--параллельное--автоматизированное распараллеливание
Кл.слова (ненормированные):
прикладные программы -- автоматизированное распараллеливание программ -- распараллеливание программ -- Т-система автоматизированного распараллеливания -- параллельные программы -- динамическое автоматизированное распараллеливание
Доп.точки доступа:
Водомеров, Александр Николаевич
Инюхин, Александр Валерьевич
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Васенин, Валерий Александрович.
Средства автоматизированного динамического распараллеливания программ на основе сочетания императивных и функциональных механизмов / В. А. Васенин, А. Н. Водомеров, А. В. Инюхин. - [Москва] : Новые технологии, 2007. - 32 с. : ил., табл. - (Приложение к журналу "Информационные технологии" ; № 5.). - Библиогр. : с. 30-32.
| УДК |
Рубрики: программирование--параллельное--автоматизированное распараллеливание
Кл.слова (ненормированные):
прикладные программы -- автоматизированное распараллеливание программ -- распараллеливание программ -- Т-система автоматизированного распараллеливания -- параллельные программы -- динамическое автоматизированное распараллеливание
Доп.точки доступа:
Водомеров, Александр Николаевич
Инюхин, Александр Валерьевич
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
5.
Подробнее
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
| УДК |
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Страница 1, Результатов: 5