681.3/M94     Mulkers, A.     Live Data Structures in LogicPrograms [Text] : derivation by Means of Abstract Interpretation / A. Mulkers. - Berlin;Heidelberg etc. : Springer, 1993. - VIII,220 p. - (Lecture Notes in Computer Science;675). - ISBN 3-540-56694-5 : Б. ц. Bibliogr.p.:213-220 УДК 681.3.06 Рубрики: Активная структура данных в логической программе Кл.слова (ненормированные): Структура данных -- Анализ Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1)

51/К669     Кормен, Т.     Алгоритмы: построение и анализ [] : учебное пособие / Т.Кормен, Ч.Лейзерсон, Р.Ривест. - М. : МЦНМО, 2000. - 960 с. : ил. - (Классические учебники:Computer science) (Классические учебники:Computer science). - ISBN 5-900916-37-5 : 2835 тг. - ISBN 5-900916-37-5 : 2835-00 тг ГРНТИ 27.03 УДК 510.51(075) Рубрики: Алгоритмы--Учебники Кл.слова (ненормированные): функции -- суммирование -- множества -- порядковая статистика -- структура данных -- методы построения -- вычисления Держатели документа: Павлодарский филиал РНТБ Казахстана Доп.точки доступа: Лейзерсон, Ч. Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1)