|
|
Вот примерный(и далеко не полный) список книг, которые есть у меня, и которые, возможно, заинтересуют участников форума:
М. Свами К. Тхуласираман
Графы, сети и алгоритмы
Построение и анализ вычислительных алгоритмов
Ахо Хопкрофт Ульман
Новиков Ф. А. Дискретная математика для программистов
Ахо Ульман Теория синтаксического анализа, перевода и компиляции
Ахо Ульман Компиляторы(Red book)
Дискретная математика: графы, матроиды, алгоритмы
Асанов Баранский Расин
Берж Теория графов и ее применения
ИЛ 1962
Н.Вирт Алгоритмы и структуры данных
Грин Кнут Математические методы анализа алгоритмов
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи.
М.:Мир, 1982
Евстигнеев Применение теории графов в программировании
Зыков Основы теории графов
Камерон, Дж. ван Линт
Теория графов. Теория кодирования и блок-схемы
Оре Теория графов
Рейнгольд, Нивергельт, Део
Комбинаторные алгоритмы. Теория и практика
Кук Бейз Компьютерная математика
Майника Э. Алгоритмы оптимизации на сетях и графах. - М.: Мир, 1981.
Оре Графы и их применение
Н. Кристофидес Теория графов. Алгоритмический подход
Сачков Введение в комбинаторные методы дискретной математики
Наука 1982
'Виленкин Н.Я. Индукция и комбинаторика (1976)
В. Липский Комбинаторика для программистов
А.М. Яглом И.М. Яглом Вероятность и информация
Лавров И.А. Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов
Кнут Д. Искусство программирования. 3-е изд
'Акритас. Основы компьютерной алгебры с приложениями (Мир, 1994)
Д. Гильберт, В. Аккерман "Основы теоретической логики"
'Гладкий. Формальные грамматики и языки
С.К. Клини "Математическая логика"
Э. Мендельсон Введение в математическую логику
Д. Гильберт, П. Бернайс "Основания математики. Логические исчисления и формализация
Д. Гильберт, П. Бернайс "Основания математики. Теория доказательств"
"Справочная книга по математической логике" (части 1-4)
А.В. Идельсон, Г.Е. Минц "Математическая теория логического вывода"
Колмогоров. Теория информации и теория алгоритмов (1987)
'Колмогоров, Драгалин. Математическая логика. Дополнительные главы (1984)
'Берлекамп Э. Алгебраическая теория кодирования
Чёрч У. Введение в математическую логику, том 1 (1960)
Мальцев. Алгебраические системы (Наука, 1970)
Новиков П.С. Конструктивная математическая логика с точки зрения классической (1977)
Риордан Дж. Комбинаторные тождества (Наука, 1982)
'Смаллиан Р. Теория формальных систем (Наука, 1981)
'Тарский А. Введение в логику и методологию дедуктивных наук (ИЛ, 1948)
Холл М. Комбинаторика (Мир, 1970) (ру)
Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)
'Роджерс Х. Теория рекурсивных фунцкий и эффективная вычислимость (Мир, 1972)
'Рыбников К.А. (ред.) Комбинаторный анализ. Задачи и упражнения (Наука, 1982)
Титце, Шенк Полупроводниковая схемотехника
Хилл, Хоровиц Искусство схемотехники
Р. Лэнди, Д. Дэвис, А. Альбрехт Справочник радиоинженера
Kwok K. Complete Guide to semicinductor devices(en)
Голденберг, Матюшкин, Поляк Цифровая обработка сигналов
Дженкинс, Ваттс Спектральный анализ и его приложения
Применение цифровой обработки сигналов. Под ред. Э. Оппенгейма
Уидроу, Стирнз Адаптивная обработка сигналов
Блейхут Быстрые алгоритмы цифровой обработки сигналов
Рытов Введение в статистическую радиофизику ч.1
Варакин Системы связи с шумоподобными сигналами
Брейсуэлл Преобразование Хартли
Еще немало книг по физике(электромегнетизму, теории колебаний и пр.), математике-всего порядка 2 гигабайт. Все заливать не обещаю, но если что-то конкретно интересует-спрашивайте-обещаюсь по возможности рассовывать по будкам. Часть этих книг есть в сети, так что прошу вначале поискать(в Google запрос "djvu библиотеки"), а потом ужо ко мне.
E-mail: 
info@telesys.ru
