Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Автореферати дисертацій (8)Реферативна база даних (188)
Пошуковий запит: (<.>U=З973-018.025$<.>)
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
...
1.
РА304254
Шимаров, Владимир Александрович.
Методы и инструменты контроля качества программ на основе структуры передач управления [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Шимаров Владимир Александрович ; АН БССР, Ин-т математики. - Минск, 1989. - 21 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
АН БССР; Институт математики (Минск)

Видання зберігається у :
Основний фонд

2.
РА439425
Чопей, Ратібор Степанович.
Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Чопей Ратібор Степанович ; Нац. ун-т "Львів. політехніка". - Львів, 2019. - 20 с. : рис.

Рубрикатор НБУВ:
 З970.73-018.1 
 З973-018.025 
УДК:
 004.03:004.415.5 
Тематичні рубрики:
 Обчислювальні системи реального часу 
 Випробування і налагодження програм 


Дод. точки доступу:
"Львівська політехніка", національний університет

Видання зберігається у :
Основний фонд

3.
ВС39463
Ховард, Майкл.
Защищенный код [Текст] / М. Ховард, Д. Лебланк ; общ. ред. пер. с англ. А. Р. Врублевский. - 2.изд., испр. - М. : Русская Редакция, 2004. - 671 с.: рис., табл. - (Фундаментальные знания). - Библиогр.: с. 653-657. - ISBN 5-7502-0238-0. - ISBN 0-7356-1722-8 (англ.)

Рубрикатор НБУВ:
 З973-018.025 
 З973-018.10 
Тематичні рубрики:
 Випробування і налагодження програм 
 Якість програмних засобів 


Дод. точки доступу:
Лебланк, Дэвид; Врублевский, А. Р. (общ. ред. пер. с англ.)

Видання зберігається у :
Основний фонд

4.
ВА713176

Тестування комп'ютерних засобів [Текст] : метод. вказівки до лаб. робіт / уклад. В. Я. Ляшкевич, О. Я. Олар ; Чернівецький національний ун-т ім. Юрія Федьковича. Кафедра комп'ютерних систем і мереж. - Чернівці : Рута, 2008. - 55 с. - Бібліогр.: с. 55

Рубрикатор НБУВ:
 З973-018.025 я73-5 
 З973-07 я73-5 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Ляшкевич, Василь Яремович (уклад.); Олар, Оксана Яремівна (уклад.); Чернівецький національний університет імені Юрія Федьковича. Кафедра комп'ютерних систем і мереж

Видання зберігається у :
Основний фонд

5.
ВА673983
Тамре, Луиза.
Введение в тестирование программного обеспечения [Текст] / Л. Тамре ; пер. с англ. и ред. В. В. Марченко. - М. ; СПб. ; К. : Издательский дом "Вильямс", 2003. - 359 с.: рис., табл. - Библиогр.: с. 351-356. - ISBN 5-8459-0394-7 (рус.). - ISBN 0-201-71974-6 (англ.)

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Марченко, В. В. (пер. с англ. и ред.)

Видання зберігається у :
Основний фонд

6.
РА434366
Сердюк, Ольга Юріївна.
Метод, модель та інформаційна технологія верифікації показників оптимізації періодичних операційних процесів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Сердюк Ольга Юріївна ; Кременчуц. нац. ун-т ім. Михайла Остроградського. - Кременчук, 2017. - 23 с. : рис., табл.

Рубрикатор НБУВ:
 З973-018.025 
УДК:
 004.052.42 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Кременчуцький національний університет імені Михайла Остроградського

Видання зберігається у :
Основний фонд

7.
ВС39058/CDR310
Роббинс, Джон.
Отладка приложений для Microsoft. NET и Microsoft Windows [Текст] / Д. Роббинс ; пер. А. Л. Лютич, К. А. Меньшов ; ред. пер. ВшВ. Г. Вшивцев. - М. : Русская Редакция, 2004. - 710 с.: рис.+ 1 CDR. - (Фундаментальные знания). - ISBN 5-7502-0243-7. - ISBN 0-7356-1536-5 (англ.)
С приложением CDR310

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Вшивцев, В. Г. (ред.); (ред.пер.); Лютич, А. Л. (пер.); (пер. с англ.); Меньшов, К. А. (пер.)

Видання зберігається у :
Основний фонд

8.
РА408961
Ремінний, Олександр Андрійович.
Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; Вінниц. нац. техн. ун-т. - Вінниця, 2014. - 20 с. : рис., табл.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Вінницький національний технічний університет

Видання зберігається у :
Основний фонд

9.
ВА600048
Пустоваров, В. И..
Ассемблер: Программирование и анализ корректности машинных программ [Текст] / В. И. Пустоваров. - К. : Ирина ; К. : BHV, 2000. - 479 с. - (Библиотека студента). - ISBN 966-552-065-2. - ISBN 5-7315-0095-9

Рубрикатор НБУВ:
 З973-018.2 assembler я73 
 З973-018.025 я73 
Тематичні рубрики:
 Комп'ютери та програмування 


Видання зберігається у :
Основний фонд

10.
ДС114062
Потиенко, Степан Валериевич.
Алгебраические методы верификации асинхронных параллельных систем [Текст] : дис. ... канд. физ.-мат. наук : 01.05.03 / Потиенко Степан Валериевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2009. - 135 л. - Библиогр.: л. 129-135

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

11.
РА364117
Потієнко, Степан Валерійович.
Алгебраїчні методи верифікації асинхронних паралельних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Потієнко Степан Валерійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

12.
РА418279
Песчаненко, Володимир Сергійович.
Методи реалізації систем інсерційного моделювання [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Песчаненко Володимир Сергійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 40 с. : рис.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

13.
ДС94003
Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 177 арк. - арк. 142-155

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

14.
РА343171
Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 17 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

15.
CDR310/ВС39058

Отладка приложений для Microsoft. NET и Microsoft Windows [Электронный ресурс] [Текст] : примеры программ профессионального уровня; отладочные инструменты для Windows; Microsoft Application Compatibility Toolkit (ACT). - М. : Русская Редакция, 2003. - 1 электрон опт. диск (CD-ROM). - (Фундаментальные знания)
Приложение к книге ВС39058

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Видання зберігається у :
Основний фонд

16.
Р89895
Нечес, Виталий Валентинович.
Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
НАН Беларуси; Институт технической кибернетики

Видання зберігається у :

17.
В344980/Ч. 2
На пути к верификации C-программ [Текст]. - Новосибирск, 2001 .
Ч. 2 : Язык C-Light-kernel и его аксиоматическая семантика / РАН. СО, Институт систем информатики имени А. П. Ершова. - 2001. - 57 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 87). - Библиогр.: с.57.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
РАН. СО; Институт систем информатики имени А. П. Ершова

Видання зберігається у :

18.
РА434842
Микіч, Христина Ігорівна.
Методи та засоби ідентифікації проблемних ситуацій на основі онтологічного підходу [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Микіч Христина Ігорівна ; Нац. ун-т "Львів. політехніка". - Львів, 2018. - 20 с. : рис., табл.

Рубрикатор НБУВ:
 З970.53 
 З973-018.025 
УДК:
 519.816:004.415.5 
Тематичні рубрики:
 Системи прийняття рішень 
 Випробування і налагодження програм 


Дод. точки доступу:
"Львівська політехніка", національний університет

Видання зберігається у :
Основний фонд

19.
ВА785947

Методы тестирования и верификации программного обеспечения [Текст] : монография / Литвинов В. В. [и др.]. - Нежин : Орхідея, 2013. - 358 с. : рис., табл. - Бібліогр.: с. 352-358. - 300 прим. - ISBN 978-966-2185-33-1

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Литвинов, В. В.; Казимир, В. В.; Ляхов, А. Л.; Путиенко, И. В.; Богдан, И. В.

Видання зберігається у :
Основний фонд
Універсальний підсобний фонд

20.
ВА862565

Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення [Текст] : монографія / Шкарупило В. В. [та ін.] ; за заг. ред. Шкарупила В. В. ; НАН України, Ін-т проблем моделювання в енергетиці ім. Г. Є. Пухова, Ін-т електродинаміки. - Вінниця : Європейська наукова платформа, 2023. - 118 с. : рис., табл. - Бібліогр.: с. 111-118. - 100 прим. - ISBN 978-617-8126-22-3

Рубрикатор НБУВ:
 З973-018.025 
 З27-02 
УДК:
 621.316:658.512.2 
 004.052.4 
Тематичні рубрики:
 Випробування і налагодження програм 
 Проектування електричних систем 


Дод. точки доступу:
Шкарупило, Вадим Вікторович; Блінов, Ігор Вікторович; Кучанський, Владислав Володимирович; Давидюк, Андрій Вікторович; Дмитрієва, Дар'я Олександрівна; Шкарупило, Вадим Вікторович (ред.); Національна академія наук України; Інститут проблем моделювання в енергетиці імені Г. Є. Пухова (Київ); Інститут електродинаміки (Київ)

Видання зберігається у :
Основний фонд

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського