RUSIST
Единый реестр книг

Программы(компьют.)

Алгоритмы : вводный курс
2017
Кормен Томас Х.
1745
65
Алгоритмы и структуры данных : учебное пособие по курсу "Алгоритмы и структуры данных" для студентов направления "Программная инженерия" 231000.62
2015
Сластихина Мария Дмитриевна, Шульга Татьяна Эриковна, Торопова Ольга Анатольевна
2134
187
Towards C
2005
Nepomnjaščij Valerij Aleksandrovič, Anureev I. S., Dubranovskij I. V., Promskij Aleksej Vladimirovič
1310
9
Верификация и тестирование программных систем : учебное пособие
2014
Смирнова Наталия Николаевна (канд. техн. наук)
1850
173
Основы тестирования программного обеспечения : учебное пособие
2017
Пероцкая Вероника Николаевна, Градусов Денис Александрович
2167
294
333 лучшие бесплатные программы
2010
Леонтьев Виталий Петрович (журналист спец. по компьютерам 1973-)
1505
277
Свободное программное обеспечение : электронный учебно-методический комплекс по курсу
2012
Семенов Иван Валериевич (канд. физ.-мат. наук)
1851
364
Экспертная система, моделирующая процесс оптимизации программ. Модель оптимизации программ
1997
Купневич Олег Анатольевич, Князева Маргарита Александровна
804
195
Рефакторинг в С# и ASP.NET для профессионалов
2010
Арсеновски Даниэль
1367
376
Структуры данных и алгоритмы : Учеб. пособие
2000
Ахо Альфред В, Хопкрофт Джон Э, Ульман Джеффри Д
1078
338
Защищенный код : Пер. с англ.
2003
Ховард Майкл, Лебланк Дэвид
1326
49
Основы алгоритмизации и программирования : практикум : учебное пособие
2016
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
1181
272
Верификация, аттестация и качество программного обеспечения : учебное пособие
2012
Ивановский Сергей Алексеевич, Кирьянчиков В.А., Опалева Эльвира Александровна, Щеголева Надежда Львовна
2665
230
Визуализация свойств программ = Visualization of Program Properties
1998
Бульонков Михаил А., Кочетов Дмитрий В.
1535
45
256 новейших бесплатных программ
2010
Леонтьев Виталий Петрович (журналист спец. по компьютерам 1973-)
2193
213
Сборник задач по курсу "Алгоритмы и структуры данных" : методические указания
2013
Иванов Игорь Потапович (канд. техн. наук)
2334
310
Программирование и основы алгоритмизации : учебное пособие для студентов специальности 220301
2007
Шифрин Борис Маркович, Елисеев Игорь Владимирович
953
353
Конкурс компьютерных программ студентов, аспирантов и молодых специалистов "Программист-2000", 26-29 апр. 2000 г. : Тез. докл
2000
"Программист-2000" конкурс компьютерных программ студентов аспирантов и молодых специалистов (Владивосток)
1744
51
Разработка компьютерных тестов с использованием инструментальных программных сред
2010
Быцанова В. Е., Дочкин Сергей Александрович, Пахомова Елена Алексеевна
2422
263
Автоматизация процессов тестирования : WinRunner SilkTest Rational Robot
2005
Винниченко Илья Викторович
1038
21
Методы программирования и прикладные алгоритмы : учебное пособие : для студентов специальности 090104
2007
Крук Евгений Аврамович, Овчинников Андрей Анатольевич
2189
358
3,5 дюйма, или Как продавать свои программы через Интернет
2002
Баричев Сергей Геннадьевич
2153
15
Наука отладки : Пер. с англ
2003
Тэллес Мэтт, Хсих Юань
2289
159
Чистый код : создание, анализ и рефакторинг
2015
Мартин Роберт Сесил (программист)
2293
88
Алгоритмы на Java
2013
Седжвик Роберт, Уэйн Кевин
2720
13
Основы алгоритмизации и программирования : учебное-методическое пособие
2017
Аржаков Антон Валерьевич, Рыбалкин Вадим Дмитриевич, Сильнов Дмитрий Сергеевич
2014
137
Создание программ для компьютера : Учеб. пособие
2003
Нечаев Анатолий Михайлович
2313
386
Основные методы тестирования программного обеспечения : учебное пособие
2015
Дворянкин Александр Михайлович, Ерофеев Анатолий Андреевич, Аникин Антон Викторович
2901
128
Программирование в алгоритмах
2006
Окулов Станислав Михайлович
1444
57
Help. Разработка справочных систем : Учеб. курс
2004
Гультяев лексей Константинович
1504
261
Автоматизация разработки и тестирования программных средств
1999
Коварцев Александр Николаевич
1453
34
Тестирование программного обеспечения : Пер. с англ.
2000
Канер Сэм, Фолк Джек
1899
399
Основы алгоритмизации и программирования : учебное пособие
2005
Валеев Н. Н., Валеева Д. Н., Салахиев Р. Н.
1066
421
Стандартизация и сертификация информационно-программных средств : учебное пособие
2014
Позднеев Борис Михайлович, Поляков Сергей Дмитриевич, Быстрикова Валерия Александровна
2530
400
Отладка DVM-программ
1999
Крюков В. А., Удовиченко Р. В.
2891
448
Система оценки качества программных комплексов для дистанционного обучения
2004
Бабешко Владимир Николаевич, Нежурина Марина Игоревна
998
239
Правовая охрана и защита интеллектуальной собственности на программы для ЭВМ и базы данных : учебное пособие
2009
Ефимов Александр Александрович (преподаватель обработка информации)
1396
389
Алгоритмы : справочник с примерами на C, C++, Java и Python
2017
Хайнеман Джордж, Поллис Гэри, Селков Стэнли
1026
79
Структуры данных и алгоритмы
2007
Ахо Альфред В., Хопкрофт Джон Э., Ульман Джеффри Д.
2782
394
Верификация программного обеспечения : учебное пособие
2008
Синицын Сергей Владимирович, Налютин Никита Юрьевич
2734
160
Теория распараллеливания и синхронизация : учебное пособие
2005
Демьянович Юрий Казимирович, Евдокимова Татьяна Олеговна
1487
331
Суперфлешка. 150 лучших программ, игр и утилит, работающих прямо с флешки, всегда под рукой! : (книга+CD со всеми программами)
2009
Горячев Д. П., Колисниченко Денис Николаевич, Королев В. Д., Прокди Р. Г.
1923
46
Методологические основы сертификации программной продукции
2011
Поляков Сергей Дмитриевич (канд. техн. наук 1962-)
3019
104
Arithmetic optimization techniques for hardware and software design
2010
Kastner Ryan, Hosangadi Anup, Fallah Farzan
2182
287
Методы программирования и прикладные алгоритмы : задачник
2005
Воронин Алексей Александрович (канд. техн. наук)
1741
130
Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings
2012
"Program semantics specification and verification: theory and application" workshop (3 2012 Nizhni Novgorod)
1553
222
Функциональная безопасность программных средств
2004
Липаев Владимир Васильевич
562
270
Новый математический аппарат для анализа внешнего поведения и верификации программ
1998
Абрамова Нина Александровна (д-р техн. наук)
2709
428
Обеспечение качества программной продукции : монография
2015
Поляков Сергей Дмитриевич (канд. техн. наук 1962-)
551
212
Методы программирования и прикладные алгоритмы : пособие : для студентов специальности 075400
2004
Воронин Алексей Александрович (канд. техн. наук)
1089
274
Распараллеливание программ
2008
Савельев Василий Александрович, Штейнберг Борис Яковлевич
2977
19
Введение в курс метрической теории и метрологии программ
2009
Кайгородцев Геннадий Ильич
1206
122
Основы алгоритмизации и программирования : учеб. пособие
2004
Кручинин Владимир Иванович
1804
44
Четырнадцатая конференция разработчиков свободных программ, Калуга, 22-24 сентября 2017 года : тезисы докладов
2017
Конференция разработчиков свободных программ (14 2017 Калуга)
2023
239
Основы алгоритмизации и языки программирования : Учеб. пособие
2000
Савельева Наталья Григорьевна
1097
422
Теория и практика структурного тестирования программных систем : монография
2013
Ломакина Любовь Сергеевна, Базин Александр Сергеевич, Вигура Антон Никоаевич, Киселев Алексей Викторович
1958
64
Разработка и анализ требований : учебное пособие
2014
Левенец Ирина Анатольевна
2697
100
Тестирование программного обеспечения : учебно-методический комплекс
2007
Матросова А. Ю., Останин Сергей Александрович
2785
126
Также в рубрике и скоро будут опубликованы: