Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
программирование
Підтеми:
Документи:
- Непли, Э. Программирование на языке модула-2 [Текст] / Э. Непли, Р. Платт ; Под ред. Л.Г.Осетинского. – М. : Радио и связь, 1989. – 304с : ил. – ISBN 5-256-00307-0.
- Непомнящая, А. Ш. Сравнение алгоритмов Прима-Дейкстры и Краскала с помощью ассоциативного параллельного процессора [Текст] / А. Ш. Непомнящая // Кибернетика и системный анализ. – 2000. – № 2. – 19-27.
- Непомнящий, В. А. Верификация финитной итерации над наборами структур данных [Текст] / В. А. Непомнящий // Программирование. – 2002. – № 1. – 3-12.
- Непомнящий, В. А. Верификация финитной итерации над наборами структур данных [Текст] / В. А. Непомнящий // Программирование. – 2002. – № 1. – 3-12.
- Непомнящий, В. А. Символический метод верификации финитных итераций над изменяемыми структурами данных [Текст] / В. А. Непомнящий // Программирование. – 2005. – № 1. – 3-14.
- На пути к верификации С-программ. Язык С-LIGHT и его формальная семантика [Текст] / В. А. Непомнящий, И. С. Ануреев, И. Н. Михайлов, А. В. Промский // Программирование. – 2002. – № 6. – 19-30.
- Непомнящий, В. А. На пути верификации C-программ. Аксиоматическая семантика языка C-kernel [Текст] / В. А. Непомнящий, И. С. Ануреев, А. В. Промский // Программирование. – 2003. – № 6. – 65-80.
- Непомящая, А. Ш. Представление алгоритма Эдмондса для нахождения оптимального ветвления графа на ассоциативном параллельном процессоре [Текст] / А. Ш. Непомящая // Программирование. – 2001. – № 4. – 43-52.
- Верификация коммуникационных протоколов, представленных на языке ESTELLE, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомящий, Г. И. Алексеев, А. В. Быстров [et al.] // Программирование. – 2001. – № 2. – 5-20.
- Верификация коммуникационных протоколов, представленных на языке ESTELLE, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомящий, Г. И. Алексеев, А. В. Быстров [et al.] // Программирование. – 2001. – № 2. – 5-20.
- Нестеров, Ю. Е. Эффективные методы в нелинейном программировании [Текст] / Ю. Е. Нестеров. – М. : Радио и связь, 1989. – 304с. – ISBN 5-256-00524-3.
- Нигиян, С. А. О семантике бестиповых функциональных программ [Текст] / С. А. Нигиян, С. А. Аветисян // Программирование. – 2002. – № 3. – 5-14.
- Никитенко, А. Г. Программирование и применение ЭВМ в расчетах электрических аппаратов [Текст] : Учеб. пособие для вузов / А. Г. Никитенко, В. П. Гринченков, А. Н. Иванченко. – М. : Высш.шк., 1990. – 231с : ил. – ISBN 5-06-000735-9.
- Никитин, А. В. Эволюционная модель оптимизации модульной ассоциативной памяти для машин потока данных на основе генетического алгоритма [Текст] / А. В. Никитин, Л. И. Никитина // Программирование. – 2002. – № 6. – 31-42.
- Никитин, А. В. Эволюционная модель оптимизации модульной ассоциативной памяти для машин потока данных на основе генетического алгоритма [Текст] / А. В. Никитин, Л. И. Никитина // Программирование. – 2002. – № 6. – 31-42.
- Никитченко, Н. С. Композиционно-номинативные аспекты адресного программирования [Текст] / Н. С. Никитченко // Кибернетика и системный анализ. – 2009. – Т. 45, № 6. – С. 24-35.
- Никитченко, Н. С. Пропозициональные композиции частичных предикатов [Текст] / Н. С. Никитченко // Кибернетика и системный анализ. – 2000. – № 2. – 3-19.
- Николсон, Д. Открой для себя Excel 97 [Текст] / Д. Николсон, С. Николсон. – К. : Комиздат; Диалектика, 1997. – 416с : ил. – ISBN 966-506-097-Х.
- Николь, Н. Электронные таблицы Excel 5.0 для квалифицированных пользователей [Текст] : Практ. пособие:Пер. с англ / Н. Николь, Р. Альбрехт. – М. : ЭКОМ, 1995. – 304с : ил. – ISBN 5-87373-018-0.
- Новиков, Б. Темпоральные базы данных: от теории к практическому использованию [Текст] / Б. Новиков, Е. Горшкова // Программирование. – 2008. – № 1. – 3-10.
- Новиков, Ф. А. Дискретная математика для программистов [Текст] : Учебное пособие / Ф. А. Новиков. – СПб : Питер, 2002. – 304 с : ил. – (Учебник для вузов). – ISBN 5-272-00183-4.
- Новосельцев, В. Синтез параллельных рекурсивных программ в структурных функциональных моделях [Текст] / В. Новосельцев // Программирование. – 2007. – № 5. – 75-80.
- Нортон, П. Персональный компьютер фирмы IBM и операционная система MS-DOS [Текст] / П. Нортон ; Пер. с англ. А.А.Батнера; Под ред. А.В.Козлова. – М. : Радио и связь, 1991. – 415с. – ISBN 5-256-00381-Х.
- Нортон, П. Руководство по DOS Питера Нортона [Текст] : Пер. с англ / П. Нортон. – М. : БИНОМ, 1995. – 480с. – ISBN 5-7503-0035-8.
- Нортон, П. Справочное руководство по MS-DOS [Текст] : Пер. с англ / П. Нортон. – М. : Радио и связь, 1992. – 336 с : ил. – ISBN 5-256-00920-6.
- Нортон, П. Программирование на Borland C++ в среде Windows [Текст] : В 2-х томах. Т.1 / П. Нортон, П. Йао. – К. : Диалектика, 1993. – 320с : ил. – ISBN 5-7707-5385-4.
- Нортон, П. Программирование на Borland C++ в среде Windows [Текст] : В 2-х томах. Т.2 / П. Нортон, П. Йао. – К. : "Диалектика", 1993. – 320с : ил. – ISBN 5-7707-5386-2.
- Нортон, П. Язык ассемблера для IBM PC [Текст] : Пер. с англ / П. Нортон, Д. Соухэ. – М. : "Компьютер", 1992. – 352с : ил. – ISBN 5-88201-008-Х.
- Нортон, П. Язык ассемблера для IBM PC [Текст] / П. Нортон, Д. Соухэ. – М. : Компьютер, 1993. – 351с. – ISBN 5-88201-008-Х.
- Нортон, П. ІBM PC и PS/2 [Текст] : Руководство по программированию / П. Нортон, Р. Уилтон ; Пер. с англ. В.Н.Григорьева. – М. : Радио и связь, 1994. – 337с. – ISBN 5-256-00919-2.
- Оберг, Р. Д. Технология COM+ [Текст] : Основы и программирование:Пер. с англ / Р. Д. Оберг. – М. : Издательский дом "Вильямс", 2000. – 480c : ил. – ISBN 5-8459-0084-0.
- Овчинников, А. И. Характеризуемые радикальные дифференциальные идеалы и некоторые свойства характеристических множеств [Текст] / А. И. Овчинников // Программирование. – 2004. – № 3. – 33-43.
- Овчинников, В. Архитектура системы семантической интеграции данных на основе семантически полных модели и языка запросов [Текст] / В. Овчинников // Программирование. – 2006. – № 4. – 57-80.
- Олтман, Р. CorelDRAW 6 для профессионалов [Текст] : Пер. с англ / Р. Олтман. – М. : "Энтроп", 1996. – 640с : ил. – ISBN 5-88547-048-0.
- Олтман, Р. CorelDRAW 7 для профессионалов [Текст] : Пер. с англ / Р. Олтман. – 3-е изд. – М. : "Энтроп", 1997. – 528с : ил. – ISBN 5-88547-060-Х.
- Олтман, Р. Б. Овладеваем PageMaker 5.0 для Windows [Текст] : Пер. с англ / Р. Б. Олтман, Р. Олтман. – М. : Мир, 1996. – 528с : ил. – ISBN 5-03-0031148-0.
- Ольхович, Л. Б. Метод автоматической валидации UML-спецификаций на основе языка ОCL [Текст] / Л. Б. Ольхович, Д. В. Кознов // Программирование. – 2003. – № 6. – 44-50.
- Омельченко, Л. Н. Самоучитель Visual FoxPro 6.0 [Текст] / Л. Н. Омельченко. – СПб. : БХВ-Санкт-Петербург, 2000. – 512 с. – ISBN 5-8206-0058-4.
- Омельченко, Л. Н. Самоучитель Visual FoxPro 6.0 [Текст] / Л. Н. Омельченко. – СПб. : БХВ, 1999. – 512с : ил. – ISBN 5-8206-0058-4.
- Орлик, С. Секреты Delphi на примерах [Текст] : Версии 1 и 2.х / С. Орлик. – М. : Бином, 1996. – 350с : ил. – ISBN 5-89350-027-Х.
- Орловский, Г. В. Введение в архитектуру микропроцессора 80386 [Текст] / Г. В. Орловский. – СПб : Сеанс-Пресс LTD,Центр инфотехнологии ИНФОКОН, 1992. – 240с. – ISBN 5-88-370-001-2.
- Островский, С. Создание иерархического набора записей средствами ADO 2.0 [Текст] / С. Островский // argc & argv. – 2000. – № 11-12. – 12-16.
- Офицеров, Д. В. Программирование на персональных ЭВМ [Текст] : Практикум: Учеб. пособие / Д. В. Офицеров, А. Б. Долгий, В. А. Старых ; Под общ. ред. Д.В.Офицерова. – Мн. : Выш. шк., 1993. – 254с. – ISBN 5-339-00809-6.
- Офицеров, Д. В. Программирование в интегрированной среде Турбо-Паскаль [Текст] : Справ. пособие / Д. В. Офицеров, В. А. Старых. – Мн. : Беларусь, 1992. – 240с : ил. – ISBN 5-338-00964-1.
- О'Хара, Ш. Открой для себя Word 97 [Текст] / Ш. О'Хара. – К. : Диалектика, 1997. – 320с : ил. – ISBN 966-7229-15-7.
- Охотин, А. С. Конъюктивные грамматики и системы языковых уравнений [Текст] / А. С. Охотин // Программирование. – 2002. – № 5. – 3-11.
- Охотин, А. С. Конъюктивные грамматики и системы языковых уравнений [Текст] / А. С. Охотин // Программирование. – 2002. – № 5. – 3-11.
- Очков, В. Ф. Mathcad 8 Pro для студентов и инженеров [Текст] : Учебное пособие / В. Ф. Очков. – М. : КомпьютерПресс, 1999. – 523с : ил. – ISBN 5-89959-066-1.
- Очков, В. Ф. 128 советов начинающему программисту [Текст] / В. Ф. Очков, Ю. В. Пухначев. – 2-е изд. – М. : Энергоатомиздат, 1992. – 257с : ил. – ISBN 5-283-02535-7.
- Очков, В. Ф. 128 советов начинающему программисту [Текст] / В. Ф. Очков, Ю. В. Пухначев. – М. : Энергоатомиздат, 1991. – 256с : ил. – ISBN 5-283-01541-6.
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|