УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»
Книги
Шалыто А.А. 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)О последней книге
Отличная книга. Рекомендую для интересующихся конечными автоматами и автоматным программированием (внешняя ссылка: 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) Марков С., Охота на электроовец. Большая книга искусственного интеллекта. — Москва, 2024. — 568 с. (1 том). (PDF) Марков С., Охота на электроовец. Большая книга искусственного интеллекта. — Москва, 2024. — 784 с. (2 том). (PDF)Книги В.П. Одинца
Вершик А.М., Виро О.Я., Исаков В.Н., Леонов Г.А., Пратусевич М.Я, Хавин В.П., Широков Н.А., "Одинец Владимир Петрович (к шестидесятипятилетию со дня рождения)", Владикавк. матем. журн., 12:4 (2010), 79–81 (PDF) Одинец В.П. Зарисовки по истории компьютерных наук. Часть 1. Сывтывкар. Коми гос. педагогический институт. 2011. 199 с. (PDF) Одинец В.П. История и методология компьютерных наук: конспект лекций. Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2016. – 65 с. (PDF) Одинец В.П. Зарисовки по истории компьютерных наук: учебное пособие. – Сыктывкар: Коми пединститут, 2013, 421 с. (PDF) Одинец В.П. Об истории некоторых математических методов, используемых при принятии управленческих решений: учебное пособие – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2015. – 108 с. (PDF) Одинец В.П. О ленинградских математиках, погибших в 1941-1944 годы – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2020. – 122 с. (PDF) Одинец В.П. О ленинградских математиках, погибших в 1941-1944 годы, ч. 2 – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2021. – 94 с. (PDF) Одинец В.П. Иммиграция математиков в СССР до Великой Отечественной войны. - 74 c. (PDF) Одинец В.П. О работах математиков, погибших в годы Великой Отечественной войны - Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2024. - 179 с. (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)| © 2002—2024 | По техническим вопросам сайта: alexvatyan@gmail.com |