Найти книгу: "Введение в теорию языков программирования"

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

Это учебное пособие по программированию на языке ассемблера для персональных компьютеров IBM PC. Здесь рассматриваются основы разработки программ, аппаратная организация компьютера, использование системных средств DOS и BIOS, программирование сопроцессора и защищенного режима. Особое внимание уделено разработке прикладных драйверов Windows для управления нестандартной аппаратурой. Эта книга ориентирована на читателей, не являющихся профессионалами-программистами, но имеющих дело с персональными компьютерами, а также студентов вузов, аспирантов и преподавателей.

В этом справочнике размещены рассуждения о проблемах биоразнообразия. Брошюра содержит иллюстрации.

В этой книге описываются версии, оперирующие с числами с плавающей точкой. Автор дает основы программирования на Форте. Пособие содержит свыше 400 практических примеров расширения версий языка и разработки комплекса прикладных программ, охватывающих реализацию массовых математических, научно-технических, учебных расчётов и различных системных функций. Книга раскрывает возможности ПЭВМ: реализацию цветной и лого-графики на Форте, создание звуковых сигналов, изменение алфавита, построение графиков функций и т.д.

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

В этом учебном пособии собрана информация, необходимая для создания USB-устройств и драйверов для операционной системы Microsoft Windows 2000/XP. Автор рассмотрел процесс создания USB-устройства: от написания программы микроконтроллера (примеры реализованы для микропроцессора AT89C5131) до разработки собственного WDM-драйвера. Вы можете найти описание специальных классов устройств: HID-класс, позволяющий обойтись без разработки драйвера, и класс CDC, позволяющий работать с USB как с обычным COM-портом. Применить практические советы и примеры по использованию функций Raw Input, Direct Input и Setup API, которые содержатся в большом количестве.