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
2015
Артеменко Михаил Иванович, Артеменко Елена Михайловна
1946
Московский университет им. М. В. Ломоносова
2017
2007
Савин Роман
2001
2001
2014
Попов Александр Анатольевич (д-р филос. наук 1969-)
1971
Евладенко Владимир Николаевич
2010
2008
Тарасюк Луара Николаевна
1994
1998
Ludwigs Henrik
2013
Широков Андрей Игоревич, Потоцкий Евгений Павлович
1967
Игнатов В.П., Родинко О.Н., Горлов Александр Моисеевич
1970
Брябрин Виктор Михайлович
1998
1967
2015
1999
1947
1979
Балука Гжегож, Саламатин И.М.
2006
1973
Баркова И.С.
2007
Кушниренко Светлана Петровна, Щепельков Владислав Федорович
1946
Осоавиахим СССР и РСФСР. Центральный совет
2008
Азарова Раиса Николаевна, Борисова Наталья Владленовна, Кузов Владимир Борисович
2016
2016
2008
Синицын Сергей Владимирович, Налютин Никита Юрьевич
2007
Ахо Альфред В., Хопкрофт Джон Э., Ульман Джеффри Д.
1946
2008
2011
Голенищев Виктор Евгеньевич
2013
Александрова Эльвира Ивановна (математик)
2000
1947
Осоавиахим СССР и РСФСР. Упр. противовоздушной и хим. обороны и спецподготовки
2006
1991
Захарчук Владимир Иванович
2012
Бардюгова И. Н.
2007
2008
2012
1999
Галайда В. А., Егорушков А. П., Кузнецов А. Ю.
1999
2007
1967
Опэр Мати В.
1975
2003
1999
2011
1979
Юкна Стасис Повилович
2013
Александрова Эльвира Ивановна (математик)
2013
Липаев Владимир Васильевич (1928-)
2006
Степанченко Илья Викторович
2012
Эпп Виталина Викторовна
2014
Иванова Галина Сергеевна (д-р техн. наук)
1938
2017
Хайнеман Джордж, Поллис Гэри, Селков Стэнли
2017
1976
Глушков Виктор Михайлович, Брусникин Б.Н.
1998
Габрусева Надежда Ивановна
1998
Тюляева Тамара Ивановна
1998
Кузнецова Галина Михайловна
1998
2006
Скок Галина Борисовна, Лыгина Нина Ивановна
1969
Кузнецова Н.П.
1976
2012
Краснощеков Виктор Владимирович
1975
Грабельковская Л.Я.
2006
2017
Семакин Игорь Геннадьевич, Шестаков Александр Петрович
2001
1947
2015
1998
2012
1977
Шендерова Р.Л., Голухина Н.Н., Павлова И.П.
2008
Демидович Евгений Михайлович
2012
2011
Майер Александр Александрович, Давыдова Ольга Ивановна
2011
Клиновенко Лариса Рифовна, Денисова Ирина Петровна, Денисов Петр Владимирович
2011
Иванов Анатолий Викторович (д-р социол. наук)
1999
Калошина Инна Павловна
1994
1998
1998
1998
1998
1998
2002
Матвеева Тамара Олеговна, Старовойтов Илья Владимирович
2003
2009
Ефимов Александр Александрович (преподаватель обработка информации)
1999
Покозий Е. А.
1976
1968
Кондратьева Н.А.
2013
Данилов Александр Николаевич (юрист)
1997
Элиасберг Н. И.
2007
2014
Болоцких Виктор Николаевич
2010
Никифоров Валерий Иванович, Речинский Александр Витальевич
2007
1949
Соколов Иван Иванович
1967
1946
1946
1998
2004
Бабешко Владимир Николаевич, Нежурина Марина Игоревна
1999
2015
2014
2009
1965
Бобкова В.Е., Пантелеев А.Г.
1998
Академия народного хозяйства. Юридический факультет им. М. М. Сперанского (Москва)
Также в рубрике и скоро будут опубликованы: