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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Модель



КнигаСтраницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств41, 59
Аппель П. — Теоретическая механика. Том второй. Динамика системы. Аналитическая механика476
Верещагин Н.К., Шень А. — Языки и исчисления180
Мендельсон Э. — Введение в математическую логику59
Новиков Ф.А. — Дискретная математика для программистов52
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей84
Айгнер М. — Комбинаторная теория40
Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров12.1—1
Макконнелл С. — Совершенный код9
Клини С. — Математическая логика232, 381, 384
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь40
Гретцер Г. — Общая теория решеток305
Йех Т. — Теория множеств и метод форсинга25
Шапиро С.И. — От алгоритмов — к суждениям (Эксперименты по обучению элементам математического мышления)32, 44
Эдельман С.Л. — Математическая логика60
Гамма Э., Хелм Р., Джонсон Р. — Приемы объектно-ориентированного проектирования. Паттерны проектирования18
Мальцев А.И. — Алгоритмы и рекурсивные функции267
Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика39
Нильсон Н. — Искусственный интеллект. Методы поиска решений111, 175, 189, 244
Гук М.Ю. — Аппаратные средства IBM PC585
Клейн Ф. — Элементарная математика с точки зрения высшей.Том 1: Арифметика. Алгебра. Анализ5, 6, 397
Кларк Дж. — Иллюстрированная хроника открытий и изобретений
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики58
Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2)352
Мальцев А.И. — Алгебраические системы47, 249
Свитцер Р.М. — Алгебраическая топология - гомотопии и гомологии293
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей56
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование67
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах325, 328, 339, 342, 359, 367, 377, 378, 385, 390, 399
Степанов С.А. — Арифметика алгебраических кривых252
Кон П. — Универсальная алгебра221, 236
Белоусов А.И., Ткачев С.Б. — Дискретная математика227
Фейс Р. — Модальная логика20, 328
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.43
Такеути Г. — Теория доказательств51
Гончаров С.С. — Счетные булевы алгебры и разрешимость2
Дынкин Е.Б., Юшкевич А.А. — Управляемые марковские процессы и их приложения23, 51—52, 66—67, 128, 130
Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ45
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера239
Емельянов В.В., Курейчик В.В., Курейчик В.М. — Теория и практика эволюционного моделирования233
Льюнг Л. — Идентификация систем. Теория для пользователя18
Линдон Р. — Заметки по логике33, 74, 79, 88—90
Флейшман Б.С. — Элементы теории потенциальной эффективности сложных систем8, .120
Вилкас Э.Й., Майминас Е.З. — Решения: теория, информация, моделирование.284—287
Хант Э. — Искусственный интеллект340, 379
Любин Дж. (ред.) — Справочник по композиционным материалам (ч. 2)41
Сик Дж., Ли Л., Ламсдэйн Э. — C++ Boost Graph Library41
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера226
Александров П.С., Маркушевич А.И., Хинчин А.Я. — Энциклопедия элементарной математики. Том IV. Геометрия21, 29
Девятков В.В. — Системы искусственного интеллекта29, 59
Полищук Н.Н., Савельева В.А. — Самоучитель Autocad 200516
Фаулер М., Бек К., Брант Д., Апдайк У., Робертс Д. — Рефакторинг. Улучшение существующего кода368
Хантер Р. — Проектирование и конструирование компиляторов129, 199
Виноградов И.М. — Математическая энциклопедия. Предметный указательIII—769
Пуаза Б. — Курс теории моделей2.c
Сакс Дж.Е. — Теория насыщенных моделей21
Штанько В.И. — Философия и методология науки18, 59, 77, 86, 88, 102, 107, 141, 164, 167, 173, 174, 178, 191, 197, 213, 214, 225, 240, 246, 248, 254
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов70
Винн Р., Холден К. — Введение в прикладной эконометрический анализ9
Новиков A.M. — Методология образования89, 90, 230
Кельтон В., Лоу А. — Имитационное моделирование. Классика CS.19
Столл Р.Р. — Множества. Логика. Аксиоматические теории149, 180
Питерсон Дж. — Теория сетей Петри и моделирование систем9
Леман Э. — Теория точечного оценивания11, см. «Модель со случайными эффектами»
Акофф Р., Эмери Э. — О целеустремленных системах84—88, 220, 221
Осуга С., Саэки Ю. — Приобретение знаний252
Борковский А.Б. — Англо-русский словарь по программированию и информатике168, 235
Клейн Ф. — Элементарная математика с точки зрения высшей, том 15, 6, 397
Осуга С. — Обработка знаний252
Уилсон А., Уилсон М. — Управление и творчество при проектировании систем105
Локк А.С. — Управление снарядами695
Плоткин Б.И. — Группы автоморфизмов алгебраических систем59
Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях99—102, 184
Гилман Л., Роуз А. — Курс АПЛ: диалоговый подход352
Карлин С. — Математические методы в теории игр, программировании и экономике14
Байхельт Ф., Франкен П. — Надежность и техническое обслуживание. Математический подход305, 313
Воробьев Н.Н. — Основы теории игр. Бескоалиционные игры9
Джонсон Р., Каст Ф., Розенцвейг Д. — Системы и руководство98, 169, 374, 467
Журдэн Ф. — Природа математики102, 103
Степанов А.Н. — Информатика38
Гаек П., Гавранек Т. — Автоматическое образование гипотез20
Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение144
Мортье Ш. — 3ds max 8 для "чайников"49
Лернер А.Я. — Начала кибернетики40 и д.
Чуев Ю.В., Спехова Г.П. — Технические задачи исследования операций63
Тернер Д. — Вероятность, статистика и исследование операций276
Рассел С., Норвиг П. — Искусственный интеллект: современный подход292
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник19, 332, 413, 607
Мартенс Л.К. (ред.) — Техническая энциклопедия. Том 24485
Хорстманн К.С., Корнелл Г. — Java 2. Библиотека профессионала, том 1. Основы410
Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели13
Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных44
Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации700
Флейшман Б.С. — Основы системологии19, 25
Гук М.Ю. — Аппаратные средства IBM PC. Энциклопедия585
Бускаран Э. — Теория моделей и алгебраическая геометрия37
Карпов Ю.Г. — Имитационное моделирование систем. Введение в моделирование с AnyLogic 513
Бунге М. — Причинность. Место принципа причинности в современной науке54, 104, 286, 311, 384
Хлытчиев С.М., Ворожцов А.С., Захаров И.А. — Основы автоматики и автоматизации производственных процессов65
Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров12.1—1
Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров.12.1—1
Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров12.1—1
Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров)12.1—1
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах35
Ревзин И.И. — Современная структурная лингвистика1.1.2
Егер С.М., Лисейцев Н.К., Самойлович О.С. — Основы автоматизированного проектирования самолетов4
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики49
Ларман К. — Применение UML и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и унифицированный процесс UP.605
Бочаров В.А., Маркин В.И. — Основы логикисм. "Возможная реализация языка"
Ремизов А.Н., Максина А. Г., Потапенко А. Я. — Медицинская и биологическая физика14
Херн Д., Паулин Б.М. — Компьютерная графика и стандарт OpenGL1029, 1040
Мазур М. — Качественная теория информации109
Трезубов В.Н., Мишнев Л.М., Незнанова Н.Ю. — Ортопедическая стоматология. Технология лечебных и профилактических аппаратов: Учебник для медицинских вузов43
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь111
Полак Л.С. — Неравновесная химическая кинетика и ее применение19
Трезубов М.М., Щербаков А.С., Мишнев Л.М. — Ортопедическая стоматология. Пропедевтика и основы частного курса153
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления178
Бартеньев О.В. — Фортран для профессионалов. Математическая библиотека IMSL. Выпуск 1355
Мазур М. — Качественная теория информации109
Клини С.К. — Математическая логика232, 381, 384
Полуэктов Р.А. (ред.) — Динамическая теория биологических популяций17
Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы21
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций58
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект15, 52, 73, 76, 78, 83, 92, 111, 128, 130, 132, 135, 142, 161, 162, 176, 202, 205, 206, 227, 277, 282, 298, 331, 356, 357
Бартеньев О.В. — Фортран для профессионалов. Математическая библиотека IMSL. Выпуск 1355
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга103, 193
Мендельсон Э. — Введение в математическую логику59
Гильберт А. — Как работать с матрицами111
Гришкин И.И. — Понятие информации. Логико-методолгический аспект.174
Пармон Ф.М. — Композиция костюма14
Столл Р.Р. — Множества. Логика. Аксиоматические теории149, 180
Клейн Ф. — Элементарная математика с точки зрения высшей. Арифметика. Алгебра. Анализ5, 6, 397
Вистелиус А.Б. — Основы математической геологии29, 31
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте