Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной...
ISBN: 978-5-97060-242-3
Издательство:
ДМК Пресс
Дата выхода: март 2016
Устройства на базе Android пользуются невероятной популярностью. В этом пособии мы собрали всю необходимую информацию для того, чтобы вы могли делать собственные приложения, а также тестировать их на виртуальном устройстве Android. Данное пособие поможет узнать, как структурировать приложения, познакомит с дизайном интерфейсов, научит создавать базы данных, поможет заставить работать ваши приложения на...
ISBN: 978-5-406-15558-5
Издательство:
КноРус
Дата выхода: июль 2025
Унифицированный язык моделирования (Unified Modeling LI UML) является графическим языком для визуализации, специфицирования, конструирования и документирования систем, в которых большая роль принадлежит программному обеспечению. С помощью UML можно разработать детальный план создаваемой системы, содержащий не только ее концептуальные элементы, такие как системные функции и бизнес-процессы, но и конкретные...
ISBN: 978-5-97060-157-0
Издательство:
ДМК Пресс
Дата выхода: май 2015
Отличное введение в Elixir для людей с практическим складом ума. Авторы сразу переходят к сути и дают прекрасный обзор возможностей языка Elixir, достаточно глубокий, чтобы познакомить читателя с языком и вызвать желание попробовать его. Красивый, мощный и компактный, язык программирования Elixir отлично подходит для изучения функционального программирования, и это практическое введение покажет вам,...
ISBN: 978-5-97060-518-9
Издательство:
ДМК Пресс
Дата выхода: март 2017
Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность. Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно? Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы...
ISBN: 978-5-97060-696-4
Издательство:
ДМК Пресс
Дата выхода: апрель 2019
С этой книгой вы научитесь моделированию удивительных по своей реалистичности существ, людей и неодушевленных предметов в одной из лучших программ «цифровой лепки» Zbrush. Вы освоите уникальную технологию скульптинга, инновационный интерфейс и мощный набор инструментов Zbrush, работу с «цифровой глиной» и богатым арсеналом скульптурных кистей, моделирование скелетов и сеток при помощи Z-сфер и Z-скетчей,...
ISBN: 978-5-97060-611-7
Издательство:
ДМК Пресс
Дата выхода: декабрь 2018
Рассматриваются проблемы уязвимости информации в современных системах обработки данных, анализируются и классифицируются угрозы безопасности информации, конкретизируются задачи систем ее обеспечения. Дан обзор методов, технических приемов и аппаратуры защиты информации. Основное внимание уделяется проблемам опознавания пользователя, криптографическим методам защиты информации, методам защиты от...
ISBN: 5-93517-062-0
Издательство:
Горячая Линия - Телеком
Дата выхода: январь 2002
