Архив новостей

В разделе "Электронная библиотека" мы публикуем книгу, составленную Батрудиновой Ш.М."Казанский завод ЭВМ (КЗММ, КЗЭВМ, КПО ВС)"

Книга посвящена истории Казанского завода ЭВМ (КЗММ, КЗ ЭВМ, КПО ВС). Это история его руководителей и его коллектива. Данная книга - первое открытое издание о заводе. Её основная цель - правдиво рассказать и сохранить память о заводе и его тружениках. Она будет полезна всем, кто интересуется историей развития отечественного электронного машиностроения.

В разделе "Электронная библиотека" мы публикуем книгу Арутюняна Г.А. "Ереванский научно-исследовательский институт математических машин, взлёты и падение"

В книге кратко изложена история создания и деятельности ЕрНИИММ, одного из ведущих научно-исследовательских институтов Армении и Советского Союза в области разработки электронных вычислительных машин и автоматизированных систем управления. Основная цель автора - представить новым поколениям достижения ЕрНИИММ в советское время, менталитет и отношение к делу советских специалистов, государственный подход к работе, а также некоторые аспекты создания глобальной автоматизированной системы управления вооружёнными силами (АСУ ВС) СССР.

Публикуется с разрешения автора. Книга публикуется в авторской редакции.

В разделе «Книги и компьютерная пресса» / «Книги Шалыто А.А.». Добавлены 3 новые книги за авторством Шалыто А.А. и др.

"Автоматное программирование" (2008).
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата).

"Верификация автоматных программ" (2000).
В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Книга посвящена концепциям, алгоритмам и инструментам для проверки моделей программ.

Последняя книга - "Заметки о мотивации". Книги публикуются с разрешения автора.

В разделе "История развития программного обеспечения" / "Языки и системы программирования" / "Java" мы публикуем статью Пройдакова Э.М. "Краткая история языка Java". Статья публикуется с разрешения автора

В разделе "Документы и публикации" / "Публикации в СМИ" / "Подкаст Карта Памяти" добавлена ссылка на шестой выпуск подкаста.

Гость нового выпуска - Ольга Максименкова, заместитель руководителя департамента программной инженерии, доцент, руководитель проектной группы «Программная инженерия компьютерных игр — ПИКИ» ФКН. Вместе с ведущим подкаста Шиловым В.В. говорили о жизни и научной деятельности Джона Кармака, американского разработчика компьютерных игр, инженера в области информатики, аэрокосмической техники и виртуальной реальности.

В разделе «ИТ энциклопедия» добавлены новые термины. Публикуется с разрешения авторов.

В разделе «Документы и публикации» / «Материалы конференций» / «Пресса о конференциях SoRuCom» мы пуликуем статью Крайневой И.А. и Шилова В.В. "VI международная конференция «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ»". Статья публиковалась в журнале "Вопросы истории естествознания и техники".

В разделе "Галерея славы" / "Отечественные ученые и инженеры" / "Игорь Александрович Мизин" добавлена статья Соколова И.А., Зацаринного А.А., Захарова В.Н. и Колина К.К. "О роли академика И.А. Мизина в развитии информационных технологий и их применении в государственных интересах: к 90-летию со дня рождения". Статья публиковалась в журнале "Системы и средства информатики" и размещена с согласия авторов.

В разделе "Галерея славы" / "Отечественные ученые и инженеры" добавлен раздел, посвящённый Адельсону-Вельскому Георгию Максимовичу. В него перенесена статья Шалыто А.А. "Сто лет со дня рождения Георгия Максимовича Адельсона-Вельского"

В разделе «Книги и компьютерная пресса» / «Книги Шалыто А.А.». Добавлены 2 новые книги за авторством Шалыто А.А..

Первая книга - "Switch-технология. Алгоритмизация и программирование задач логического управления" (1998).
В книге излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Предназначена для специалистов в области информатики, вычислительной техники и систем управления.

Вторая книга - "Логическое управления. Методы аппаратной и программной реализации алгоритмов логического управления" (2000).
В книге излагаются методы аппаратной и программной реализации алгоритмов логического управления, заданных булевыми функциями разных классов, булевыми формулами и графами переходов и многое другое. Книга предназначена для студентов, обучающихся по специальности "Управление и информатика в технических системах", и специалистов в области информатики, вычислительной техники и систем управления.

Публикуются с разрешения автора.