МУИС-ийн номын сан

Верификация моделей программ Model Checking

Зохиогч: Кларк Э.М; Грамберг О; Пелед Д.

Гаралтын мэдээ М МЦНМО 2002
Шифр: 22.18 К-18.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Теория информации и статистика

Зохиогч: Кульбак С.

Гаралтын мэдээ М НАУКА 1967
Шифр: 22.19 К-90.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Автоматизация процессов накопления, поиска и обобщения информации

Зохиогч: Белоногов Г.Г; Новоселов А.П.

Гаралтын мэдээ М НАУКА 1979
Шифр: 22.18 Б-43.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Рекуррентные методы оптимальных решений в стохастических системах

Зохиогч: Баранов В.В.

Гаралтын мэдээ Харьков Вища школа 1981
Шифр: 22.17 Б-24.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Приложения групп Ли к дифференциальным уравнениям Пер. с англ

Зохиогч: Олвер П; Шабата А.Б.

Гаралтын мэдээ Н ИО НФМИ 1998
Шифр: 22.18 О-11.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Трехмерная геометрия и топология Пер. с англ. О.В.Шварцмана

Зохиогч: Терстон У.

Гаралтын мэдээ М МЦНМО 2001
Шифр: 22.16 Т-35.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Актуарная математика в задачах

Зохиогч: Фалин Г.И; Фалин А.И.

Дахин хэвлэлт: 2-е издss
Гаралтын мэдээ М ФИЗМАТЛИТ 2003
Шифр: 22.18 Ф-19.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Методы оптимизации Пособие для учителя

Зохиогч: Монахов В.М; Беляева Э.С; Краснер Н.Я.

Гаралтын мэдээ М Просвещение 1978
Шифр: 22.193 М-77.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Топологические методы в теории гамильтоновых систем Сборник статей

Гаралтын мэдээ М Факториал 1998
Шифр: 22.151 Т-58.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Конкретные проблемы функционального анализа

Зохиогч: Леви П.

Дахин хэвлэлт: 2-е издss
Гаралтын мэдээ М НАУКА 1967
Шифр: 22.14 Л-36.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Сборник задач по теории функций действительного переменного

Зохиогч: Теляковский. С.А.

Гаралтын мэдээ М НАУКА 1980
Шифр: 22.161.5 Т-31.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Вертексные алгебры для начинающих

Зохиогч: Кац В.Г.

Гаралтын мэдээ М МЦНМО 2005
Шифр: 22.14 К-30.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Стохастические дифференциальные уравнения Введение в теорию и приложения

Зохиогч: Оксендаль Б.

Гаралтын мэдээ М Мир 2003
Шифр: 22.171 О-52.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Счётная линейка

Зохиогч: Семендяев К.А.

Дахин хэвлэлт: 5-е издss
Гаралтын мэдээ Л Технико теоретической литературы 1952
Шифр: 22.18 С-11.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Решение задач математической логики С использованием элементарной алгебры

Зохиогч: Коваленко С.И.

Гаралтын мэдээ М Физматлит 2004
Шифр: 22.18 К-56.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Алгебриаческий анализ точно решаемых решеточных моделей

Зохиогч: Джимбо М; Мива Т.

Гаралтын мэдээ М 2000
Шифр: 22.10я2 М-35.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Лекции по финансовой математике

Зохиогч: Лётчиков А.В.

Гаралтын мэдээ М Ижевск 2004
Шифр: 22.14 Л-11.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Лекции по топологии трехмерных многообразий Введение в инвариант Кассона

Зохиогч: Савельев Н.Н.

Гаралтын мэдээ М МЦНМО 2004
Шифр: 22.152/С-12.
Номын сан:
Эрдэм шинжилгээний фонд (2).

Теория массового обслуживания

Зохиогч: Чернов В.П; Ивановский В.Б.

Цувралын зохиогч: Математика для экномистов Т. 6
Гаралтын мэдээ М ИНФРА-М 2000
Шифр: 22.18я73 М-34.
Номын сан:
Эрдэм шинжилгээний фонд (1).

Математические методы контроля качества и надежности

