З97 И 209 Иванова, Галина Сергеевна. Технология программирования : Учеб. для вузов / Г. С. Иванова. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2002. - 319 с. : рис., табл. ; 25 см. - (Информатика в техническом университете / И. Б. Федоров (гл. ред.) и др.). - Библиогр.: с.315-317. - Предм. указ.: с. 318-319. - 3000 экз.. - ISBN 5-7038-2077-4 (в пер.) : 58.10 р. Содержание: Технология программирования. Основные понятия и подходы . - С .12-44 Приемы обеспечения технологичности программных продуктов . - С .45-74 Определение требований к программному обеспечению и исходных данных для его проектирования . - С .75-102 Анализ требований и определение спецификаций программного обеспечения при структурном подходе . - С .103-138 Проектирование программного обеспечения при структурном подходе . - С .139-167 Анализ требований и определение спецификаций программного обеспечения при объектном подходе . - С .168-188 Проектирование программного обеспечения при объектном подходе . - С .189-214 Разработка пользовательских интерфейсов . - С .215-262 Тестирование программных продуктов . - С .263-286 Отладка программного обеспечения . - С .287-299 Составление программной документации . - С .300-310
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
З97 С 800 Стивенс, Род. Программирование баз данных / Р. Стивенс; Пер с англ. [В. Д. Хорева]. - М. : Бином-Пресс, 2003. - 383 с. : ил. ; 24 см. - Авт. на корешке не указ. - 3000 экз.. - ISBN 5-9518-0025-0. - ISBN 0-7897-2681-5 (англ.) : 145.20 р. Пер. изд.: Net Database Programming/ R. Stephens
Рубрики: Программирование Базы данных--Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Хорев, В. Д. \пер.\ Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |
З97 С 284 Седжвик, Роберт Фундаментальные алгоритмы на С : [Пер. с англ.] / Р. Седжвик. - [3-я ред.]. - СПб. : DiaSoft, 2003. - ISBN 0-201-31452-5. - ISBN 0-201-31663-3. Ч. 1-5 : Анализ ; Структуры данных ; Сортировка ; Поиск ; Алгоритмы на графах. - 2003. - 1127 с. : ил. ; 24 см. - 2000 экз.. - ISBN 5-93772-083-0 (в пер.) : 422.40 р.
Рубрики: Алгоритмы фундаментальные Программирование C++--Язык программирования Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
З97 С 284 Седжвик, Роберт Фундаментальные алгоритмы на С : [Пер. с англ.] / Р. Седжвик. - [3-я ред.]. - СПб. : DiaSoft, 2003. - ISBN 0-201-31452-5. Ч. 1-4 : Анализ ; Структуры данных ; Сортировка ; Поиск. - 2003. - 670 с. : ил. ; 24 см. - Предм. указ. к ч. 1-4: с. 663-670. - 2000 экз.. - ISBN 5-93772-081-4 (в пер.) : 264.00 р.
Рубрики: Алгоритмы фундаментальные Программирование C++--Язык программирования Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
З97 С 284 Седжвик, Роберт Фундаментальные алгоритмы на С : [Пер. с англ.] / Р. Седжвик. - [3-я ред.]. - СПб. : DiaSoft, 2003. - ISBN 0-201-31663-3. Ч. 5 : Алгоритмы на графах. - 2003. - 6611127 с. : ил. ; 24 см. - Предм. указ. к ч. 1-4: с. 1123-1127. - 2000 экз.. - ISBN 5-93772-082-2 (в пер.) : 211.20 р.
Рубрики: Алгоритмы фундаментальные Программирование C++--Язык программирования Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
В1 В 949 Вычислительные системы : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С. Л. Соболева. - Новосибирск : Б. и., 1968 - . - ISSN 0568-661X. [Вып.] 152 : Теория вычислений и языки спецификаций / [Редкол.: Ю. Л. Ершов, С. С. Гончаров (науч. ред.) и др.]. - 1995. - 219 с. : табл., граф. ; 20 см. - Библиогр. в конце ст. - Алф. указ.: с. 209-213. - 400 экз.. - 4200.00 р. Содержание: Гумиров, В. Ш. Объективно-ориентированный вариант языка Е-спецификаций / В. Ш. Гумиров. - С .3-20 Юрченко, О. Г. S-программы / О. Г. Юрченко. - С .20-37 Тимофеева, М. К. Формальное описание языков действий / М. К. Тимофеева. - С .38-60 Пальчунов, Д. Е. О логическом анализе естественного языка / Д. Е. Пальчунов. - С .61-75 Москвитин, А. А. Среда спецификационной деятельности СИГМА-Т3 / А. А. Москвитин. - С .76-94 Зыбарев, Е. Ю. Сети Петри как язык спецификаций дискретных систем / Е. Ю. Зыбарев, Ю. М. Зыбарев. - С .95-118 Витяев, Е. Е. Метод тестирования систем аксиом / Е. Е. Витяев, А. Д. Логвиненко. - С .119-139 Латкин, Е. М. SCAM: химический компьютер / Е. М. Латкин. - С .140-151 Височан, А. Л. Немонотонные логики : (краткий обзор) / А. Л. Височан. - С .152-165 Городилов, В. В. Создание проблемно-ориентированной информационной сети поддержки инновационной деятельности / В. В. Городилов, Ю. М. Зыбарев, В. В. Серебрянский. - С .166-185 Зыбарев, Е. Ю. Создание сетевых прикладных информационных систем на основе сочетания различных технологий / Е. Ю. Зыбарев, Ю. М. Зыбарев, Е. Н. Фаддеенков. - С .186-201 Ганов, В. А. Об одном расширении теории SCT Нудельмана / В. А. Ганов. - С .202-208
Рубрики: Математика--Сборники Программирование--Сборники Вычислений теория--Сборники Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Гончаров, С. С. \ред.\; Гусев, В. Д. \ред.\; Ершов, Ю. Л. \ред.\; Евреинов, Э. В. \ред.\; Завьялов, Юрий Семенович \ред.\; Загоруйко, Н. Г. \ред.\; Косарев, Ю. Г. \ред.\; Мирошниченко, В. Л. \ред.\; Скоробогатов, В. А. \ред.\; Фадеев, С. И. \ред.\; Российская академия наук, Сибирское отделение(Новосибирск). Институт математики им. С. Л. Соболева(Новосибирск) Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
З97 Д 138 Давыдов, Владимир Григорьевич. Программирование и основы алгоритмизации : Учеб. пособие для вузов / В. Г. Давыдов. - М. : Высшая школа, 2003. - 448 с. : ил. ; 22 см. - Из содерж.:Базовый язык ; Прикладное программирование. - 3000 экз.. - ISBN 5-06-004432-7 (в пер.) : 245.20 р.
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |
З97 К 834 Кронрод, Александр Семенович. Беседы о программировании / А. С. Кронрод; Предисл. Л. А. Кронрод; Послесл. В. Л. Арлазарова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2004. - 246 с. : ил. ; 20 см. - Библиогр.: с. 229. - 400 экз.. - ISBN 5-354-00565-5 : 134.91 р.
Рубрики: Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Кронрод, Л. А. \авт. предисл.\; Арлазаров, В. Л. \авт. послесл.\ Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
Ш143.21 П 800 Пройдаков, Эдуард Михайлович. Англо-русский толковый словарь по вычислительной технике, Интернету и программированию: [Более 9600 терминов] : словарь / Э. М. Пройдаков, Л. А. Теплицкий. - [3-е изд., испр. и доп.]. - М. : Русская Редакция, 2003. - 627, [1] с. ; 21 см. - Авт. на корешке не указ. - Библиогр.: с. 628. - 6000 экз.. - ISBN 5-7502-0187-2 (в пер.) : 162.70 р.
Рубрики: Английский язык--Словари Вычислительные сети--Словари Интернет--Словари Программирование--Словари Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Теплицкий, Леонид Абрамович Экземпляры всего: 2 ГА (2) Свободны: ГА (2) |
З97 Т 415 Тимофеевская, Марина Сергеевна. Изучаем программирование : Программирование - это очень просто! / М. С. Тимофеевская. - СПб. : Питер, 2002. - 380 с. : ил. ; 20 см. - (Школьный клуб "Компас - компьютерный ас"). - Библиогр.: с. 377-378. - 5000 экз.. - ISBN 5-318-00625-6 : 54.00 р.
Рубрики: Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 1 ЕА (1) Свободны: ЕА (1) |
З97 Ч-188 Чанышев, Олег Георгиевич. Программирование в логике : Учеб. пособие [для студентов мат. фак.] / О. Г. Чанышев; [Рец.: А. Н. Зубков, В. А. Филимонов] ; Ом. гос. ун-т им. Ф. М. Достоевского. - Омск : Изд-во ОмГУ, 2004. - 63 с. ; 21 см. - Библиогр.: с. 63. - 100 экз.. - ISBN 5-7779-0510-3 Содержание: История Пролога . - С .10-12 Синтаксис и семантика Пролог-программ . - С .13-16 Практическое программирование на Прологе . - С .17-39 Простенькая экспертная система . - С .40-50 Базовые понятия и термины Пролога . - С .51-57
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Зубков, А. Н. \рец.\; Филимонов, Вячеслав Аркадьевич \рец.\; Омский государственный университет им. Ф. М. Достоевского (Омск) Экземпляры всего: 2 ДФ (1), ЕА (1) Свободны: ДФ (1), ЕА (1) |
Ш143.21 В 218 Ваулина, Екатерина Юрьевна. Термины современной информатики: программирование, вычислительная техника, интернет : Англ.-рус., рус.-англ. слов.: Более 6000 слов, устойчивых словосочетаний и сокр. / Е. Ю. Ваулина. - М. : ЭКСМО, 2005. - 636, [1] с. ; 21 см. - (Библиотека словарей). - Авт. на корешке не указ. - 3000 экз.. - ISBN 5-699-05439-1 (в пер.) : 134.00 р., 128.70 р.
Рубрики: Английский язык--Словари Программирование--Словари Вычислительная техника--Словари Интернет--Словари Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Рычков, Владимир Николаевич Экземпляры всего: 4 ЕА (3), ЕЧЗ (1) Свободны: ЕА (3), ЕЧЗ (1) |
З97 К 537 Кнут, Дональд Эрвин Искусство программирования = The art of computer programming : учеб. пособие: Пер. с англ. / Д. Э. Кнут; Под общ ред. Ю. В. Козаченко. - 3-е изд. - М. : Вильямс ; СПб. : Вильямс ; Киев : Вильямс, 2000. - (Классический труд). Т. 1 : Основные алгоритмы = Fundamental algorithms / [Пер. и ред.: С. Г. Тригуб и др.]. - 2000. - 712 с. : ил. ; 24 см. - История и библиогр.: с. 512-520. -Основ. обозначения: с. 687-691. -Предм.-имен. указ.: с. 692-712. - 5000 экз.. - ISBN 5-8459-0080-8 (в пер.) Содержание: Алгоритмы . - С .27-36 Математическое введение . - С .37-155 MIX . - С .148-220 Некоторые фундаментальные методы программирования . - С .221-270 Информационные структуры . - С .271-520 Таблицы значения некоторых констант . - С .683-686
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Козаченко, Ю. В. \ред.\; Тригуб, С. Г. \пер.\; Гордиенко, Ю. Г. \пер.\; Красикова, И. В. \пер.\ Экземпляры всего: 2 ЕЧЗ (1), ЕА (1) Свободны: ЕЧЗ (1), ЕА (1) |
З97 Н 550 Несвижский, Всеволод. Программирование устройств SCSI и IDE / В. Несвижский. - СПб. : БХВ-Петербург, 2003. - 584, [1] с. : табл. ; 24 см. - (Мастер программ). - Авт. на корешке не указ. - Библиогр.: с. 585. - 3000 экз.. - ISBN 5-94157-252-2
Рубрики: Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Экземпляры всего: 3 ЕА (3) Свободны: ЕА (3) |
З97 К 537 Кнут, Дональд Эрвин Искусство программирования = The art of computer programming : учеб. пособие: Пер. с англ. / Д. Э. Кнут; Под общ ред. Ю. В. Козаченко. - 3-е изд. - М. : Вильямс ; СПб. : Вильямс ; Киев : Вильямс, 2000. - (Классический труд). Т. 2 : Получисленные алгоритмы = Seminumerical algorithms / [Пер.: Л. Ф. Козаченко и др.]. - 2000. - 828 с. : ил. ; 24 см. - Предм.-имен. указ.: с. 801-828. - 5000 экз.. - ISBN 5-8459-0081-6 (в пер.). - ISBN 0-201-89684-2 (англ.) Содержание: Случайные числа . - С .19-224 Арифметика . - С .225-592 Таблицы значений некоторых констант . - С .791-794
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Козаченко, Ю. В. \ред.\; Козаченко, Ю. В. \пер.\; Тертышный, В. Т. \пер.\; Красиков, И. В. \пер.\ Экземпляры всего: 1 ЕЧЗ (1) Свободны: ЕЧЗ (1) |
З97 К 537 Кнут, Дональд Эрвин Искусство программирования = The art of computer programming : учеб. пособие: Пер. с англ. / Д. Э. Кнут; Под общ ред. Ю. В. Козаченко. - 2-е изд. - М. : Вильямс ; СПб. : Вильямс ; Киев : Вильямс, 2000. - (Классический труд). Т. 3 : Сортировка и поиск = Sorting and Searching / [Пер.: В. Т. Тертышный, И. В. Красиков]. - 2000. - 822 с. : ил. ; 24 см. - Предм.-имен. указ.: с. 804-822. - 5000 экз.. - ISBN 5-8459-0082-4 (в пер.). - ISBN 0-201-89685-0 (англ.) Содержание: Сортировка . - С .19-424 Поиск . - С .425-622 Таблицы значений некоторых констант . - С .794-797
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Козаченко, Ю. В. \ред.\; Тертышный, В. Т. \пер.\; Красиков, И. В. \пер.\ Экземпляры всего: 1 ЕЧЗ (1) Свободны: ЕЧЗ (1) |
З97 Д 799 Дуванов, Александр А.. Азы программирования : факультатив. курс: кн. для ученика / А. А. Дуванов, А. В. Рудь, В. П. Семенко. - СПб. : БХВ-Петербург, 2005. - 342 с. : ил. ; 25 см. - Авт. на корешке не указ. - Предм. указ.: с. 341-342. - 3000 экз.. - ISBN 5-94157-583-1 (в пер.) : 99.00 р.
Рубрики: Программирование--Учебные издания Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Рудь, Алексей В.; Семенко, Виктор П. Экземпляры всего: 2 ЕА (2) Свободны: ЕА (2) |
В18 М 451 Мейер, Бертран Методы программирования : [монография] / Б. Мейер, К. Бодуэн ; пер. с фр. Ю. А. Первина под ред. А. П. Ершова. - М. : Мир, 1982. - Пер. изд. : Methodes de programmation / Bertrand Meyer, Claude Baudoin. - Paris, 1978. Т. 1 / [авт. предисл. А. П. Ершов]. - 1982. - 356 с. : ил. ; 22 см. - 30000 экз.. -
Рубрики: Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Бодуэн, Клод; Первина, Ю. А. \пер.\; Ершов, А. П. \авт. предисл.\; Meyer, Bertrand; Baudoin, Claude Экземпляры всего: 3 ЕА (3) Свободны: ЕА (3) |
В18 М 451 Мейер, Бертран Методы программирования : [монография] / Б. Мейер, К. Бодуэн ; пер. с фр. Ю. А. Первина под ред. А. П. Ершова. - М. : Мир, 1982. - Пер. изд. : Methodes de programmation / Bertrand Meyer, Claude Baudoin. - Paris, 1978. Т. 2. - 1982. - 368 с. : ил. ; 22 см. - Библиогр.: с. 353-364. - 30000 экз.. -
Рубрики: Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Бодуэн, Клод; Первина, Ю. А. \пер.\; Meyer, Bertrand; Baudoin, Claude Экземпляры всего: 3 ЕА (3) Свободны: ЕА (3) |
З97 М 747 Мозговой, Максим В.. Классика программирования: алгоритмы, языки, автоматы, компиляторы : практ. подход / М. В. Мозговой ; [под ред. М. В. Финкова]. - СПб. : Наука и Техника, 2006. - 320 с. : рис. ; 24 см. - (Серия "Секреты мастерства"). - Авт. на корешке не указан. - 3000 экз.. - ISBN 5-94387-224-8
Рубрики: Программирование Держатели документа: Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А Доп.точки доступа: Финков, М. В. \ред.\ Экземпляры всего: 3 ЕА (2), ЕЧЗ (1) Свободны: ЕА (2), ЕЧЗ (1) |