И 74 Информатика и программирование на ЭВМ [Текст] : задания к лаб.работам / М-во образования Респ.Казахстан.Каз.гос.архитектурно-строит.акад.Каф.приклад.математики и вычисл.техники;Сост.Е.Е.Ягодина. - Алматы : КазГАСА, 1996. - 20 с. - Б. ц.
Доп.точки доступа: Ягодина, Елена Евгеньевна \сост.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Л 20 Лалеман, Мишель. Liber. Информационная система для библиотек [Текст] / М. Лалеман. - М. : Изд-во ГПНТБ России, 1993. - 94 с. - ISBN 5-85638-022-3 : Б. ц.
Программа Liber Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Руководство по разработке диалоговых программ и их отладке на ЭВМ СМ-4 [Текст] : метод.указ.для студентов спец.0646(04) / Сост.Ш.И.Джарболов ; М-во высш.и сред.спец.образования Каз.ССР.Каз.политехн.ин-т.Каф.техн.кибернетики. - Алма-Ата : [б. и.], 1986. - 67 с. - Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Кинг, Дейвид. Создание эффективного программного обеспечения [Текст] : пер.с англ. / Д. Кинг ; ред. В. В. Мартынюк. - М. : Мир, 1991. - 287 с. - Б. ц.
Доп.точки доступа: Мартынюк, В.В. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Бек, Л. Введение в системное программирование [Текст] : монография / Л. Бек; Пер.с англ.Н.А.Богомолова и др. ; Под ред.Л.Н.Королева. - М. : Мир, 1988. - 448 с. : ил. - ISBN 5-03000011-9 : Б. ц.
Кл.слова (ненормированные): ассемблер -- загрузчики -- макропроцессоры -- компиляторы -- операционные системы Доп.точки доступа: Богомолов, Н.А. \пер.\; Королев, Л.Н. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Горстко, А. Б. Азбука программирования: информатика для всех [Текст] : монография / А.Б. Горстко, С.В. Кочковая. - М. : Знание, 1988. - 140 с. : ил. - Библиогр.:с.142 (5 назв.). - Б. ц.
Кл.слова (ненормированные): Компьютеры Доп.точки доступа: Кочковая, С.В. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Липаев, В. В. Проектирование программных средств [Текст] : учеб.пособие для вузов / В.В. Липаев. - М. : Высш.шк., 1990. - 301 с. : ил. - Библиогр.:с.301-302 (31 назв.). - ISBN 5-06-001570-X : Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Простое и сложное в программировании [Текст] : монография / Ю.С.Вишняков [и др.] ; Под ред.И.М.Макарова. - М. : Наука, 1988. - 169 с. : ил. - (Кибернетика: неограниченные возможности и возможные ограничения). - ISBN 5-02-006595-1 : Б. ц.
Доп.точки доступа: Вишняков, Ю.С.; Макаров, И.М. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Тоценко, В. Г. Корректность, устойчивость, точность программного обеспечения [Текст] : монография / В.Г.Тоценко, А.В.Александров, Н.Б.Парамонов. - Киев : Наук.думка, 1990. - 194 с. : ил. - Библиогр.:с.192-195 (90 назв.). - ISBN 5-12-001805-X : Б. ц.
Доп.точки доступа: Александров, А.В.; Парамонов, Н.Б. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Агафонов, В. Н. Спецификация программ:понятийные средства и их организация [Текст] : монография / В.Н. Агафонов; Под ред.В.Е.Котова. - 2-е изд., перераб.и доп. - Новосибирск : Наука.Сиб.отд-ние, 1990. - 220 с. - Библиогр.:с.210-215(156 назв.). - ISBN 5-02-029666-X : Б. ц.
Доп.точки доступа: Котов, В.Е. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Безруков, Н. Н. Информационные системы для сопровождения и разработки программного обеспечения [Текст] / Н.Н.Безруков,Ю.П.Лященко. - М. : ВЦ АН СССР, 1990. - 68 с. - (Сообщения по программному обеспечению / АН СССР, ВЦ). - Библиогр.:с.65-68(43 назв. - Б. ц.
Доп.точки доступа: Лященко, Ю.П. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Б 54 Бетелин, В. Б. Системы автоматизации труда программиста [Текст] / В.Б. Бетелин. - М. : Наука, 1990. - 174 с. : ил. - (Библиотечка программиста ; вып.64). - Библиогр.в конце глав. - ISBN 5-02-014379-0 : Б. ц.
Кл.слова (ненормированные): Вычислительные машины электронные Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
В 74 Вопросы конструирования библиотек программ:системное и функциональное наполнение [Текст] / О.Б.Арушанян,Н.А.Богомолов,В.М.Борисов и др. ; МГУ им.М.В.Ломоносова. - М. : Изд-во МГУ, 1990. - 103 с. - Библиогр.:с.102-103(28 назв.). - ISBN 5-211-02426-5 : Б. ц.
Доп.точки доступа: Арушанян, О.Б.; МГУ им.М.В.Ломоносова (М.) Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
А 86 Арушанян, О. Б. Автоматизация конструирования библиотек программ [Текст] : учебное пособие / О.Б. Арушанян. - М. : Изд-во МГУ, 1988. - 247 с. - ISBN 5-211-00151-6 : Б. ц.
Кл.слова (ненормированные): вычислительные машины Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
К 26 Карповский, Е. Я. Надежность программной продукции [Текст] / Е.Я.Карповский, С.А.Чижов. - Киев : Тэхника, 1990. - 158 с. : ил. - Библиогр.:с.154-157 (82 назв.). - ISBN 5-335-00586-6 : Б. ц.
Доп.точки доступа: Чижов, С.А. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр. [Текст] / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. ; Науч.ред.Е.Д.Смирнова. - М. : Наука, 1990. - 238 с. : ил. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.:с.231-235 (52 назв.). - ISBN 5-02-007156-0 : Б. ц.
Вычислительные машины электронные--программирование Доп.точки доступа: Алешина, Н.А.; Смирнова, Е.Д. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
П 52 Полонников, Р. И. Методы оценки показателей надежности программного обеспечения [Текст] / Р.И. Полонников, А.В. Никандров. - СПб. : Политехника, 1992. - 77 с. - Библиогр.:с.74-76 (48 назв.). - ISBN 5-7325-0185-1 : Б. ц.
Доп.точки доступа: Никандров, А.В. Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
С 40 Система программирования ЛС-7:Материалы по мат.обеспечению ЭВМ [Текст] / АН БССР ; Ин-т техн.кибернетики; Авт.-сост. Н.Р.Торопов и др. - Минск : ИТК, 1990. - 63 с. - Библиогр.: с.62 (10 назв.) . - Б. ц.
Доп.точки доступа: Торопов, Н.Р. \сост.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Т 38 Технология программирования: методы и средства: (Современное состояние) [Текст] / С.М. Абрамович, О.В. Бляхеров, А.А. Букатов, В.Л. Рутман ; Под ред. С.М. Абрамовича, В.Л. Рутмана. Рос. гос. ун-т- Ростов н/Д. - Ростов н/Д : Изд-во Рост.ун-та, 1992. - 297 с : ил. - Библиогр.: с.289-294 . - ISBN 5-7507-0262-6 : Б. ц.
Доп.точки доступа: Абрамович, С.М. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
А 23 Агафонов, В. Н. Спецификация программ: понятийные средства и их организация [Текст] / В.Н. Агафонов; Отв.ред.А.П.Ершов, Б.С.Елепов ; АН СССР, Сиб.отд-ние, ВЦ, ГПНТБ. - Новосибирск : Наука.Сиб.отд-ние, 1987. - 237 с. : ил. - Библиогр.: с.233-238 (130 назв.) . - Б. ц.
Доп.точки доступа: Ершов, В.Н. \ред.\; Елепов, Б.С. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |