Программирование. Теория типов — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP,TSP,TIP).

Семь типов людей, которых можно встретить в книжном магазине — За двадцать лет, проведенных за прилавком книжного магазина в шотландском Уигтауне, Шону Байтеллу довелось не только погрузиться в мир букинистических изданий и стать активным участником культурной жизни города и страны в целом, но и повстречаться с самыми разными покупателями – от

Построй форт и защищайся от вторжения других игроков. 22 типа зданий для развития военной базы. Строй казармы и защитные сооружения, мастерские роботов и спутников, хранилища ресурсов и лаборатории.

Air Conflicts: Secret Wars – аркадный симулятор полетов, действие которого происходит во времена Первой и Второй мировых войн.

Astragon с гордостью объявляет продолжение своего популярного корабельного симуляторa.

Astragon с гордостью объявляет продолжение своего популярного корабельного симуляторa.

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