С80 Стил, Аллен. Итерации Иерихона [] : роман ; Смерть капитана Фьючера : повесть / Аллен Стил ; [пер. с англ. М. Б. Левина, К. М. Королева]. - М. : АСТ, 1997. - 478, [2] с. - (Виртуальный мир / оформ.: С. Н. Герцева, А. А. Кудрявцев). - ISBN 5-7841-0617-1 : 4.00 грн
Рубрики: Фантастичні романи та оповідання--Художня література--США, 20 ст.--Збірники Американська література, 20 ст.--Збірники Художня література--США, 20 ст.--Збірники фывфывфыв: фантастика Аннотация: Начало XXI века - время виртуальных сражений, новых компьютерных вирусов и хитроумных хакеров. Репортер Джерри Розен, расследуя убийство друга, внезапно оказывается под огнем, но на помощь ему приходит могущественный искусственный интеллект, рожденный в глубине компьютерных сетей... Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Левин, М. Б. \пер.\; Королев, К. М. \пер.\ Экземпляры всего: 2 АБ (1), ФОНД (1) Свободны: АБ (1), ФОНД (1) |
З-29 Заочные математические олимпиады [] / Н. Б. Васильев и др. ; [ред. Т. Н. Кольченко]. - 2-е изд., перераб. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 176 с. : рис. - Библиогр.: с. 172-176. - 0.30 р.
Рубрики: Математика--Олімпіади--Навчальні видання фывфывфыв: математические олимпиады -- математичні олімпіади -- задачи (математика) -- задачі математика) -- целые числа -- цілі числа -- многочлены -- многочлени -- неравенства -- нерівності -- экстремумы -- екстремуми -- последовательности -- послідовності -- итерации -- ітерації Аннотация: Основу книги составляют задачи, предлагавшиеся на Всесоюзных заочных математических олимпиадах и конкурсах Всесоюзной заочной математической школы для учащихся 7-10 классов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Васильев, Николай Борисович; Гутенмахер, Виктор Львович; Раббот, Жозеф Михайлович; Тоом, Андрей Леонович; Кольченко, Т. Н. \ред.\ Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
Л63 Лисков, Барбара. Использование абстракций и спецификаций при разработке программ [] = Abstraction and Specification in Program Development / Б. Лисков, Дж. Гатэг ; пер. с англ. : С. А. Жигалкина, С. А. Усова, Д. Б. Шехватова. - М. : Мир, 1989. - 424 с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 329-417. - Предм. указ.: с. 418-420. - ISBN 5-03-000489-0 : 2.20 р.
Рубрики: Програмування--Мови програмування--Програмне забезпечення--Наукові видання фывфывфыв: язык программирования СLU -- мова програмування CLU -- процедурная абстракция -- процедурна абстракція -- абстракции данных -- абстракції даних -- исключительные ситуации -- виключні ситуації -- абстракция итерации -- абстракція інтерації -- язык Паскаль -- мова Паскаль -- спецификации -- специфікації -- тестирование -- тестування -- процесс верификации программ -- процес верифікації програм -- разработка программ -- розробка програм -- проектирование -- проектування Аннотация: Способы создания специфических программ, повышающих эффективность разработки информационно-программного обеспечения. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Гатэг, Джон; Жигалкин, С. А. \пер.\; Усов, С. А. \пер.\; Шехватова, Д. Б. \пер.\ Экземпляры всего: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |