УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Книги (версия для печати)


Книги



Шалыто А.А. 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)




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com