Книги
Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998., 628 с
Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000., 780 c
Шалыто А.А. Алгоритмизация и программирование задач логического управления. СПбГУ ИТМО. 1998.
Артюхов В.Л., Копейкин Г.Н., Шалыто А.А. Настраиваемые модули для управляющих логических устройств. Л.: Энергоиздат. Ленингр.отд-ние, 1981., 168 с
Шидловский С.В. Автоматическое управление. Перестраиваемые структуры. Томск, 2006., 288 с
Зюбин В.Е. Программирование информационно-управляющих систем на основе конечных автоматов Новосибирск, 2006., 97 с (внешняя ссылка: softcraft.ru)
Письмо А.А. Шалыто к В.Е. Зюбину
Генельт А.Е. Учебно-методическое пособие по дисциплине "Автоматизированные методы разработки архитектуры программного обеспечения" (PDF)
Законов А. Применение генетических алгоритмов к генерации тестов для автоматных программ. LAP LAMBERT Academic Publishing. 2011, 68 с. (внешняя ссылка: www.lap-publishing.com)
Князев Е., Шопырин Д. Методы автоматизированной классификации изменений программного кода и их применение в процессе разработки и поддержки программ, LAP LAMBERT Academic Publishing (2011-04-05) (внешняя ссылка: www.morebooks.de)
"Заметки о мотивации" двинулись в народ (PDF)
Книга об А.П. Ершове. Путь программиста (внешняя ссылка: www.iis.nsk.su)
Дэвид М. Хэррис, Сара Л. Хэррис. Цифровая схемотехника и архитектура компьютера (PDF)
Radomir S. Stankovic, Jaakko T. Astola, Anatoly A. Shalyto & Alexander V. Strukov (eds.). Reprints from the Early Days of Information Sciences: Early Work in Switching Theory and Logic Design in USSR. Tampere International Center for Signal Processing, Tampere, 2016. (PDF)
Tampere International Center for Signal Processing опубликовал в Интернете серию книг "Reprints from the Early Days of Information Sciences". Это книги о Е. Нечипоруке, А. Накашиме, П. Порецком, А. Саломаа, Х. Заманеке, П. Эренфесте, К. Комамио, а также о ранних работах по функция Уолша и дискретному косинусному преобразованию. В 2016 г. в этой серии вышла книга "Early Work in Switching Theory and Logic Design in USSR", где я имел честь быть соредактором. Ссылки на эти книги размещены здесь (внешняя ссылка: ticsp.cs.tut.fi)
Поликарпова Н.И., Шалыто А.А. Автоматное программирование
Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009. (обложка)
Ошибки и неточности в книге Поликарповой Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009 (PDF)
Поликарпова Н.И., Шалыто А.А. Автоматное программирование. Книга в Word, формат PDF (авторская редакция) (PDF)
Поликарпова Н.И., Шалыто А.А. Автоматное программирование. Второе издание (внешняя ссылка: www.piter.com)
"Автоматное программирование" стало вечным - на OZON продается цифровая книга (внешняя ссылка: www.ozon.ru)
О последней книге
Отличная книга. Рекомендую для интересующихся конечными автоматами и автоматным программированием (внешняя ссылка: www.books.ru)
Отзыв на книгу
Реклама книги в журнале "КомпьютерПресс" (PDF)
Реклама книги в журнале "Компоненты и технологии" (PDF)
Рецензия на книгу (1) (PDF)
Рецензия на книгу (2)
Реклама книги
О книге (внешняя ссылка: www.avite.ru)
Письмо от Карпова В.Э.
Карпов В.Э. Автоматное программирование и робототехника. 2014 (внешняя ссылка: robofob.ru)
Джон Хопкрофт и книга Н. Поликарповой и А. Шалыто "Автоматное программирование"
На полке в Санкт-Петербургском Доме книге: Д. Кнут, Н.Поликарпова, А.А.Шалыто и Б.Мейер
Рецензия на книгу Поликарповой Н. и Шалыто А. "В трудах СПИИРАН" (PDF)
Где можно купить нашу книгу!
http://www.piter.com/book.phtml?978538800692 (внешняя ссылка: www.piter.com)
http://www.books.ru/shop/books/638620 (внешняя ссылка: www.books.ru)
http://www.ozon.ru/context/detail/id/4259083/ (внешняя ссылка: www.ozon.ru)
http://www.ozon.ru/context/detail/id/28260411/ (внешняя ссылка: www.ozon.ru)
Верификация
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб: СПбГУ ИТМО, 2011. 242 с. (PDF)
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб: Наука, 2011. 244 с. (PDF)
Книги наших коллег
Вирт Н. Систематическое программирование. Введение (DjVu — о формате)
Полезная книга - Успенский В.А., Семенов А.Л. Теория алгоритмов. Основные открытия и приложения. Наука, 1987. (внешняя ссылка: www.poiskknig.ru)
Wagner F., Schmuki R., Wagner Th., Wolstenholme P. Modeling software with finite state maschines. A practical approach (PDF)
Смолов В.Б., Пузанков Д.В. Шесть поколений вычислительной техники (из истории кафедры ВТ) (djvu) (DjVu — о формате)
Яковлев В.Б. От автоматики и телемеханики к управлению и информатике. Воспоминания (PDF)
Авдошин С.М., Белкин С.А. Фабрики приложений (djvu) (DjVu — о формате)
Халл Э., Джексон К., Дик Дж. Разработка и управление требованиями (внешняя ссылка: 80.250.162.180)
Миронов А.М. Теория процессов (PDF)
Златопольский Д.М. Замечательные кривые (DjVu — о формате)
Broy M., Jonsson B., Katoen J., Leucker M., Pretschner A. Model-Based Testing of Reactive Systems (PDF)
Jacky J., Veanes M., Campbell C., Schulte W. Model-Based Software Testing and Analysis with C# (PDF)
Найханова Л.В. Технология создания методов автоматического построения онтологий с применением генетического и автоматного программирования (PDF)
Архипенков С. Руководство командой разработчиков ПО. Прикладные мысли (внешняя ссылка: www.happy-pm.com)
Jacky J., Veanes M., Campbell C., Schulte W. Model-Based Software Testing and Analysis with C# (PDF)
Baier Ch., Katoen J.-P. Principles of Model Checking (PDF)
Маслоу А. Мотивация и личность (внешняя ссылка: psylib.org.ua)
Книжная серия. История информатики. (Краткое содержание). Составитель Я.И.Фет. Новосибирск. Изд. ИВМ и МГСОРАН, 2009. (PDF)
Как создавалась первая в СССР система боевого управления для дизельных подводных лодок (внешняя ссылка: submarinersclub.ru)
Это продолжает быть актуальным - Маслоу А. Мотивация и личность (внешняя ссылка: psylib.org.ua)
Samek M. Practical Statecharts in C/C++. Quantum Programming for Embedded Systems. CMP Books. 2002.
Samek M. Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems. Newnes. 2008.
Рекомендации по преподаванию информатики в университетах (внешняя ссылка: se.math.spbu.ru)
Рекомендации по преподаванию программной инженерии (внешняя ссылка: se.math.spbu.ru)
Ежегодный сборник статей сотрудников кафедры "Системное программирование" СПбГУ (внешняя ссылка: www.sysprog.info)
Аладьев В.З. Классические однородные структуры. Клеточные автоматы.- CA: Palo Alto, Fultus Corporation, 2009, 536 c., ISBN 978-1596821385 (внешняя ссылка: www.lib.grsu.by)
Haupt R.L., Haupt S.E. Practical Genetic Algorithms. John Wiley & Sons, Inc. NJ: 2004 (внешняя ссылка: kolhoz.tiera.ru)
Wagner F., Thomas - Modeling Software with Finite State Machines. Practical Approach (pdf) (внешняя ссылка: bib.tiera.ru)
Миронов А.М. Теория функциональных программ (PDF)
Юдицкий С.А. Моделирование динамики многоагентных триадных сетей. – М.: СИНТЕГ, 2012, 112 с. (PDF)
Миронов А.М. Теория вероятностных автоматов. Часть 1 (PDF)
Книги В.П. Одинца
Одинец В.П. Зарисовки по истории компьютерных наук. Часть 1. Сывтывкар. Коми гос. педагогический институт. 2011. 199 с. (PDF)
Одинец В.П. История и методология компьютерных наук: конспект лекций. Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2016. – 65 с. (PDF)
Одинец В.П. Зарисовки по истории компьютерных наук: учебное пособие. – Сыктывкар: Коми пединститут, 2013, 421 с. (PDF)
Одинец В.П. Об истории некоторых математических методов, используемых при принятии управленческих решений: учебное пособие – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2015. – 108 с. (PDF)
Одинец В.П. О ленинградских математиках, погибших в 1941-1944 годы – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2020. – 122 с. (PDF)
Книги Springer в открытом доступе
Cyber-Physical Systems: Driving force for innovation in mobility, health, energy and production. 2011 (внешняя ссылка: link.springer.com)
Christer Carlsson, Mario Fedrizzi, Robert Fuller. Fuzzy Sets and Fuzzy Logic. In Fuzzy Logic in Management, 2004 (внешняя ссылка: link.springer.com)
Colin R. Reeves, Jonathan E. Rowe. Genetic Algorithms — Principles and Perspectives: A Guide to GA Theory. 2002 (внешняя ссылка: link.springer.com)
Stephen W. Ellacott, John C. Mason, Iain J. Anderson (eds.). Mathematics of Neural Networks: Models, Algorithms and Applications. 1997 (внешняя ссылка: link.springer.com)
Bernabe Dorronsoro, Enrique Alba. Cellular Genetic Algorithms. 2008 (внешняя ссылка: link.springer.com)
Masatoshi Sakawa. Genetic Algorithms and Fuzzy Multiobjective Optimization. 2002 (внешняя ссылка: link.springer.com)