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

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

Показать все ссылки каталога
Разработка и стандартизация программных средств и информационных технологий : учебное пособие для студентов специальности 351400 (080801) "Прикладная информатика (в менеджменте)"
2009
Шаров Даниил Анатольевич
2067
0
Specification and verification of hybrid and real-time systems : Diss = Спецификация и верификация систем гибридных и реального времени.
1996
Lakhnech Yassine
1027
0
Оформление заявок на государственную регистрацию программ для электронных вычислительных машин и баз данных : справочное пособие
2012
Ишков Александр Дмитриевич, Степанов Александр Владиславович
1809
0
Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования = Development and verification of heapsort algorithms in predicate programming paradigm
2012
Шелехов Владимир Иванович
839
0
Отладчик параллельных программ на языке НОРМА и Фортран : (Принципы реализации)
2003
Бугеря А. Б., Колударов П. И.
1624
0
Основы алгоритмизации и программирования : учебное пособие : для студентов по направлению подготовки 13.03.01 "Теплоэнергетика и теплотехника" (профиль "Автоматизация технологических процессов и производств")
2017
Тетеревков Илья Владимирович, Торопова Елена Константиновна
1295
0
Паттерны проектирования на платформе .NET
2015
Тепляков Сергей
2815
0
Машина Тьюринга и алгоритмы Маркова. Решение задач : учебно-методическое пособие
2006
Пильщиков Владимир Николаевич (канд. физ.-мат. наук 1947-)
1231
0
Самоучитель. 100 бесплатных программ на вашей флешке на все случаи жизни : DVD-ROM диск прилагается
2010
Букирев Виктор Кенсоринович
2530
0
Введение в структуры и алгоритмы обработки данных : учебное пособие
2015
Курносов Михаил Георгиевич
2032
0
Самые полезные программы: утилиты
2004
Леонтьев Виталий Петрович (журналист спец. по компьютерам 1973-)
530
0
Древовидные структуры данных : Учеб. пособие для студентов вузов, обучающихся по специальности 220400 - Програм. обеспечение вычислит. техники и автоматизир. систем
2002
Гулаков В. К.
2054
0
Сертификация программных средств : учебник
2010
Липаев Владимир Васильевич
2796
0
Инструменты и методы анализа программ = Tools & methods of program analysis : (TMPA-2014) : материалы Международной научно-практической конференции, 14-15 ноября 2014 , г. Кострома
2014
2925
0
Проблемы создания автоматизированных обучающих и тестирующих систем : Сб. науч. тр
2001
985
0
Алгоритмы и структуры данных : лабораторный практикум : для студентов 2 курса направления "Информатика и вычислительная техника" (форма обучения очная, очно-заочная)
2015
Сидоров Дмитрий Петрович (канд. техн. наук иерархическая информация)
1046
0
Учите слова. Английский : обучающая программа : от 6 лет : Apple + Windows CD-ROM
2003
1791
0
Системная и программная инженерия = Software and systems engineering. Software testing. Part 1. Concepts and definitions. Ч. 1, Тестирование программного обеспечения. Понятия и определения : ГОСТ Р 56920-2016 : ISO/IEC/IEEE 29119-1:2013
2016
2618
0
Алгоритмы и программы : задачи повышенной сложности : учебное пособие
2012
Галочкин Владимир Иванович
1603
0
Букварь : электронное пособие для предшкольной подготовки и начальной школы
2005
2508
0
Отладка приложений Debugging Applications : исходные коды, электронная книга, отладочные утилиты, полнофункциональный GUI-отладчик
2007
947
0
C#. Программирование : учебное пособие [в 3 ч.]. Ч. 2 : C#. Алгоритмы и структуры данных
2013
2878
0
Рефакторинг с использованием шаблонов
2006
Кериевски Джошуа
1611
0
Just enough software test automation
2002
Mosley Daniel J, Posey Bruce A
3021
0
Corso d'italiano : лингафонный курс итальянского языка : думай и говори по итальянски
2003
2188
0
Введение в курс метрической теории и метрологии программ : учебник для студентов высших учебных заведений, обучающихся по специальности 080801 "Прикладная информатика (по областям)" и другим экономическим специальностям
2011
Кайгородцев Геннадий Ильич
2251
0
Первые шаги : игра полностью на английском языке
2008
1986
0
Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках
2008
Климов Ю. А.
836
0
Отладка в С++ : Рук. для разработчиков
2001
Паппас Крис Х., Мюррей Уильям Х.
614
0
The planning of the experiment and the training of the computer program
2006
Gurencov V. I.
2124
0
Building secure software : How to avoid security problems the right way = Разработка безопасного программного обеспечения: какой путь правильный в решении проблемы.
2006
Viega John, McGraw Gary
2624
0
Клуб путешественников : с иллюстрированным руководством! : все рассказы о животных на английском языке
2008
1708
0
Защищенный код : перевод с английского
2005
Ховард Майкл, Лебланк Дэвид
2441
0
Новые программные средства для предприятий Урала : Сб. тр. регион. науч.-техн. конф
2002
2847
0
Правовая охрана программ для ЭВМ
2010
Подшибихин Леонид Иоаннович
1135
0
Основы алгоритмизации и программирования : учебное пособие для студентов Волгоградского государственного экономико-технического колледжа специальность 230105 (2203)
2005
Поротникова Галина Андреевна
1448
0
Основы алгоритмизации и программирования : учебное пособие для студентов учреждений среднего профессионального образования, обучающихся по группе специальностей 2200 "Информатика и вычислительная техника"
2009
Колдаев Виктор Дмитриевич
2751
0
Алгоритмы : руководство по разработке : для программистов, исследователей и студентов
2011
Скиена Стивен
2171
0
T-подход к автоматизированному распараллеливанию программ: идеи, решения, перспективы
2008
Васенин Валерий Александрович, Водомеров Александр Николаевич, Конев И. М., Степанов Е. А.
2858
0
Применение трехуровневого подхода к верификации программ на языке С#-LIGHT = Application of three-level approach to C#-LIGHT program verification
2006
Промский Алексей Владимирович
2139
0
Введение в теорию алгоритмов и структур данных : учебное пособие
2014
Бабенко Максим Александрович
2433
0
Разработка и анализ требований : учебное пособие : для самостоятельной работы студентов
2014
Перемитина Татьяна Олеговна
1885
0
Основы алгоритмизации и программирования : практикум : учебное пособие для использования в образовательном процессе образовательных организаций, реализующих программы среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование", "Обеспечение информационной безопасности автоматизированных систем", "Обеспечение информационной безопасности телекоммуникационных систем"
2017
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
1332
0
Верификация программ : учебно-методическое пособие
2017
Миронов Андрей Михайлович
1300
0
Алгоритмизация и языки программирования Pascal, C++, Visual Basic : учебно-справочное пособие для курсантов военно-учебных заведений и училищ, студентов технических вузов и учащихся специальных классов школ
2007
Аляев Юрий Александрович, Козлов Олег Александрович
2442
0
Основные принципы разработки компьютерных программ : учебное пособие
2016
Сурушкин Максим Александрович, Гальцев Олег Владимирович
1899
0
Искусство программирования. Т. 1 : Основные алгоритмы
2015
810
0
Testing software and systems : 24th IFIP WG 6.1 International conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings
2012
1640
0
Технологии визуализации результатов профессиональной деятельности в области информационных систем : монография
2016
Батенькина Оксана Васильевна, Ткаченко Ольга Николаевна
2346
0
Разработка и стандартизация программных средств : учеб. пособие
2006
Андреева Елена Григорьевна, Минитаева Алина Мажитовна
1805
0
Орбита-Лыжные гонки 2003 : электронное учебное пособие по организации и проведению соревнований по лыжным гонкам
2004
Баталов Алексей Григорьевич, Новоселов Михаил Алексеевич, Шикунов Михаил Иванович, Баталов Павел Алексеевич
2504
0
Теория соответствия для систем с блокировками и разрушениями
2008
Бурдонов Игорь Борисович, Косачев Александр Сергеевич, Кулямин Виктор Вячеславович
1385
0
Практическое руководство по разработке алгоритмов : учебное пособие : для студентов ННГУ, обучающихся по направлению подготовки 38.03.05 "Бизнес-информатика", 01.03.01 "Математика", 02.03.01 "Математика и компьютерные науки", 01.03.02. "Прикладная математика и информатика", 01.03.03 "Механика и математическое моделирование"
2015
Перова Валентина Ивановна, Сабаева Татьяна Анатольевна, Чекмарев Дмитрий Тимофеевич
1151
0
Программирование и основы алгоритмизации : учеб. для студентов вузов, обучающихся по направлению подгот. дипломир. специалистов "Автоматизир. технологии и пр-ва"
2005
Битюков Виталий Ксенофонтович, Габович Семен Моисеевич, Сидоренко Елена Анатольевна
2348
0
Lingua Land : 5+
1998
2120
0
Визуальное моделирование информационных e-сервисов в публичной сфере
2014
Кознов Дмитрий Владимирович
2344
0
Магия рисования : для детей 5-12 лет : учебник рисования : практические занятия
2003
2246
0
Основы алгоритмизации и программирования : учебно-методическое пособие для студентов очной, заочной и дистанционной форм обучения специальностей: 260901.65 "Технология швейных изделий"; 260902.65 "Конструирование швейных изделий"; 260905.65 "Технология изделий из кожи"; 260906.65 "Конструирование изделий из кожи"; 200503.65 "Стандартизация и сертификация"; 260800.62 "Технология, конструирование изделий и материалы легкой промышленности" и направлений 262000.62 "Технология изделий легкой промышленности"; 262200.62 "Конструирование изделий легкой промышленности"; 221700.62 "Стандартизация и метрология" : в 4-х ч
2011
Диброва Галина Дмитриевна
712
0
Немецкий по-немецки : обучение с погружением
2007
1246
0
Букварь : учебник для 1 класса : электронная форма учебника : в 2-х частях
2015
Репкин Владимир Владимирович (1927-)
985
0
Информационные технологии = Information technology. Systems and software engineering. Systems and software Quality Requirements and Evaluation (SQuaRE). Requirements for quality of Ready to Use Software Product (RUSP) and instructions for testing. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Требования к качеству готового к использованию программного продукта (RUSP) и инструкции по тестированию : ГОСТ Р ИСО/МЭК 25051-2017
2017
1531
0
Компьютерный практикум : электронный курс
2012
Карпова Светлана Викторовна (преподаватель)
1356
0
Разработка программного обеспечения. Информационно-обучающие технологии : учебное пособие : для студентов направления подготовки дипломированных специалистов 654600 - "Информатика и вычислительная техника" (спец. 220200, 220300, 220400)
2004
Ковалев Игорь Владимирович (д-р техн. наук)
1150
0
Структуры данных и алгоритмы
2001
Ахо Альфред В, Хопкрофт Джон Э, Ульман Джеффри Д
737
0
Шаблоны корпоративных приложений : перевод с английского
2018
Фаулер Мартин
2445
0
Зайка Всезнайка : идем в школу : обучающая система, 5-7 лет : система дошкольного обучения. В мир знаний шаг за шагом! : грамматика, фонетика, математика, творчество
2009
1052
0
Типичные ошибки проектирования
2003
Аллен Эрик
2405
0
Оценка качества и исследование программных продуктов: языково-ориентированный подход. Внутренние свойства и метрики программ. Ч. 1 : [Модели программ]
1998
1098
0
Отладка в ASP : Рук. для разработчиков
2001
Фергюсон Дерек
2823
0
Типовые алгоритмические структуры для вычислений : учеб. пособие : для студентов первого, второго курса срециальности 010200 - прикладная математика и информатика, 073000 - прикладная математика и 072300 - лазерная техника и лазерные технологии, изучающих основы алгоритмизации и программирования в дисциплинах "Информатика", "Алгоритмы и алгоритмические языки"
2004
Воронова Людмила Михайловна
511
0
Программирование и основы алгоритмизации : учебное пособие по курсу "Программирование и основы алгоритмизации" для специальности 220301 "Автоматизация технологических процессов и производств"
2006
Волченко Игорь Олегович
2259
0
Алгоритмы и структуры данных на языке C : учебное пособие : для студентов, обучающихся по направлениям подготовки "Прикладные математика и физика", а также по другим математическим и естественнонаучным направлениям и специальностям : для студентов 1-го курса, обучающихся по дисциплине "Информатика (алгоритмы и алгоритмические языкит)"
2016
Прут Вениамин Вениаминович
2805
0
Пользовательские истории : гибкая разработка программного обеспечения
2012
Кон Майк
2431
0
Гномы и сокровища Земли : 5-10 лет : волшебная энциклопедия
2007
2153
0
Программирование и основы алгоритмизации : курс лекий
2012
Гебель Елена Сергеевна
1430
0
Информационные технологии. Алгоритмы и прикладные программы : учебное пособие
2007
Афанасьева Татьяна Васильевна (канд. техн. наук)
725
0
Численное моделирование для разработки и сдачи в эксплуатацию высокотехнологичных промышленных изделий = Numerical simulation for the development and commissioning of high-tech industrial products. Software certification. General provisions. Сертификация программного обеспечения : общие положения : ГОСТ Р 57700.2-2017
2017
1098
0
Административный регламент предоставления Федеральной службой по интеллектуальной собственности государственной услуги по внесению изменений в реестры программ для электронных вычислительных машин, баз данных, топологий интегральных микросхем, а также в свидетельства о государственной регистрации программы для электронных вычислительных машин, базы данных, топологии интегральной микросхемы : утверждено Министерством экономического развития Российской Федерации 28 августа 2015 г. : дата начала действия: 8 января 2016 г.
2017
2274
0
Взлом программного обеспечения : анализ и использование кода
2005
Хогланд Грег, Мак-Гроу Гари
2563
0
Тестирование программного обеспечения микропроцессорных систем : учебное пособие : для студентов, обучающихся по специальности 220100
2007
Левин Нисон Абрамович (д-р техн. наук)
709
0
Алгоритмы и структуры данных : учебник : для студентов высших учебных заведений, обучающихся по направлению подготовки 09.03.04 "Программная инженерия" (квалификация - Бакалавр)
2016
Белов Владимир Викторович (д-р техн. наук)
1887
0
Основы алгоритмизации и программирования : учебник : для студентов образовательных учреждений среднего профессионального образования
2012
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
1645
0
Windows Utilities : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" специальности 230102 "Автоматизированные системы обработки информации и управления"
2011
Сорокин Александр Анатольевич (канд. техн. наук)
1200
0
Каталог изобретений, полезных моделей, программ и баз данных
2002
2600
0
35 языков мира
2007
1616
0
Искусство программирования. Т. 1 : Основные алгоритмы
2012
2656
0
Принципы создания и работы защищенных приложений
2008
1691
0
Энциклопедия популярных программ : сборник статей
2008
648
0
A type-based framework for locating errors in constraint logic programs : Thesis
2002
Pietrzak Pawel
1638
0
Основы алгоритмизации и программирования : учеб. пособие, рук. по изучению дисциплины, практикум, учеб. программа
2004
Грибанов Владимир Петрович, Калмыкова Ольга Вениаминовна, Сорока Раиса Ивановна
1774
0
Большое путешествие : игра полностью на английском языке
2008
692
0
Путь аналитика : практическое руководство IT-специалиста
2016
Перерва Андрей Дмитриевич, Иванова Вера Алексеевна
1000
0
Организация производства интерактивных игр и образовательных программ : учебно-методический комплекс : (специальность 071102.65 Режиссура мультимедиа-программ)
2009
Югай Инга Игоревна, Кузнецов Игорь Ростиславович, Рубичева Марина Валентиновна
989
0
Автоматизация тестирования программ средствами Visual Studio : методические указания по выполнению лабораторных работ для студентов, обучающихся по направлению бакалавров 230100 и 231000
2014
Басок Борис Моисеевич, Кацюба Александр Сергеевич, Якубова Надежда Гаяровна
2838
0
Муравей и К° : учебная компьютерная среда
2007
1199
0
Программирование и основы алгоритмизации : учебное пособие для студентов, обучающихся по направлению "Управление в технических системах" и профилю "Информационные технологии в управлении"
2012
Ермакова Наталья Анатольевна, Лемдянова Ирина Маратовна
1888
0
Основы алгоритмизации и программирования : конспект лекций по курсу
2013
Крюков Александр Андрианович
1288
0
Алгоритмы обработки массивов и вспомогательные алгоритмы : учебное пособие
2016
Гущин Артем Николаевич, Лазарева Татьяна Ильинична, Мартынова Ирина Владимировна
2731
0
Алгоритмы : Построение и анализ : Пер. с англ.
2002
Кормен Томас, Лейзерсон Чарльз, Ривест Рональд Линн
2909
0
Изучаем компьютер и программы : учебное пособие : для студентов, стажеров, ординаторов, аспирантов и преподавателей медицинских учебных заведений
2009
2823
0
Информатика. Основы алгоритмизации и программирования : учебное пособие : для студентов высших учебных заведений, обучающихся по направлению подготовки 230400 "Прикладная математика" специальности 230410 "Прикладная математика"
2005
Крапухина Нина Владимировна, Светозарова Галина Ивановна
1284
0
Свободное программное обеспечение : учебное пособие : по дисциплине "Информатика" для студентов, обучающихся по направлениям 010500, 020100, 080500, 150600, 200400, 240100, 280200 и специальностей групп 151000, 150700, 200500, 210100, 230400, 240400, 240500, 240600, 240900, 280400 всех форм обучения
2007
Биглов Рем Равильевич
645
0
Особенности подготовки заявки для государственной регистрации программы для ЭВМ и базы данных
2011
Попов Андрей Николаевич (канд. юрид. наук экономист 1974-)
1596
0
Компьютерные обучающие системы
2006
Софиев Александр Эльхананович, Черткова Елена Александровна
1962
0
Теоретические основы алгоритмизации программирования : учебное пособие : для студентов направлений подготовки 44.03.05 "Педагогическое образование" с двумя профилями "Начальное образование и информатика"
2016
Варфоломеева Татьяна Николаевна, Повитухин Сергей Алексеевич
534
0
500 лучших программ для вашего компьютера : 2 CD : все программы на двух компакт-дисках
2009
Уваров Сергей Сергеевич
1937
0
Надежность программных средств
1998
Липаев Владимир Васильевич
2327
0
Введение в технологии верификации : учебно-методическое пособие
2016
Дробинцев Павел Дмитриевич
2569
0
High integrity software
2001
1067
0
Тестирование программного обеспечения : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника"
2010
Басок Борис Моисеевич, Красовский Виктор Евгеньевич
1694
0
Пособие для школьников и абитуриентов. Математика. Физика. Химия. Информатика : 7-11 класс : интерактивные лекции. Решение задач : 4 предмета на одном DVD
2003
2746
0
Доказательство правильности программ. Ч. 1 : Метод индуктивных утверждений
2004
2708
0
Чистый код : создание, анализ и рефакторинг
2016
Мартин Роберт Сесил (программист)
1402
0
Основы алгоритмизации и программирования : учебник : для использования в образовательном процессе образовательных организаций, реализующих программы среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование", "Обеспечение информационной безопасности автоматизированных систем", "Обеспечение информационной безопасности телекоммуникационных систем"
2017
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
1514
0
Веселые моторы : развивающие игры для детей 4-7 лет + оригинальный саундтрек интернет-поддержка
2005
2277
0
Практическое руководство по реализации программных проектов : учебное пособие для студентов очной формы обучения, обучающихся по направлению подготовки бакалавров 09.03.01 "Информатика и вычислительная техника"
2015
2224
0
Школа детективов : игра полностью на английском языке
2008
651
0
Алгоритмы : построение и анализ
2004
Кормен Томас, Лейзерсон Чарльз, Ривест Рональд Линн
1622
0
Лицензирование программного обеспечения в России: законодательство и практика
2012
Савельев Александр Иванович (канд. юрид. наук)
2000
0
Организация вычислений на распределенных системах
2013
Шичкина Юлия Александровна
2600
0
Сборник компьютерных программ для профессионального образования : дистрибутивы : описания : методические рекомендации по применению
2011
Гавриченков Юрий Дмитриевич, Куликов С. А., Переверзев Владимир Юрьевич, Фильчакова Светлана Юрьевна
1955
0
Отладка приложений для Microsoft.NET : мастер-класс
2008
Роббинс Джон
1789
0
Верификация моделей программ: Model Checking
2002
Кларк Эдмунд М (мл); Грамберг Орна; Пелед Дорон
752
0
Планирование эксперимента и обучение компьютерных программ
2006
Гуренцов В. И.
1588
0
Структуры данных и алгоритмы : методические указания по выполнению лабораторных работ для студентов, обучающихся по направлению 231300 (бакалавры)
2012
Андреева Людмила Петровна (канд. техн. наук программист)
2525
0
Анализ алгоритмов : Ввод. курс
2002
Макконелл Джеффри
1668
0
Уроки на дом : 6 класс : математика, русский язык, английский язык, немецкий язык : все учебники, все решения, все типы школ : учебное пособие
2005
1086
0
Основы теории алгоритмов : учебное пособие : для студентов математических специальностей вузов
2014
Ашаев Игорь Викторович
2607
0
Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program
2010
Марьясов И. В.
2233
0
Программирование в алгоритмах
2013
Окулов Станислав Михайлович
1500
0
Модульное тестирование : учебное пособие по курсам "CASE-технологии разработки программных средств", "Технологии разработки программных средств" для студентов, обучающихся по направлениям "Прикладная математика и информатика", Информатика и вычислительная техника", "Информационные системы"
2011
Куриленко Иван Евгеньевич, Варшавский Павел Романович
2801
0
Средства отладки MPI-программ. Анализатор корректности
2006
Ефимкин К. Н., Жукова О. Ф., Ильяков В. Н.
1416
0
Программирование и основы алгоритмизации : учебное пособие
2013
Матюхин Сергей Анатольевич
1314
0
Problems of advanced micro- and nanoelectronic systems development - 2016 : VII All-Russia science & technology conference selected articles. Pt. 2
2017
1863
0
Методология организации систем добровольной сертификации информационных систем и программных продуктов : научно-методическое пособие
2012
2896
0
Анализ алгоритмов. Активный обучающий подход : учебное пособие по направлению подготовки специалистов "Информатика и вычислительная техника"
2009
Макконнелл Джеффри Дж.
1812
0
Истоки программ : компьютерная грамотность: разработка и реализация компьютерных решений
2016
Голодов Валентин Александрович
2508
0
Гибкое тестирование : практическое руководство для тестировщиков ПО и гибких команд
2010
Криспин Лайза, Грегори Джанет
1141
0
24 смертных греха компьютерной безопасности : как написать безопасный код
2010
Ховард Майкл, Лебланк Дэвид, Вьега Джон
1070
0
Семинар "Семантика, спецификация и верификация программ: теория и приложения" = Workshop "Program semantics, specification and verification: theory and applications" : 5-й Международный симпозиум по компьютерным наукам в России, 14-15 июня 2010, Казань, Россия : труды семинара
2010
"Семантика спецификация и верификация программ: теория и приложения" семинар (2010 Казань)
1844
0
Модели надежности программного обеспечения : учебное пособие
2010
Тырва Алексей Владимирович (канд. техн. наук)
2646
0
Математические модели сегментации программ
2001
Дюсембаев Ануар Ермуканович
770
0
Сравнительный анализ тестов на зависимость по данным = Comparative analysis of tests for data dependence
2006
Арапбаев Р. Н., Евстигнеев Владимир Анатольевич, Осмонов Р. А.
629
0
Стандартизация, сертификация и управление качеством программного обеспечения = учебное пособие : для студентов высших учебных заведений, обучающихся по направлению подготовки 38.03.05 "Бизнес-информатика" (квалификация (степень) "бакалавр")
2016
Ананьева Татьяна Николаевна
2372
0
Искусство программирования. Т. 1 : Основные алгоритмы
2011
852
0
Рефакторинг : улучшение существующего кода : категория: методология : уровень подготовки читателей: высокий
2013
Фаулер Мартин
1263
0
Вопросы безопасности в жизненном цикле технологий, программных средств, устройств и систем : учебное пособие
2017
1826
0
Тестирование и отладка программ на Visual Basic : Визуал. яз. программирования : Пер. с англ.
2001
Стивенс Род
1254
0
Генерация и метагенерация условий корректности в системе СПЕКТР-2 = Generation and metageneration of verification conditions in SPECTRUM-2
2003
Промский Алексей Владимирович
1754
0
Основы информатики, компьютерной графики и педагогические программные средства : учебное пособие для студентов учреждений, обеспечивающих получение высшего образования, педагогоических специальностей
2004
Кравченя Эдуард Михайлович
889
0
Основы алгоритмизации и программирования : учебное пособие : для студентов, изучающих курс "Программирование и основы алгоритмизации"
2013
Кудинов Юрий Иванович, Келина Анастасия Юрьевна
2482
0
Концептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification
2013
Ануреев Игорь Сергеевич
926
0
Разработка компьютерных обучающих систем
2005
Черткова Елена Александровна
1556
0
Выбор и оценивание характеристик качества программных средств : Методы и стандарты
2001
Липаев Владимир Васильевич
713
0
Алгоритмизация и языки программирования Pascal, C++, Visual Basic : Учеб.-справ. пособие для курсантов воен.-учеб. заведений и уч-щ, студентов техн. вузов и учащихся спец. классов шк
2004
Аляев Юрий Александрович, Козлов Олег Александрович
688
0
500 бесплатных лучших программ для компьютера
2013
Леонов Василий (программист)
987
0
Cooperative design, visualization, and engineering : Third International conference, CDVE 2006, Mallorca Spain, September 17-20, 2006 : proceedings
2006
2834
0
Разработка и стандартизация программных средств и информационных технологий : учебное пособие : для студентов
2010
Меркулова Алена Вячеславовна, Рубан Константин Алексеевич
2552
0
Основы теории алгоритмов и программирование : Учеб. пособие по дисциплине "Информатика"
2002
Горбенко Виктор Иванович, Юртаев Михаил Александрович
739
0
Функциональная устойчивость информационных систем. Ч. 1 : Надежность программного обеспечения
2011
732
0
Автоматизированный реинжиниринг программ : сб. ст.
2000
2742
0
Структурное программирование. Алгоритмы программ : учебное пособие
2005
Самойленко Марина Витальевна
829
0
Технологии распараллеливания программ : MPI и OpenMP, преобразования циклов, оптимизация использования памяти : учебное пособие
2014
Абрамян Михаил Эдуардович (канд. физ.-мат. наук 1965-)
1011
0
Создание обучающих Flash-игр : электронный практикум по компьютерному моделированию
2014
Гшиянц Роман Эдуардович, Жакова Майя Анатольевна, Беленко Сергей Иванович
993
0
Создание защищенных от вторжения прикладных программ : раскрытие секретов элитного программирования
2009
Фостер Джеймс С
2988
0
Численное моделирование для разработки и сдачи в эксплуатацию высокотехнологичных промышленных изделий = Numerical simulation for the development and commissioning of high-tech industrial products. Software certification. Requirements. Сертификация программного обеспечения : требования : ГОСТ Р 57700.1-2017
2017
2577
0
Основы алгоритмизации и программирования : практикум : учебное пособие для использования в образовательном процессе образовательных организаций, реализующих программы среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование", "Обеспечение информационной безопасности автоматизированных систем", "Обеспечение информационной безопасности телекоммуникационных систем"
2018
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
1053
0
Проектирование программно-дидактических тестовых материалов с помощью компьютерных технологий : электронный учебник по курсу
2011
Каменев Роман Владимирович, Ступин Андрей Анатольевич, Ступина Елена Евгеньевна
2641
0
Основы алгоритмизации и программирования : учебник : для использования в учебном процессе образовательных учреждений, реализующих программы среднего профессионального образования по специальностям "Компьютерные системы и комплексы", "Информационные системы (по отраслям)", учебная дисциплина "Основы алгоритмизации и программирования"
2017
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
2379
0
Алгоритмы и структуры данных
2012
Вирт Никлаус
2644
0
Алгоритмы и структуры данных : учебное пособие для студентов, обучающихся по специальности 080801 - Прикладная информатика (в гуманитарной области)
2010
Бойцов Эрнест Александрович
1758
0
Программирование в алгоритмах
2002
Окулов Станислав Михайлович
2405
0
Машина Тьюринга и алгоритмы Маркова. . Решение задач : учебно-методическое пособие
2016
Пильщиков Владимир Николаевич (канд. физ.-мат. наук 1947-)
574
0
Искусство тестирования программ : тестирование удобства использования и мобильных приложений, а также гибкое тестирование
2015
Майерс Гленфорд, Баджетт Том, Сандлер Кори
2778
0
Путь аналитика : практическое руководство IT-специалиста
2015
Перерва Андрей Дмитриевич, Иванова Вера Алексеевна
1905
0
Тестирование программных средств : учебное пособие
2011
Палюх Борис Васильевич, Котов Сергей Львович, Демирский Александр Анатольевич
1991
0
Анализ программ для построения параллельных алгоритмов
2009
Андреев Вячеслав Вениаминович (канд. техн. наук)
1503
0
Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках
2008
Климов Ю. А.
2545
0
Быстрое тестирование : Пер. с англ.
2002
Калбертсон Роберт, Браун Крис, Кобб Гэри
2410
0
Осуществление интеграции программных модулей : учебник : для использования в образовательном процессе образовательных организаций, реализующих программы среднего профессионального образования по специальности "Информационные системы и программирование"
2017
Федорова Галина Николаевна (информатик)
2910
0
Букварь : 1 класс
2014
Андрианова Таисия Михайловна
1483
0
Основы теории алгоритмов : учебное пособие для студентов высших учебных заведений по специальности 080801.65 "Прикладная информатика (в сфере сервиса)"
2008
Середа Сергей Николаевич, Макаров Кирилл Владимирович
1303
0
Генераторы в компьютерных учебных программах
2004
Кручинин Владимир Викторович
2615
0
Алгоритмы на Java
2016
Седжвик Роберт, Уэйн Кевин
818
0
Шаблоны корпоративных приложений : перевод с английского
2017
Фаулер Мартин
2678
0
Тестирование программных систем на основе компьютерной алгебры : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки 230100 - "Информатика и вычислительная техника"
2014
Ломакина Любовь Сергеевна, Вигура Антон Николаевич
549
0
Живой уголок : игра полностью на английском языке
2008
2133
0
Паттерны проектирования
2011
Фримен Эрик, Фримен Элизабет
722
0
Некоторые вопросы методологии отладки программ : Учеб. пособие
2002
Швецкий Михаил Владимирович, Медведев Аркадий Андреевич
1109
0
Стандартизация и сертификация информационно-программных средств : базовые стандарты : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки "Автоматизация технологических процессов и производств"
2014
Поляков Сергей Дмитриевич (канд. техн. наук 1962-)
2061
0
Численные методы, алгоритмы и программы. Введение в распараллеливание : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки "Прикладные математика и физика"
2014
Карпов Владимир Ефимович (канд. физ.-мат. наук)
1755
0
Идеальный разум : игра полностью на английском языке
2008
710
0
Обобщенные алгоритмы поиска решений на графе : Учеб. пособие
2001
Беркульцев Максим Владимирович
2876
0
Основы алгоритмизации и программирования : практикум : учебное пособие для студентов учреждений среднего профессионального образования
2013
Семакин Игорь Геннадьевич
1316
0
Основы алгоритмизации и программирования. Язык Си : массивы, указ. функции с перем. числом параметров, структуры, динам. использование памяти, файлы : учеб. пособие
2006
Демидович Евгений Михайлович
2168
0
Испытания программного обеспечения средств измерений : учебное пособие
2017
Кудеяров Юрий Алексеевич
1789
0
Основы алгоритмизации и программирования : (направление подготовки 190109.65, уровень ООП - специалист) : интерактивный курс : для студентов, изучающих основы алгоритмизации и программирование в курсе дисциплины "Информатика"
2013
Басев Игорь Николаевич
1086
0
Алгоритмы и структуры данных : учебное пособие : для студентов направлений бакалавриата: "Прикладная математика и информатика", "Прикладная математика", "Программная инженерия"
2015
Катаргин Михаил Юрьевич
1937
0
Лекции по информатике : крат. конспект : для студентов вузов, обучающихся по спец. 010200 "Прикл. математика и информатика" и по направлению 510200 "Прикл. математика и информатика"
2003
Масюков Андрей Вадимович
1654
0
100 бесплатных портативных программ на Flash-диске с нуля! : книга + видеокурс
2008
Даниленков Алексей Олегович, Букирев Виктор Кенсоринович
1914
0
Также в рубрике и скоро будут опубликованы: