681 М 545 Методы представления знаний и доказательное программирование : сборник научных трудов / Акад. наук Укр. СССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики им. В. М. Глушкова ; отв. ред.: Е. Л. Ющенко, Ф. И. Андон. - Киев : ИК, 1990. - 116 с. : ил. - Библиогр. в конце ст. - ISBN 5-7702-0043-X : 1.50 р.
Кл.слова (ненормированные): ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММИРОВАНИЕ) Доп.точки доступа: Ющенко, Екатерина Логвиновна \отв. ред.\; Андон, Ф. И. \отв. ред.\; Академия наук Украинской ССР; Научный совет по проблемам "Кибернетика"Институт кибернетики имени В. М. Глушкова Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 М 545 Методы разработки и реализации программного обеспечения ЭВМ : сборник научных трудов / Ин-т электронной техники. - Москва : [б. и.], 1985. - 104 с. - 0.43 р.
Кл.слова (ненормированные): вычислительные машины -- программирование -- программное обеспечение Доп.точки доступа: Институт электронной техники Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 Р 702 Ромм, Яков Евсеевич. Детерминированный информационный поиск на основе сортировки с распараллеливанием базовых операций / Я. Е. Ромм, С. С. Белоконова. - Москва : Научный мир, 2014. - 197 с. : ил. - Библиогр.: с. 178-197. - ISBN 978-5-91522-384-3 : 400 р.
Кл.слова (ненормированные): ИНФОРМАЦИОННЫЙ ПОИСК (АВТОМАТИЗАЦИЯ) -- ИНФОРМАЦИОННЫЙ ПОИСК ДЕТЕРМИНИРОВАННЫЙ -- ПОИСК ИНФОРМАЦИИ (АВТОМАТИЗАЦИЯ) -- МЕТОДЫ ПОИСКА ИНФОРМАЦИИ -- ПАРАЛЛЕЛЬНАЯ СОРТИРОВКА Доп.точки доступа: Белоконова, Светлана Сергеевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |