Уведомления
Уведомлений еще не было
Золотая ветвь. Исследование магии и религии
Золотая ветвь. Исследование магии и религии

Джеймс Джордж Фрэзер

8.8
20 оценок
Дерсу Узала. По Уссурийскому краю
Дерсу Узала. По Уссурийскому краю

Владимир Арсеньев

8.6
3 оценки
Как изобрести все. Создай цивилизацию с нуля
Как изобрести все. Создай цивилизацию с нуля

Райан Норт

8.6
175 оценок
Растения против зомби. Конец времён
Растения против зомби. Конец времён

Пол Тобин

8.0
1 оценка
Разумный инвестор. Полное руководство по стоимостному инвестированию
Разумный инвестор. Полное руководство по стоимостному инвестированию

Бенджамин Грэм

8.6
916 оценок
Добывая «Биркин». Как обвести вокруг пальца люксовый модный бренд и заработать на этом миллионы
Добывая «Биркин». Как обвести вокруг пальца люксовый модный бренд и заработать на этом миллионы

Тонелло Майкл

8.2
119 оценок

Книги Карпова Ю.Г.

Карпов Ю.Г. - автор 5 книг. Из известных произведений можно выделить: Теория и технология программирования. Основы построения трансляторов, MODEL СHECKING. Верификация параллельных и распределенных программных систем, Имитационное моделирование систем. Введение в моделирование с AnyLogic 5. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Программирование
8.0
0
0
Теория и технология программирования. Основы построения трансляторов
Карпов Ю.Г.
Теория и технология программирования. Основы построения трансляторов

Целью книги является постановка базовых проблем теории формальных языков, разъяснение задач построения трансляторов. Представлена основная концепция трансляции - синтаксически ориентированная обработка предложений входного языка. В рамках этой концепции рассматриваются основные этапы трансляции: восстановление структуры входного текста, вычисление смысла текста по этой структуре, формирование выхо...

Карпов Ю.Г. Теория и технология программирования. Основы построения трансляторов
Программирование
8.0
0
0
MODEL СHECKING. Верификация параллельных и распределенных программных систем
Карпов Ю.Г.
MODEL СHECKING. Верификация параллельных и распределенных программных систем

В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающ...

Карпов Ю.Г. MODEL СHECKING. Верификация параллельных и распределенных программных систем
Программирование
7.5
0
0
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Карпов Ю.Г.
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5

Описываются десятки законченных примеров имитационных моделей из самых различных областей. Для каждой модели приводится постановка проблемы, обсуждается ее структура, подробно разбирается реализация в среде Any Logic. Все модели, описываемые в

Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Программирование
0.0
0
0
Теория автоматов
Карпов Ю.Г.
Теория автоматов

Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое использование моделей не является частной иллюстрацией теоретических результатов - на...

Карпов Ю.Г. Теория автоматов
Компьютеры
0.0
0
0
Сложность алгоритмов и программ
Карпов Ю.Г.
Сложность алгоритмов и программ

В статье описываются классы сложности алгоритмов, приводится пример разработки алгоритмов различной сложности, практического использования результатов теории в криптографии

Карпов Ю.Г. Сложность алгоритмов и программ

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.