Юрий Александрович Карпов

Издательство: Лаборатория Базовых Знаний
Дата выхода: август 2015

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

Издательство: BHV-СПб
Дата выхода: апрель 2009

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

Издательство: BHV-СПб
Дата выхода: сентябрь 2013

Монография посвящена одному из самых значительных социальных явлений в истории новейшего времени Дагестана — переселению жителей горных районов на равнину. Актуальность проблемы обусловлена тем, что в ходе данного процесса произошло разрушение во многих отношениях уникальной культуры горцев; со второй половины XX в. существенно изменилась и продолжает меняться этническая карта республики и...

Издательство: Петербургское Востоковедение
Дата выхода: декабрь 2011

Для кардиологов, эндоваскулярных хирургов, терапевтов

Издательство: Медицинское информационное агентство
Дата выхода: май 2010

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

Издательство: BHV-СПб
Дата выхода: октябрь 2009

В учебном издании, написанном на основе вводного курса лекций для студентов Московского института стали и сплавов, изложены в соответствии с учебной программой различные способы и схемы пробоотбора природных и технических материалов, используемых в металлургическом производстве. Подробно рассмотрены вопросы разложения материалов, а также методы разделения компонентов и концентрирования...

Издательство: Лаборатория Базовых Знаний
Дата выхода: январь 2015

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

Издательство: Петербургское Востоковедение
Дата выхода: июнь 2008

Рассмотрены предмет, задачи, виды и основные стадии аналитического контроля, вопросы метрологии и стандартизации, классификация методов аналитического контроля металлургического производства. Изложены методы ядерной, атомной, молекулярной спектроскопии и фазового анализа, используемые для определения состава металлургической продукции, а также химические и электрохимические методы анализа, методы...

Издательство: Академкнига
Дата выхода: май 2006

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

Издательство: BHV-СПб
Дата выхода: сентябрь 2005

Рассмотрены формальные модели грамматик и языков, грамматики Хомского, методы синтаксического анализа формальных языков и приемы генерации кода в современных компиляторах. Особое внимание уделено постановке базовых проблем теории формальных языков, пониманию основных задач построения трансляторов. Приводится большое количество примеров и задач к каждой главе.

Издательство: BHV-СПб
Дата выхода: январь 2005

В учебном издании, написанном на основе вводного курса лекций для студентов Московского института стали и сплавов в соответствии с учебной программой, изложены различные способы и схемы пробоотбора природных и технических материалов, используемых в металлургическом производстве. Подробно рассмотрены вопросы разложения материалов, а также методы разделения компонентов и концентрирования...

Издательство: Лаборатория Базовых Знаний
Дата выхода: ноябрь 2003

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

Издательство: Питер
Дата выхода: сентябрь 2002