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

Программы

Новый математический аппарат для анализа внешнего поведения и верификации программ
1998
Абрамова Нина Александровна (д-р техн. наук)
2646
428
Автоматическое проектирование железобетонных балок : (Проба-I)
1965
Горлов Александр Моисеевич (1931-)
2703
186
Работа с файлами прямого доступа на БЭСМ-6: новые возможности
1977
Кукушкин Андрей Серафимович
2657
84
Музыкальный компьютер : Секреты мастерства
2003
Петелин Юрий Владимирович
876
290
Программы государственных экзаменов : Утв. Гл. воен.-мед. упр. Вооруж. Сил СССР 23/VII-1946 г
1946
Военно-медицинская академия им. С. М. Кирова (Ленинград)
1837
164
Математика : 4 класс : электронное приложение к учебнику
2013
Давыдов Василий Васильевич (д-р психол. наук математик 1930-1998)
1020
271
Функциональная безопасность программных средств
2004
Липаев Владимир Васильевич
535
270
Линейная алгебра
1966
1279
116
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)
1528
222
Диспетчер ЭВМ М-222 (ДМ 222) : Инструкция для пользователей
1974
Чесалин Лев Сергеевич, Минская Л.К.
2370
316
Программа развития ФГБОУ ВПО "Красноярский государственный аграрный университет" на 2013-2020 гг.
2013
Цугленок Николай Васильевич, Матюшев Василий Викторович
2029
216
Методы программирования и прикладные алгоритмы : задачник
2005
Воронин Алексей Александрович (канд. техн. наук)
1718
130
Концентратор терминалов. Подготовка и обработка информации при обменах с БЭСМ-6
1979
Галактионов Виктор Викторович, Мазепа Е.Ю.
2329
196
Arithmetic optimization techniques for hardware and software design
2010
Kastner Ryan, Hosangadi Anup, Fallah Farzan
2163
287
Методологические основы сертификации программной продукции
2011
Поляков Сергей Дмитриевич (канд. техн. наук 1962-)
2995
104
Основная образовательная программа : Метод. рекомендации
2001
Гудилов Сергей Владимирович
1024
306
Программа расчета заработной платы на ЭВМ типа "М-20"
1967
Бобко И.М., Деева М.И., Колмогоров В.В.
2140
35
Суперфлешка. 150 лучших программ, игр и утилит, работающих прямо с флешки, всегда под рукой! : (книга+CD со всеми программами)
2009
Горячев Д. П., Колисниченко Денис Николаевич, Королев В. Д., Прокди Р. Г.
1905
46
Теория распараллеливания и синхронизация : учебное пособие
2005
Демьянович Юрий Казимирович, Евдокимова Татьяна Олеговна
1468
331
Программа по методике преподавания древних языков : Утв. МГУ
1946
Московский университет им. М. В. Ломоносова
2025
122
Чтение : Нач. шк
2001
686
161
Образовательные программы и элективные курсы компетентностного подхода
2014
Попов Александр Анатольевич (д-р филос. наук 1969-)
1628
115
Об одном методе синтаксической отладки программ и его реализации
1971
Евладенко Владимир Николаевич
1848
417
Curricula in der Schule
1994
2673
262
Автоматический расчет плит : (Программа АРАП-1)
1967
Игнатов В.П., Родинко О.Н., Горлов Александр Моисеевич
2544
344
Отладка программ с выносного пульта
1970
Брябрин Виктор Михайлович
1134
332
Верификация программного обеспечения : учебное пособие
2008
Синицын Сергей Владимирович, Налютин Никита Юрьевич
2722
160
Структуры данных и алгоритмы
2007
Ахо Альфред В., Хопкрофт Джон Э., Ульман Джеффри Д.
2767
394
Программа подготовки шахматистов III и IV разрядов
2011
Голенищев Виктор Евгеньевич
1656
405
Математика : 4 класс : электронное приложение к учебнику
2013
Александрова Эльвира Ивановна (математик)
2898
436
Программа по автоминимуму для кружков Осоавиахима : (Изучение автомобиля) : Утв. 20/V-1946 г
1947
Осоавиахим СССР и РСФСР. Упр. противовоздушной и хим. обороны и спецподготовки
2927
59
Программы защиты инвесторов и компенсационные системы
1999
Галайда В. А., Егорушков А. П., Кузнецов А. Ю.
2785
358
О самокорректирующихся программах
1979
Юкна Стасис Повилович
1744
72
Математика : 3 класс : электронное приложение к учебнику
2013
Александрова Эльвира Ивановна (математик)
2924
199
Алгоритмы : справочник с примерами на C, C++, Java и Python
2017
Хайнеман Джордж, Поллис Гэри, Селков Стэнли
1010
79
Программное обеспечение ЭВМ "МИР-1" и "МИР-2" : В 3 т.
1976
Глушков Виктор Михайлович, Брусникин Б.Н.
2718
10
Программно-методические материалы. Химия
1998
Габрусева Надежда Ивановна
2219
297
Программно-методические материалы. История
1998
Тюляева Тамара Ивановна
2705
299
Программно-методические материалы. Математика
1998
Кузнецова Галина Михайловна
2698
371
Вычисление интегралов по методу Филона
1969
Кузнецова Н.П.
2958
207
Применение обучающих программ в курсе физики
1975
Грабельковская Л.Я.
1810
188
Методические указания по составлению обучающих программ безмашинного типа
1977
Шендерова Р.Л., Голухина Н.Н., Павлова И.П.
1650
69
Оценка эффективности реализации региональных социальных целевых программ : монография
2011
Клиновенко Лариса Рифовна, Денисова Ирина Петровна, Денисов Петр Владимирович
2651
307
Правовая охрана и защита интеллектуальной собственности на программы для ЭВМ и базы данных : учебное пособие
2009
Ефимов Александр Александрович (преподаватель обработка информации)
1377
389
Оптимизация перечней профилей основных образовательных программ бакалавриата как педагогическая задача
2010
Никифоров Валерий Иванович, Речинский Александр Витальевич
1993
133
Физика : (VII класс семилет. и сред. школы)
1949
Соколов Иван Иванович
744
104
Система оценки качества программных комплексов для дистанционного обучения
2004
Бабешко Владимир Николаевич, Нежурина Марина Игоревна
980
239
Учебные программы Юридического факультета им. М. М. Сперанского : 2 курс
1998
Академия народного хозяйства. Юридический факультет им. М. М. Сперанского (Москва)
2732
225
Также в рубрике и скоро будут опубликованы: