З 973.2 Ж352 Жарков, Валерий Алексеевич. Visual C#. NET в науке и технике [Текст] / В. А. Жарков. - М. : Жарков Пресс, 2002. - 638 с. : ил. - 1 экз. Библиогр.: с. 624-629. - Предм. указ.: с. 630-638 Рубрики: программное обеспечение ЭВМ Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З973.2 К289 Касьянов, В. Н. Slicing: срезы программ и их использование [Текст] = Slicing: program slices and their applications / Под ред. Касьянова В.Н.; Рос. акад. наук. Сиб. тод-ние. Ин-т систем информатики им. А.П. Ершова. - Новосибирск : [б. и.], 2002. - 116 с. : ил. - (Сер. "Конструирование и оптимизация программ") Библиогр.: с. 107-114 Рубрики: Программное обеспечение ЭВМ Дескрипторы: моногр Доп.точки доступа: Мирзуитова, И.Л. Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 И21 Иванова, Галина Сергеевна. Технология программирования [Текст] : учеб. для вузов по направлению "Информатика и вычисл. техника", специальностям: "Вычисл. машины, комплексы, системы и сети", "Автоматизир. системы обраб. информ. и упр.", "Програм. обеспечение вычисл. техники и информ. систем" / Г. С. Иванова. - М. : МГТУ им. Н.Э. Баумана, 2002. - 319 с. : ил. - (Информатика в техн. ун-те) Библиогр.: с. 315-317. - Предм. указ.: с. 318-319 Рубрики: программное обеспечение ЭВМ Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 Г207 Гарнаев, Андрей Юрьевич. Visual Studio. NET 2003 [Текст] : самоучитель / Андрей Гарнаев. - СПб. : БХВ-Петербург, 2003. - XVI,666 с. : ил. - 3000 экз.. -
Рубрики: Программное обеспечение ЭВМ Кл.слова (ненормированные): Программирования языки Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 Б725 Бобровский, Сергей Игоревич. Программная инженерия [Текст] : технологии Пентагона на службе рос. программистов / С.И. Бобровский. - СПб. и др. : Питер, 2003. - 221 с. : ил Библиогр.: с. 221 Рубрики: Программное обеспечение ЭВМ Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 М545 Методы предикатного программирования [Текст] = The predicate programming methods : сб. науч. работ / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; Под ред. В. И. Шелехова. - Новосибирск : ИСИ, 2003. - 62 с. ; 21 см. - Библиогр. в конце ст. - 70 экз.. -
Рубрики: Программное обеспечение ЭВМ Предикаты--рекурсивные Предикаты--исчисление Кл.слова (ненормированные): Компьютеры персональные - Программирование Доп.точки доступа: Шелехов, В.И. \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В15 Б644 Биркгоф, Гаррет. Современная прикладная алгебра : учебное пособие / Гаррет Биркгоф, Томас К. Барти ; пер. с англ. Ю. И. Манина. - 2-е изд., стер. - СПб. [и др.] : Лань, 2005. - 400 с. : ил. ; 22 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 391-396. - Библиогр. в конце гл. - Пер. изд. : Modern applied algebra / G. Birkhoff, T. C. Bartee. - 1500 экз.. -
Рубрики: высшая алгебра теория автоматов и управляющих машин программное обеспечение ЭВМ Кл.слова (ненормированные): Алгебра прикладная Доп.точки доступа: Барти, Т.К.; Birkhoff, G. Bartee, T. C. Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Х623(СПД) Р321 Ревинский, Олег Витальевич. Компьютерное программное обеспечение и патентная охрана [Текст] / О.В. Ревинский ; Рос. агенство по пат. и товар. знакам. Информ.-изд. центр. - М. : ИНИЦ Роспатента, 2002. - 110 с. Библиогр.: с. 95-100 Рубрики: Программное обеспечение ЭВМ Патентоведение--патентное право--правовое регулирование--Россия, капиталистические страны Дескрипторы: моногр Экземпляры всего: 1 02, спд (1) Свободны: 02, спд (1) |