Гаралтын мэдээ Ташкент Фан 1969
Шифр: 22.1 М-34.
Номын сан:
Эрдэм шинжилгээний фонд (1).

		Верификация моделей программ Model Checking Зохиогч: Кларк Э.М; Грамберг О; Пелед Д. Гаралтын мэдээ М МЦНМО 2002 Шифр: 22.18 К-18. Номын сан: Эрдэм шинжилгээний фонд (1).
		Теория информации и статистика Зохиогч: Кульбак С. Гаралтын мэдээ М НАУКА 1967 Шифр: 22.19 К-90. Номын сан: Эрдэм шинжилгээний фонд (1).
		Автоматизация процессов накопления, поиска и обобщения информации Зохиогч: Белоногов Г.Г; Новоселов А.П. Гаралтын мэдээ М НАУКА 1979 Шифр: 22.18 Б-43. Номын сан: Эрдэм шинжилгээний фонд (2).
		Рекуррентные методы оптимальных решений в стохастических системах Зохиогч: Баранов В.В. Гаралтын мэдээ Харьков Вища школа 1981 Шифр: 22.17 Б-24. Номын сан: Эрдэм шинжилгээний фонд (1).
		Приложения групп Ли к дифференциальным уравнениям Пер. с англ Зохиогч: Олвер П; Шабата А.Б. Гаралтын мэдээ Н ИО НФМИ 1998 Шифр: 22.18 О-11. Номын сан: Эрдэм шинжилгээний фонд (1).
		Трехмерная геометрия и топология Пер. с англ. О.В.Шварцмана Зохиогч: Терстон У. Гаралтын мэдээ М МЦНМО 2001 Шифр: 22.16 Т-35. Номын сан: Эрдэм шинжилгээний фонд (1).
		Актуарная математика в задачах Зохиогч: Фалин Г.И; Фалин А.И. Дахин хэвлэлт: 2-е издss Гаралтын мэдээ М ФИЗМАТЛИТ 2003 Шифр: 22.18 Ф-19. Номын сан: Эрдэм шинжилгээний фонд (1).
		Методы оптимизации Пособие для учителя Зохиогч: Монахов В.М; Беляева Э.С; Краснер Н.Я. Гаралтын мэдээ М Просвещение 1978 Шифр: 22.193 М-77. Номын сан: Эрдэм шинжилгээний фонд (2).
		Топологические методы в теории гамильтоновых систем Сборник статей Гаралтын мэдээ М Факториал 1998 Шифр: 22.151 Т-58. Номын сан: Эрдэм шинжилгээний фонд (1).
		Конкретные проблемы функционального анализа Зохиогч: Леви П. Дахин хэвлэлт: 2-е издss Гаралтын мэдээ М НАУКА 1967 Шифр: 22.14 Л-36. Номын сан: Эрдэм шинжилгээний фонд (1).
		Сборник задач по теории функций действительного переменного Зохиогч: Теляковский. С.А. Гаралтын мэдээ М НАУКА 1980 Шифр: 22.161.5 Т-31. Номын сан: Эрдэм шинжилгээний фонд (1).
		Вертексные алгебры для начинающих Зохиогч: Кац В.Г. Гаралтын мэдээ М МЦНМО 2005 Шифр: 22.14 К-30. Номын сан: Эрдэм шинжилгээний фонд (1).
		Стохастические дифференциальные уравнения Введение в теорию и приложения Зохиогч: Оксендаль Б. Гаралтын мэдээ М Мир 2003 Шифр: 22.171 О-52. Номын сан: Эрдэм шинжилгээний фонд (1).
		Счётная линейка Зохиогч: Семендяев К.А. Дахин хэвлэлт: 5-е издss Гаралтын мэдээ Л Технико теоретической литературы 1952 Шифр: 22.18 С-11. Номын сан: Эрдэм шинжилгээний фонд (1).
		Решение задач математической логики С использованием элементарной алгебры Зохиогч: Коваленко С.И. Гаралтын мэдээ М Физматлит 2004 Шифр: 22.18 К-56. Номын сан: Эрдэм шинжилгээний фонд (1).
		Алгебриаческий анализ точно решаемых решеточных моделей Зохиогч: Джимбо М; Мива Т. Гаралтын мэдээ М 2000 Шифр: 22.10я2 М-35. Номын сан: Эрдэм шинжилгээний фонд (1).
		Лекции по финансовой математике Зохиогч: Лётчиков А.В. Гаралтын мэдээ М Ижевск 2004 Шифр: 22.14 Л-11. Номын сан: Эрдэм шинжилгээний фонд (1).
		Лекции по топологии трехмерных многообразий Введение в инвариант Кассона Зохиогч: Савельев Н.Н. Гаралтын мэдээ М МЦНМО 2004 Шифр: 22.152/С-12. Номын сан: Эрдэм шинжилгээний фонд (2).
		Теория массового обслуживания Зохиогч: Чернов В.П; Ивановский В.Б. Цувралын зохиогч: Математика для экномистов Т. 6 Гаралтын мэдээ М ИНФРА-М 2000 Шифр: 22.18я73 М-34. Номын сан: Эрдэм шинжилгээний фонд (1).
		Математические методы контроля качества и надежности Гаралтын мэдээ Ташкент Фан 1969 Шифр: 22.1 М-34. Номын сан: Эрдэм шинжилгээний фонд (1).

Хайлтын нарийвчлал

Хайлтын үр дүн