Уведомления
Уведомлений еще не было
Чему не учат на юрфаке. Все части легендарной трилогии новые главы
Чему не учат на юрфаке. Все части легендарной трилогии новые главы

Вячеслав Оробинский

7.0
1 оценка
Загадка закрытого ящика (#1)
Загадка закрытого ящика (#1)

Холли Вебб

8.8
1271 оценка
Путешествие писателя: Мифологические структуры в литературе и кино покет, 2019
Путешествие писателя: Мифологические структуры в литературе и кино покет, 2019

Кристофер Воглер

9.0
1 оценка
Цель. Процесс непрерывного улучшения
Цель. Процесс непрерывного улучшения

Джефф Кокс

8.0
1 оценка
Соловей
Соловей

Кристин Ханна

8.2
4878 оценок
Улица светлячков
Улица светлячков

Кристин Ханна

8.6
428 оценок

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

Карпов Ю.Г. - автор 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.