Каталог файлов

Книги по программированию

Sat, 16 May 2015 07:29:01 GMT

Выложил разные книги по программированию, журналы по ссылке Ниже есть фрейм с шары. Можно скачать оттуда.

Теория сетей Петри и моделирование систем. Питерсон Дж. 1984

Wed, 09 Apr 2014 03:24:30 GMT

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

Автоматное управление асинхронными процессами в ЭВМ и дискретных системах. Варшавский В.И. 1986

Wed, 09 Apr 2014 03:21:13 GMT

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

Математическая логика в программировании. Сб. статей. 1991

Wed, 09 Apr 2014 03:03:04 GMT

Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей—известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия).
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.

Введение в математическую логику. Мендельсон. Э. 1971

Wed, 09 Apr 2014 02:50:15 GMT

В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов математической логики и многих ее приложении.

Программирование в Linux. Иванов Н. Н. 2007

Sun, 02 Feb 2014 10:03:24 GMT

Рассмотрены фундаментальные основы программирования в Linux: инструментарии, низкоуровневый ввод-вывод,
многозадачность, файловая система, межпроцессное взаимодействие и обработка ошибок.

Язык программирования С, 2-е издание. Керниган, Брайан У., Ритчи, Деннис М.

Sat, 08 Jun 2013 13:14:53 GMT

Классическая книга по языку С, написанная самими разработчиками этого языка и

выдержавшая в США уже 34 переиздания! Книга является как практически исчерпывающим справочником,

так и учебным пособием по самому распространенному языку программирования.

Фундаментальные основы дискретной математики. Информационная математика. Горбатов В.А. 2000

Tue, 30 Apr 2013 07:32:51 GMT

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

Squid Proxy Server 3.1 Beginner's Guide. Kulbir Saini 2011 [ENG]

Tue, 30 Apr 2013 07:23:31 GMT

Книга по Squid v3.1 прокси серверу для начинающих (на английском).

IP - телефония. Росляков, Самсонов, Шибаева 2003

Wed, 25 Jul 2012 13:22:39 GMT

IP - телефония. Росляков, Самсонов, Шибаева 2003