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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
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.
ІВ196552
Apt, Krzysztof R..
Verification of sequential and concurrent programs [Text] / K. R. Apt, E. Olderog. - 2. ed. - New York[etc.] : Springer, 1997. - 364 p. - (Graduate texts in computer science). - Бібліогр.: p. 343-352. - ISBN 0-387-94896-1

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


Дод. точки доступу:
Olderog, Ernst-Rüdiger

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

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

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


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

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

4.
ВА602064
Канер, Сэм.
Тестирование программного обеспечения [Текст] / С. Канер [и др]. - 2.изд. - К. : ДиаСофт, 2000. - 544 с. - ISBN 966-7393-42-9. - ISBN 1-85032-847-1

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


Дод. точки доступу:
Фолк, Джек; Нгуен, Енг Кек

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

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

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


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

6.
ВА609789
Бройдо, Владимир Львович.
Вычислительные системы, сети и телекоммуникации [Текст] : лабораторный практикум / В. Л. Бройдо ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : СПбГИЭУ, 2001. - 96 с. - ISBN 5-88996-224-8

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


Дод. точки доступу:
Санкт-Петербургский гос. инженерно-экономический университет

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

7.
ВА614252
Канер, Сэм.
Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : пер. с англ. / С. Канер [и др]. - К. : ДиаСофт ; М. : [б.и.], 2001. - 543 с. - ISBN 966-7393-87-9 (рус.). - ISBN 1-85032-847-1 (англ.)

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


Дод. точки доступу:
Фолк, Джек; Енг Кек Нгуен

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

8.
ВА609929
   Корченко, Олександр Григорович.
Захист та зламування програм [Текст] : навч. посібник для студ. напряму "Інформаційна безпека" / О. Г. Корченко, А. С. Морозов ; Національний авіаційний ун-т. - К. : НАУ, 2001. - 83 с. - ISBN 966-598-108-0

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


Дод. точки доступу:
Морозов, Антон Сергійович; Національний авіаційний університет (Київ)

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

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

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


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

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

10.
ІВ208166
Culbertson, Robert.
Rapid testing [Text] / R. Culbertson [та ін.]. - Upper Saddle River, New Jersey : Prentice Hall PTR, 2002. - XVIII, 394 p.: fig., tab. - (Software quality institute series). - ISBN 0-13-091294-8

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


Дод. точки доступу:
Brown, Chris; Cobb, Gary

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

11.
ІВ208121
Tamres, Louise.
Introducing software testing [Text] / L. Tamres. - London[etc.] : Addison-Wesley, 2002. - XV, 281 p.: fig., tab. - Бібліогр.: p. 273-275. - ISBN 0-201-71974-6

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


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

12.
ВС36331
Макгрегор, Джон.
Тестирование объектно-ориентированного програмного обеспечения [Текст] : практическое пособие: Пер. с англ. / Д. Макгрегор, Д. Сайкс. - М. ; СПБ. ; К. : Торгово-издательский дом DiaSoft, 2002. - 416 с.: рис. - Библиогр.: с. 409-411. - ISBN 966-7992-12-8 (рус.). - ISBN 0201325640 (англ.)

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


Дод. точки доступу:
Сайкс, Девид

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

13.
CDR683/ІВ208705
Whittaker, James A..
How to break software: [Elektronnyj resurs] [Text] : A practical guide to testing / J. A. Whittaker. - [Boston][etc.] : Addison Wesley, 2002. - 1 elektron opt. dysc CD-ROM
Dodatok do knygy iB208705

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


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

14.
РА321905
Багдасарян, Сурен Валерьевич.
Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.

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


Дод. точки доступу:
Ереванский НИИ математических машин

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

15.
ВА643457
Дастин, Элфрид.
Автоматизированное тестирование программного обеспечения [Текст] : внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл. - ISBN 5-85582-186-2. - ISBN 020143870

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


Дод. точки доступу:
Рэшка, Джефф; Пол, Джон; Молодцова, Е. (пер. с англ.); Павлов, М. (пер. с англ.)

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

16.
CDR310/ВС39058

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

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


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

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

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


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

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

18.
ІВ208705/CDR683
Whittaker, James A..
How to break software [Text] : A practical guide to testing / J. A. Whittaker. - Boston[etc.] : Addison Wesley, 2003. - XVIII, 178 p.: fig. + CD-ROM. - Бібліогр.: v kinci rozd. - ISBN 0-201-79619-8
Z dodatkom CDR683

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


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

19.
РА326744
Абдуллаев, Ханмурад Ханбала оглы.
Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.

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


Дод. точки доступу:
НАН Азербайджана; Институт кибернетики имени А. И. Гусейнова (Баку)

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

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

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


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

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

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

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