UID | Title |
|---|
| Авдеева Л.И., Зуховицкий С.И. Линейное и выпуклое программирование. - М.: Наука, 1964. |
| Айгнер М. Комбинаторная теория. - М.: Мир, 1982. |
| Акимов О.Е. Дискретная математика. Логика, группы, графы. - М.: Лаборатория Базовых Знаний, 2000. |
| Аккерман В., Гильберт Д. Основы теоретической логики. - М.: ИЛ, 1947. |
| Акритас А. Основы компьютерной алгебры с приложениями. - М.: Мир, 1994. |
| Александров П.С. Введение в теорию множеств и общую топологию. - М.: Наука, 1977. |
| Алефельд Г., Херцбергер Дж. Введение в интервальные вычисления. - М.: Мир, 1987. |
| Алешин С.В., Кудрявцев В.Б., Подколзин А.С. Введение в теорию автоматов. - М.: Наука, 1985. |
| Андерсон Д. Дискретная математика и комбинаторика. - М.: Вильямс, 2003. |
| Андреева Е, Фалина И. Системы счисления и компьютерная арифметика. - М.: Лаборатория Базовых Знаний, 2000. |
| Арбиб М.А. (ред.) Алгебраическая теория автоматов, языков и полугрупп. - М.: Статистика, 1975. |
| Артин Э. Геометрическая алгебра. - М.: Мир, 1970. |
| Арнольд В.И. Дополнительные главы теории обыкновенных дифференциальных уравнений. - М.: Наука, 1978. |
| Арнольд В.И. Обыкновенные дифференциальные уравнения. - М.: Наука, 1984. |
| Архипов Г.И., Садовничий В.А., Чубариков В.Н. Лекции по математическому анализу. - М.: Высшая школа, 2000. |
| Атья М., Макдональд И. Введение в коммутативную алгебру. - М.: Мир, 1972. |
| Ахо А., Ульман Д. Теория синтаксического анализа. - М.: Мир, 1978. |
| Ахо А., Хопкрофт Д., Ульман Д. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979. |
| Ахо А., Хопкрофт Д., Ульман Д. Структуры данных и алгоритмы. - М.: Издательский дом "Вильямс", 2003. |
| Ашманов С.А. Линейное программирование. - М.: Наука, 1981. |
| Баннаи Э., Ито Т. Алгебраическая комбинаторика. Схемы отношений. - М.: Мир, 1987. |
| Баранов В.И., Стечкин Б.С. Экстремальные комбинаторные задачи и их приложения. - М.: Наука, 1989. |
| Барздинь Я.М., Трахтенброт В.А. Конечные автоматы (поведение и синтез). - М.: Наука, 1970. |
| Барти Т., Биркгоф Г. Современная прикладная алгебра. - М.: Мир, 1986. |
| Басакер Р., Саати Т. Конечные графы и сети. - М.: Наука, 1974. |
| Батунер Л.М., Позин М.Е. Математические методы в химической технике. - Ленинград: ГНТИ, Химич. лит., 1960. |
| Бахвалов Н.С., Жидков Н.П., Кобельков Г.М. Численные методы. - М.: Наука, 1987. |
| Бахвалов Н.С., Лапин А.В., Чижонков Е.В. Численные методы в задачах и упражнениях. - М.: ВШ, 2000. |
| Безикович Я.С. Приближенные вычисления. - Л.-М.: Гостехиздат, 1940. |
| Бейз Г., Кук Д. Компьютерная математика. - М.: Наука, 1990. |
| Беланов А.А. Решения алгебраических уравнений методом Лобачевского. - М.: Наука, 1989. |
| Белов Н.В. Очерки по структурной кристаллографии и федоровским группам симметрии. - М.: Наука, 1986. |
| Белоногов В.А., Фомин А.Н. Матричные представления в теории конечных групп. - М.: Наука, 1976. |
| Белоусов Е.Г. Введение в выпуклый анализ и целочисленное программирование. - М.: Изд. Моск. ун-та, 1977. |
| Бендат Дж., Пирсол А. Прикладной анализ случайных данных. - М.: Мир, 1989. |
| Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний. - Научный мир, 2003. |
| Беран Л. Упорядоченные множества. - М.: Наука, 1981. |
| Берж К. Теория графов и ее применение. - М.: ИЛ, 1962. |
| Берлекэмп Э. Алгебраическая теория кодирования. - М.: Мир, 1971. |
| Биркгоф Г. Теория решеток. - М.: Наука, 1984. |
| Благуш П. Факторный анализ с обобщениями. - М.: Финансы и статистика, 1988. |
| Блейхуд Р. Теория и практика кодов, контролирующих ошибки. - М.: Мир, 1986. |
| Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. - М.: Наука, 1997. |
| Бокий Г.Б. Кристаллохимия. - М.: Наука, 1971. |
| Болотов А.А., Кудрявцев В.Б., Подколзин А.С. Основы теории однородных структур. - М.: Наука, 1990. |
| Боревич З.И., Шафаревич И.Р. Теория чисел. - М.: Наука, 1972. |
| Боровков А.А., Теория вероятностей. - М.: Наука, 1986. |
| Брауэр В. Введение в теорию конечных автоматов. - М.: Радио и связь, 1987. |
| Бри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982. |
| Бурбаки Н. Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра. - М.: Физматгиз, 1962. |
| Бурбаки Н. Алгебра. Многочлены и поля. Упорядоченные группы. - М.: Физматгиз, 1965. |
| Бурбаки Н. Теория множеств. - М.: Мир, 1965. |
| Бурбаки Н. Алгебра. Модули, кольца, формы. - М.: Фитзматгиз, 1966. |
| Бусленко Н.П. Моделирование сложных систем. - М.: Наука, 1878. |
| Бухараев Р.Г. Основы теории вероятностных автоматов. - М.: Наука, 1875. |
| Бухбергер Б.,Коллинз Дж., Лоос Р. (ред.) Компьютерная алгебра. Символьные и алгебраические вычисления. - М.: Мир, 1986 |
| Вайнштейн Б.К. Современная кристаллография. Т. 1. - М.: Наука, 1979. |
| Вайнштейн Б.К., Фридкин В.М., Инденбом В.Л. Современная кристаллография. Т. 2. - М.: Наука, 1979. |
| Ван дер Варден Б.Л. Алгебра. - М.: Наука, 1979. |
| Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. - М.: ИЛ, 1963. |
| Вапник В.Н. (ред.). Алгоритмы и программы восстановления зависимостей. - М.: Наука, 1984. |
| Вапник В.Н., Червоненкис А.Я. Теория распознавания образов. - М.: Наука, 1974. |
| Василенко О.Н. Теоретико-числовые алгоритмы в криптографии. - М.: НЦНМО, 2003. |
| Васильев В.И. Распознающие системы. Справочник. - Киев: Наукова Думка, 1983. |
| Вейль Г. Симметрия. - М.: Наука, 1968. |
| Вентцель Е.С. Исследование операций. Задачи, принципы, методология. - М.: Наука, 1988. |
| Вентцель Е.С. Овчаров Л.А. Теория вероятностей и ее инженерные приложения. - М.: Наука, 1988. |
| Вентцель Е.С. Элементы теории игр. - М.: Физматгиз, 1961. |
| Верещагин Н.К., Шень А. Вычислимые функции. - М.: МЦНМО, 2002. |
| Верещагин Н.К., Шень А. Начала теории множеств. - М.: МЦНМО, 2002. |
| Верещагин Н.К., Шень А. Языки и исчисления. - М.: МЦНМО, 2002. |
| Вержбицкий В.М. Численные методы. Линейная алгебра и нелинейные уравнения. - М.: ВШ, 2000. |
| Виленкин Н.Я. Комбинаторика. - М.: Наука, 1969. |
| Винер Н. Кибернетика, или управление и связь в животном и машине. - М.: Наука, 1983. |
| Винер Н. Новые главы кибернетики. - М.: Советское радио, 1963. |
| Виноградов А.М., Красильщик И.С. (ред.). Симметрии и законы сохранения уравнений математической физики. - М.: Факториал, 1997. |
| Вирт Н. Алгоритмы и структуры данных. - СПб.: Невский Диалект, 2001. |
| Владимиров В.С. Уравнения математической физики. - М.: Наука, 1981. |
| Владимиров Д.А. Булевы алгебры. - М.: Наука, 1969. |
| Воеводин В.В. Линейная алгебра. - М.: Наука, 1974. |
| Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. - СПб.: БХВ-Петербург, 2002. |
| Воеводин В.В. Численные методы алгебры. Теория и алгорифмы. - М.: Наука, 1966. |
| Воробьев Н.Н. Теория игр для экономистов - кибернетиков. - М.: Наука, 1985. |
| Вялый М., Китаев А., Шень А. Классические и квантовые вычисления. - М.: МЦНМО, 1999. |
| Гасанов Э.Э., Кудрявцев В.Б. Теория хранения и поиска информации. - М.: Физматлит, 2002. |
| Гасс С. Линейное программирование. - М.: Физматгиз, 1961. |
| Гашков С.Б., Чубариков В.Н. Арифметика, алгоритмы, сложность вычислений. - М.: ВШ, 2000. |
| Гельфанд И.М. Лекции по линейной алгебре. - М.: МЦНМО, 1998. |
| Гермейер Ю.Б. Введение в теорию исследования операций. - М.: Наука, 1971. |
| Гилл А. Введение в теорию конечных автоматов. - М.: Наука, 1966, 1972. |
| Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М.: Наука, 1979. |
| Гильберт Д., Бернайс П. Основания математики. Теория доказательств. - М.: Наука, 1982. |
| Гинзбург С. Математическая теория контекстно-свободных языков. - М.: Мир, 1970. |
| Гихман И.И., Скороход А.В. Теория случайных процессов. - М.: Наука, 1973. |
| Гладкий А.В. Введение в современную логику. - М.: МЦНМО, 2001. |
| Гладкий А.В. Математическая логика. - М.: РГГУ, 1998. |
| Гладкий А.В., Мельчук И.А. Элементы математической лингвистики. - М.: Наука, 1969. |
| Гладкий В.А. Формальные грамматики и языки. - М.: Наука, 1973. |
| Глазман И.М., Любич Ю.И. Конечномерный анализ. - М.: Наука, 1969. |
| Глухов М.М., Елизаров В.П., Нечаев А.А. Алгебра. - М.: Гелиос АРВ, 2003. |