- Главная
- Авторы
- Кузьмин Е.В.
- Книги Кузьмин Е.В.
Книги Кузьмин Е.В.
Кузьмин Е.В. - автор 8 книг. Из известных произведений можно выделить: Структурированные системы переходов, Теоретическая физика: Сборник рабочих программ дисциплин, Основы радиоэлектроники и связи. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное...
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределённых систем, таких как вычислительные машины и комплексы с параллельной и распределенной архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное...
Сборник рабочих программ дисциплин для специальности 010400 ''Физика'' очной формы обучения. Включает программы по дисциплинам ''Программирование и практикум на ЭВМ'', ''Теоретическая механика'', ''Специальная теория относительности'', ''Теория функций комплексного переменного'' и др. Программа подготовлена на кафедре теоретической физики КрасГУ
Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализ...
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределённых систем, таких как вычислительные машины и комплексы с параллельной и распределенной архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное...
