Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Редукция



КнигаСтраницы для поиска
Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика66
Ленг С. — Алгебра467
Менский М.Б. — Квантовые изменения и декогеренция. Модели и феноменология18—20, 29, 33, 40
Платонов В.П., Рапинчук А.С. — Алгебраические группы и теория чисел163, 169
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы52
Алексеевский Д.В., Виноградов А.М., Лычагин В.В. — Основные понятия дифференциальной геометрии117
Паули В. — Общие принципы волновой механики117, 167
Реммерт Р., Петернел Т., Грауэрт Г. — Комплексный анализ – многие переменные – 783, 109, 436
Гиляров М.С. (ред.) — Биологический энциклопедический словарь534а
Скорняков Л.А. — Элементы общей алгебры58
Раус Е.Дж. — Динамика системы твердых тел (том 1)91, 92
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах52, 446, 490, 582, 608
Филд А., Харрисон П. — Функциональное программирование125
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.289, 294
Трофимов В.В., Фоменко А.Т. — Алгебра и геометрия интегрируемых гамильтоновых дифференциальных уравнений176, п. 15
Пойа Д. — Математическое открытие27—29
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание408
Тахтаджян Л.А., Фаддеев Л.Д. — Гамильтонов подход в теории солитонов277, 279, 281, 283
Арефьев В.А., Лисовенко Л.А. — Англо-русский толковый словарь генетических терминов209
Вершик А.М., Гершкович В.Я., Гамкрелидзе Р.В. (ред.) — Динамические системы - 7. Интегрируемые системы58
Касьянов В.Н. — Оптимизирующие преобразования программ284
Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог21, 22, 65, 66, 68, 69
Славянов С., Лай В. — Специальные функции39
Браун П. (ред.) — Мобильность программного обеспечения178
ван Гиг Дж. — Прикладная общая теория систем (вторая книга)27, 28
Кибрик А.Е. (ред.), Ершов А.П. (ред.) — Моделирование языковой деятельности в интеллектуальных системах55, 56, 61, 63, 229, 249, 250, 253
Жиглявский А.А., Жилинскас А.Г. — Методы поиска глобального экстремума18
Шрейдер Ю.А. — Равенство, сходство, порядок134
Гаек П., Гавранек Т. — Автоматическое образование гипотез66
Ченцов Н.Н., Чернавский А.В. (ред.) — Статические решающие правила и оптимальные выводы36
Серр Ж.-П. — Абелевы l-адические представления и эллиптические кривые114
Гамкрелидзе Р.В. (ред.) — Итоги науки и техники: современные проблемы математики. Фундаментальные направления (том 57)32, 41
Мао В. — Современная криптография: теория и практика46, 559
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию476, 483
Савчук В.П. — Байесовские методы статистического оценивания. Надежность технических объектов15
Багров В.Г., Белов В.В., Задорожный В.Н. — Методы математической физики. Том 4. Уравнения математической физики170
Шторм Р. — Теория вероятности и математическая статистика.94
Схоутен Я.А. — Тензорный анализ для физиков21, 22, 163
Лопатинский. — Разложение полиномиальной матрицы на множители19, 25
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте