Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
1.  |
ВА713176
Тестування комп'ютерних засобів [Текст] : метод. вказівки до лаб. робіт / уклад. В. Я. Ляшкевич, О. Я. Олар ; Чернівецький національний ун-т ім. Юрія Федьковича. Кафедра комп'ютерних систем і мереж. - Чернівці : Рута, 2008. - 55 с. - Бібліогр.: с. 55Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ляшкевич, Василь Яремович (уклад.); Олар, Оксана Яремівна (уклад.); Чернівецький національний університет імені Юрія Федьковича. Кафедра комп'ютерних систем і мереж
Видання зберігається у :
Основний фонд
|
| 2. |
ВА614252
Канер, Сэм.
Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : пер. с англ. / С. Канер [и др]. - К. : ДиаСофт ; М. : [б.и.], 2001. - 543 с. - ISBN 966-7393-87-9 (рус.). - ISBN 1-85032-847-1 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Фолк, Джек; Енг Кек Нгуен
Видання зберігається у :
Основний фонд
|
| 3. |
ВА602064
Канер, Сэм.
Тестирование программного обеспечения [Текст] / С. Канер [и др]. - 2.изд. - К. : ДиаСофт, 2000. - 544 с. - ISBN 966-7393-42-9. - ISBN 1-85032-847-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Фолк, Джек; Нгуен, Енг Кек
Видання зберігається у :
Основний фонд
|
| 4. |
РА326744
Абдуллаев, Ханмурад Ханбала оглы.
Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
НАН Азербайджана; Институт кибернетики имени А. И. Гусейнова (Баку)
Видання зберігається у :
Основний фонд
|
| 5. |
ВС36331
Макгрегор, Джон.
Тестирование объектно-ориентированного програмного обеспечения [Текст] : практическое пособие: Пер. с англ. / Д. Макгрегор, Д. Сайкс. - М. ; СПБ. ; К. : Торгово-издательский дом DiaSoft, 2002. - 416 с.: рис. - Библиогр.: с. 409-411. - ISBN 966-7992-12-8 (рус.). - ISBN 0201325640 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Сайкс, Девид
Видання зберігається у :
Універсальний підсобний фонд
|
| 6. |
ВА812928
Литвинов, Александр Анатольевич.
Тестирование информационных систем: модульное, интеграционное, системное [Текст] : учеб. пособие для студентов инженер.-техн. спец. вузов / Литвинов А. А., Карпенко Н. В. ; Днепропетр. нац. ун-т им. Олеся Гончара. - Днепр : Лира, 2016. - 282 с. : рис., табл. - Бібліогр.: с. 272-282. - 50 прим. - ISBN 978-966-383-800-7Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Карпенко, Надежда Валерьевна; Днепропетровский национальный университет имени Олеся Гончара
Видання зберігається у :
Основний фонд
|
| 7. |
РА420784
Летичевський, Олександр Олександрович.
Символьні методи в тестуванні та верифікації високонадійних програмних систем [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2016. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 8. |
РА364136
Колчин, Олександр Валентинович.
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Колчин Олександр Валентинович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 9. |
ДС113115
Колчин, Александр Валентинович.
Разработка инструментальных средств для проверки формальных моделей асинхронных систем [Текст] : дис. ... канд. физ.-мат. наук : 01.05.03 : защищена 12.06.2009 / Колчин Александр Валентинович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2009. - 140 л. : рис., табл. - Библиогр.: л. 121-135.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 10. |
ДС104942
Говорущенко, Тетяна Олександрівна.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельницький національний ун-т. - Хмельницький, 2007. - 191 арк. - арк. 121-133Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Хмельницький національний університет
Видання зберігається у :
Основний фонд
|
| 11. |
РА352749
Говорущенко, Тетяна Олександрівна.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Національний ун-т "Львівська політехніка". - Л., 2007. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національний університет "Львівська політехніка" (Львів)
Видання зберігається у :
Основний фонд
|
| 12. |
CDR310/ВС39058
Отладка приложений для Microsoft. NET и Microsoft Windows [Электронный ресурс] [Текст] : примеры программ профессионального уровня; отладочные инструменты для Windows; Microsoft Application Compatibility Toolkit (ACT). - М. : Русская Редакция, 2003. - 1 электрон опт. диск (CD-ROM). - (Фундаментальные знания)
Приложение к книге ВС39058Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 13. |
ВС39058/CDR310
Роббинс, Джон.
Отладка приложений для Microsoft. NET и Microsoft Windows [Текст] / Д. Роббинс ; пер. А. Л. Лютич, К. А. Меньшов ; ред. пер. ВшВ. Г. Вшивцев. - М. : Русская Редакция, 2004. - 710 с.: рис.+ 1 CDR. - (Фундаментальные знания). - ISBN 5-7502-0243-7. - ISBN 0-7356-1536-5 (англ.)
С приложением CDR310Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вшивцев, В. Г. (ред.); (ред.пер.); Лютич, А. Л. (пер.); (пер. с англ.); Меньшов, К. А. (пер.)
Видання зберігається у :
Основний фонд
|
| 14. |
ВА864166
Губка, Олексій Сергійович.
Особливості тестування мобільних додатків [Текст] : навч. посіб. / О. С. Губка, С. О. Губка ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків : ХАІ, 2020. - 79 с. : рис., табл. - Бібліогр.: с. 79. - 50 прим. - ISBN 978-966-662-752-3Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Губка, Сергій Олексійович; "Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
|
| 15. |
ВА803891
Губка, Алексей Сергеевич.
Основы тестирования информационных управляющих систем [Текст] : учеб. пособие / А. С. Губка, С. А. Губка, П. Е. Ельцов ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Харьков : ХАИ, 2016. - 67 с. : рис., табл. - Бібліогр.: с. 66. - 100 прим. - ISBN 978-966-662-486-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Губка, Сергей Алексеевич; Ельцов, Павел Евгеньевич; "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
| 16. |
В344980/Ч. 2
На пути к верификации C-программ [Текст]. - Новосибирск, 2001 .
Ч. 2 : Язык C-Light-kernel и его аксиоматическая семантика / РАН. СО, Институт систем информатики имени А. П. Ершова. - 2001. - 57 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 87). - Библиогр.: с.57.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
РАН. СО; Институт систем информатики имени А. П. Ершова
Видання зберігається у :
|
| 17. |
ДС140441
Гамзаев, Рустам Александрович.
Модели и информационная технология трассировки требований в гибких процессах разработки программного обеспечения [Текст] : дис. ... канд. техн. наук : 05.13.06 / Гамзаев Рустам Александрович ; Нац. техн. ин-т "Харьков. политехн. ин-т". - Харьков, 2013. - 173 л. : рис., табл. - Бібліогр.: арк. 135-144.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харьковский политехнический институт", национальный технический университет
Видання зберігається у :
Основний фонд
|
| 18. |
РА402899
Гамзаєв, Рустам Олександрович.
Моделі та інформаційна технологія трасування вимог в гнучких процесах розробки програмного забезпечення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Гамзаєв Рустам Олександрович ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2013. - 20 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
| 19. |
ДС90038
Коротун, Тетяна Михайлівна.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; Ін-т програм. систем НАН України. - К., 2005. - 127 арк.: рис. - Бібліогр.: арк. 104-111.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут програмних систем (Київ)
Видання зберігається у :
Основний фонд
|
| 20. |
РА338164
Коротун, Тетяна Михайлівна.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача