Шелехов, Владимир Иванович - Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования [Текст] = Development of effective programs for the standard functions floor, isqrt and ilog2 under predicate programming technology
Карточка
Шелехов, Владимир Иванович.
Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования [Текст] = Development of effective programs for the standard functions floor, isqrt and ilog2 under predicate programming technology / В. И. Шелехов. - Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2010. - 42 с.; 21 см. - (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 154).
(Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 154)
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование
Предикатное программирование(компьют.)
Шифр хранения:
FB 3 10-7/2387
Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования [Текст] = Development of effective programs for the standard functions floor, isqrt and ilog2 under predicate programming technology / В. И. Шелехов. - Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2010. - 42 с.; 21 см. - (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 154).
(Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 154)
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование
Предикатное программирование(компьют.)
Шифр хранения:
FB 3 10-7/2387
Описание
Автор | Шелехов, Владимир Иванович |
---|---|
Заглавие | Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования [Текст] = Development of effective programs for the standard functions floor, isqrt and ilog2 under predicate programming technology |
Коллекции ЕЭК РГБ | Каталог документов с 1831 по настоящее время |
Дата поступления в ЭК | 01.11.2010 |
Каталоги | Книги (изданные с 1831 г. по настоящее время) |
Сведения об ответственности | В. И. Шелехов |
Выходные данные | Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2010 |
Физическое описание | 42 с.; 21 см |
Серия | (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 154) |
Тема | Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование |
Предикатное программирование(компьют.) | |
BBK-код | З973.2-018,0 |
Язык | Английский |
Русский | |
Места хранения | FB 3 10-7/2387 |