Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Техніка програмування. Програмотехніка

Розробка комп'ютерної системи і програмного забезпечення

Підтеми:

• Тестування програмного забезпечення
• Кодування

Документи:

• Автоматизація скінченно-елементного розрахунку процесів у просторових багатокомпонентних середовищах [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Нац. акад. наук України, Ін-т кібернетики ім. В. М. Глушкова. — К., 2008. — 20 с.
• Алгоритмічне та програмне забезпечення для розміщення різногабаритних елементів електронних пристроїв комбінованими методами ієрархічної оптимізації [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Нац. ун-т "Львів. політехніка". — Л., 2008. — 20 с.
• Алгоритмічне та програмне забезпечення для розміщення різногабаритних елементів електронних пристроїв комбінованими методами ієрархічної оптимізації [Текст] : дис. ... канд. техн. наук : 05.13.12 / Нац. ун-т "Львів. політехніка". — Л., 2008. — 172 с.
• Діагностика комп'ютерних засобів [Текст] : електрон. навч.- метод. посіб. / уклад. Г. І. Клим. — 2014.
• Життєвий цикл ПЗ: тестування [Текст] : метод. вказівки до виконання лаб. роботи з дисципліни "Вступ до інженерії програм. забезп." для студентів спец. "Інженерія програм. забезп." / М-во освіти і науки України, Нац. ун-т "Львів. політехніка" ; [уклад.: Є. В. Левус, Т. А. Марусенкова]. — Львів : Вид-во Львів. політехніки, 2016. — 24 с.
• Інформаційна система керування аркушерізальною ротаційною машиною [Текст] : автореф. дис. ... канд. техн. наук ; 05.13.06 / Білан Віталій Петрович. — Л. : Укр. акад. друкарства, 2016. — 24 с.
• Інформаційна система керування аркушерізальною ротаційною машиною [Текст] : дис. ... канд. техн. наук ; 05.13.06 / Білан Віталій Петрович. — Л. : Укр. акад. друкарства, 2016. — 217 с.
• Кодирование информации. Двоичные коды [Текст] : справочник / под ред. Н. Т. Березюка. — Харьков : Вища шк., 1978. — 251 с.
• Кодування інформації і складання програм для верстатів з числовим програмним керуванням [Текст] : метод. вказівки та завдання до практ. і контрол. робіт з курсів "Металорізал. верстати", "Технологія машинобуд. і технол. основи автоматизації", "Програм. керування верстатами" для мех. спец. усіх форм навчання / Львів. політехн. ін-т ; [уклад. Р. В. Юревич]. — Львів : ЛПІ, 1983. — 47 с.
• Комп'ютерні вимірювальні системи для дослідження біопотенціалів зорового аналізатора [Текст] : дис. ... канд. техн. наук : 05.11.05 / Держ. ун-т "Львів. політехніка", Терноп. держ. техн. ун-т ім. І. Пулюя. — Т., 1998. — 150, [8] с.
• Математичне та програмне забезпечення подання відеоконтенту для осіб з вадами зору [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / М-во освіти і науки України, Нац. ун-т "Львів. політехн.". — Львів, 2015. — 20 c.
• Математичне та програмне забезпечення подання відеоконтенту для осіб з вадами зору [Текст] : дис. ... канд. техн. наук : 01.05.03 / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів, 2015. — 162 с.
• Математичні моделі синтезу та оптимізації систем [Текст] : метод. вказівки до практ. робіт з дисципліни "Синтез і дослідж. багаторозряд. код. послідовностей" для студ. спец. 8.05010101 "Інформ. управляючі системи та технології" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка" ; [уклад.: В. В. Різник, Д. Ю. Скрибайло-Леськів]. — Л. : Вид-во Львів. політехніки, 2013. — 20 с.
• Матричные процессоры на СБИС [Текст] / пер. с англ. Ю.Г. Дадаева, Г.Я. Зевина и А.Г. Филина под ред. Ю.Г. Дадаева. — М. : Мир, 1991. — 672 с.
• Методи і засоби проектування архітектури програмного забезпечення з врахуванням вимог якості [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / М-во освіти і науки України, Нац. ун-т "Львів. політехн.". — Львів, 2015. — 20 с.
• Методи і засоби проектування архітектури програмного забезпечення з врахуванням вимог якості [Текст] : дис. ... канд. техн. наук : 01.05.03 / Тернопіл. нац. техн. ун-т ім. Івана Пулюя. — Тернопіль, 2015. — 162 с.
• Методи кодування та цифрової обробки повідомлень в розподілених системах з оптичним каналом зв'язку [Текст] : дис. ... канд. техн. наук : 05.13.13 / Івано-Франк. держ. техн. ун-т нафти і газу. — Івано-Франківськ, 2000. — 170, [5] c.
• Методи та засоби інженерії даних та знань [Текст] : навч. посіб. для студ. вищ. навч. закл. / М-во освіти і науки, молоді та спорту України. — Л. : Магнолія 2006, 2012. — 248 с.
• Методы синтеза систем в целевых программах [Текст] / Ральф Червинский. — М. : Наука, 1987. — 224 с.
• Мнемокод [Текст] : рук. по прогр. 3.131.000.011 / Науч.-исслед. ин-т управляющих вычисл. машин. — Северодонецк : [б. и.], 1972. — 152 с.
• Моделі і інформаційна технологія інтелектуальної обробки даних при створенні пакетів ділової документаціі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2009. — 20 с.
• Практикум по работе и решению типових задач в MS Office [Текст] : учеб.-практ. пособие для иностр. студентов / М-во образования и науки, молодежи и спорта Украины, Харьк. нац. экон. ун-т. — Харьков : Изд-во ХНЭУ, 2012. — 304 с.
• Прикладна програмна система оцінювання знань для комп'ютерного тестування [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Нац. ун-т "Львів. політехніка". — Л., 2008. — 20 с.
• Прикладна програмна система оцінювання знань для комп'ютерного тестування [Текст] : дис. ... канд. техн. наук : 01.05.03 / Нац. ун-т "Львів. політехніка". — Львів, 2008. — 191 с.
• Прикладные методы верификации программ [Текст] / под ред. А. П. Ершова. — М. : Радио и связь, 1988. — 256 с.
• Проектирование автоматизированных информационных систем [Текст] / Борис Хмелевской. — Саратов : Изд-во Сарат. ун-та, 1990. — 100 с.
• Проектування вбудованих комп'ютерних систем [Текст] : електрон. навч.-метод. комплекс / уклад. В. С. Глухов. — 2014.
• Проектування вбудованих комп'ютерних систем [Текст] : метод. вказівки до виконання лаб. робіт для студентів спец. 7.091503 "Спеціаліз. комп'ютер. системи" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка"; [уклад.: Р. В. Кочан, Г. І. Клим]. — Львів : Вид-во Львів. політехніки, 2015. — 24 с.
• Проектування інформаційних систем [Текст] : електрон. навч.-метод. комплекс / уклад. А. В. Дорошенко. — 2015.
• Проектування комп'ютеризованих систем управління [Текст] : електрон. навч.-метод. комплекс / уклад. Р. М. Модла. — 2016.
• Проектування периферійних комп'ютерних мікросистем [Текст] : метод. вказівки до циклу лаборатор. робіт для студ. спец.7.091503 та 8.091503 "Спеціаліз. комп'ют. системи " / Нац. ун-т "Львів. політехніка" ; [уклад.: Я. С. Парамуд, С. В. Хомич, М. О. Хомуляк]. — Л. : Вид-во Нац. ун-ту "Львів. політехніка", 2003. — 52 с.
• Проектування прототипу скалярного RISC-комп'ютера [Текст] : метод. вказівки до курс. проекту з дисципліни "Архіт. обчисл. машин і систем" для студ. баз. напрямку 6.0915 "Комп'ют. інженерія" / Держ. ун-т "Львів. політехніка" ; [уклад.: Л. О. Березко, В. В. Троценко]. — Л. : Вид-во Держ. ун-ту "Львів. політехніка", 1999. — 29 с.
• Производственные методы разработки программ [Текст] / Владимир Волховер, Леонид Иванов. — М. : Финансы и статистика, 1983. — 208 с.
• Рішення задач функціональної компоновки і верифікації при проектуванні конструктивів цифрової апаратури [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Нац. ун-т "Львів. політехніка". — Л., 2010. — 17 с.
• Розрахунок надійності ієрархічних розгалужених систем зі старіючими вихідними елементами [Текст] : навч. посіб. для студ. вищ. навч. закл., які навч. за спец. "Комп'ют. науки" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Л. : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — 72 с.
• Система комп'ютерного перекладу української жестової мови з використанням граматично доповненої онтології [Текст] : автореф. дис. ... канд. техн. наук : 10.02.21 / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів, 2016. — 20 с.
• Система комп'ютерного перекладу української жестової мови з використанням граматично доповненої онтології [Текст] : дис. ... канд. техн. наук : 10.02.21 / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів, 2016. — 160 с.
• Телекомунікаційні системи передавання інформації. Методи кодування [Текст] : навч. посіб. [для студентів напрямів "Телекомунікації", "Інформ. мережі зв'язку"] / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2015. — 476 с.
• Тестирование объектно-ориентированного программного обеспечения [Текст] : практ. пособие / [пер. с англ. С. А. Шестакова ; гл. ред. Ю. М. Артеменко]. — Киев : ООО "ТИД "ДС", 2002. — 432 с.
• Управление конфигурацией программных средств. Практическое руководство по Rational ClearCase [Текст] / Брайен Уайт. — М. : ДМК Пресс, 2002. — 272 с.