Ю Д28 Декарт, Ренэ. Рассуждение о методе с приложениями: Диоптрика, метеоры, геометрия : пер. с фр. / Р. Декарт ; ред., пер. Г. Г. Слюсарев, А. П. Юшкевич. - [Ленинград] : Изд-во АН СССР, 1953. - 656 с. : рис. - (Классики науки / АН СССР). - Б. ц.
Держатели документа: ИСЭМ Доп.точки доступа: Слюсарев, Г.Г. \ред., пер.\; Юшкевич, А.П. \ред., пер.\ Имеются экземпляры в отделах: ХР Инв.б/н (свободен) |
З 973.5 Г85 Грис, Дэвид. Наука программирования : пер. с англ. / Д. Грис ; ред. А. П. Ершов ; пер. Н. Н. Непейвода. - М. : Мир, 1984. - 416 с. - Библиогр.: с. 413 - 414. - (в пер.) : 1.90 SUR Рубрики: Математическая кибернетика Кл.слова (ненормированные): математика -- кибернетика -- математическая кибернетика -- программа -- программа -- логика -- высказывание -- рассуждение -- предикат -- выбор -- массив -- обозначение -- документирование -- доказательство -- команда -- повторение -- присваивание -- построение -- инвариант Держатели документа: ИСЭМ Доп.точки доступа: Ершов, А. П. \ред.\; Непейвода, Н. Н. \пер.\ Имеются экземпляры в отделах: ХР Инв.34060 (свободен) |