Электронный каталог


 

База данных: Электронный каталог ДВФУ

Страница 1, Результатов: 7

Отмеченные записи: 0

74.04 М 34

    Математика, компьютер, образование : сборник научных трудов / под ред. Г. Ю. Ризниченко. - Москва : Регулярная и хаотическая динамика, 2002 - .
   вып. 9 : ч. 1. - 348 с. : ил., табл.. - ISBN 5939722237

УДК
ББК 74.04 + 72.4

Рубрики: образование--информационные технологии--сборники научных трудов

   наука--информационные технологии--сборники научных трудов


   математическое моделирование--сборники научных трудов


Кл.слова (ненормированные):
учебный процесс -- синергетика -- вселенная и человечество -- вычислительные методы -- компьютеры, применение -- высшее образование -- социально-экономические процессы, моделирование -- биологические системы, математическое моделирование -- экологические системы, математическое моделирование -- налоговая система, моделирование
Доп.точки доступа:
Ризниченко, Галина Юрьевна \ед.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Математика, компьютер, образование [Текст] : сборник научных трудов / под ред. Г. Ю. Ризниченко. вып. 9 : ч. 1, 2002. - 348 с. с.

1.

Математика, компьютер, образование [Текст] : сборник научных трудов / под ред. Г. Ю. Ризниченко. вып. 9 : ч. 1, 2002. - 348 с. с.


74.04 М 34

    Математика, компьютер, образование : сборник научных трудов / под ред. Г. Ю. Ризниченко. - Москва : Регулярная и хаотическая динамика, 2002 - .
   вып. 9 : ч. 1. - 348 с. : ил., табл.. - ISBN 5939722237

УДК
ББК 74.04 + 72.4

Рубрики: образование--информационные технологии--сборники научных трудов

   наука--информационные технологии--сборники научных трудов


   математическое моделирование--сборники научных трудов


Кл.слова (ненормированные):
учебный процесс -- синергетика -- вселенная и человечество -- вычислительные методы -- компьютеры, применение -- высшее образование -- социально-экономические процессы, моделирование -- биологические системы, математическое моделирование -- экологические системы, математическое моделирование -- налоговая система, моделирование
Доп.точки доступа:
Ризниченко, Галина Юрьевна \ед.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

74.04 М 34

    Математика, компьютер, образование : сборник научных трудов / под ред. Г. Ю. Ризниченко. - Москва : Регулярная и хаотическая динамика, 2002 - .
   вып. 9 : ч. 2. - С. 349 - 784. : ил., табл.. - ISBN 5939722245

УДК
ББК 74.04

Рубрики: математическое моделирование. (применение)--сборники научных трудов

Кл.слова (ненормированные):
вычислительный эксперимент -- уравнение Фоккера-Планка-Колмогорова -- аэродинамика (математические методы) -- математическая физика -- метод Монте-Карло -- численные методы -- дороги(содержание) -- сельскохозяйственные предприятия (инвестиции) -- принятие решений при неопределенности -- системы автоматизированного управления -- газодинамика (математические методы) -- флуоресцентная корреляционная спектроскопия -- медицина (применение математических методов) -- биомеханические процессы (моделирование)
Доп.точки доступа:
Ризниченко, Галина Юрьевна \ед.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Математика, компьютер, образование [Текст] : сборник научных трудов / под ред. Г. Ю. Ризниченко. вып. 9 : ч. 2, 2002. - С. 349 - 784. с.

2.

Математика, компьютер, образование [Текст] : сборник научных трудов / под ред. Г. Ю. Ризниченко. вып. 9 : ч. 2, 2002. - С. 349 - 784. с.


74.04 М 34

    Математика, компьютер, образование : сборник научных трудов / под ред. Г. Ю. Ризниченко. - Москва : Регулярная и хаотическая динамика, 2002 - .
   вып. 9 : ч. 2. - С. 349 - 784. : ил., табл.. - ISBN 5939722245

УДК
ББК 74.04

Рубрики: математическое моделирование. (применение)--сборники научных трудов

Кл.слова (ненормированные):
вычислительный эксперимент -- уравнение Фоккера-Планка-Колмогорова -- аэродинамика (математические методы) -- математическая физика -- метод Монте-Карло -- численные методы -- дороги(содержание) -- сельскохозяйственные предприятия (инвестиции) -- принятие решений при неопределенности -- системы автоматизированного управления -- газодинамика (математические методы) -- флуоресцентная корреляционная спектроскопия -- медицина (применение математических методов) -- биомеханические процессы (моделирование)
Доп.точки доступа:
Ризниченко, Галина Юрьевна \ед.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

510.6(075.8) П 58
Попов, С. В.
    Логическое моделирование / С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил., табл. - Библиогр. : с. 254 - 255.. - ISBN 5895130496

УДК
ББК 32.973я73

Рубрики: логическое моделирование

Кл.слова (ненормированные):
кодирование -- искусственный интеллект -- комбинаторные задачи -- модели логических формул -- логические формулы -- Покоса система логического моделирования -- прикладная математика
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Попов, С. В. Логическое моделирование [Текст] / С. В. Попов., 2006. - 256 с. с.

3.

Попов, С. В. Логическое моделирование [Текст] / С. В. Попов., 2006. - 256 с. с.


510.6(075.8) П 58
Попов, С. В.
    Логическое моделирование / С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил., табл. - Библиогр. : с. 254 - 255.. - ISBN 5895130496

УДК
ББК 32.973я73

Рубрики: логическое моделирование

Кл.слова (ненормированные):
кодирование -- искусственный интеллект -- комбинаторные задачи -- модели логических формул -- логические формулы -- Покоса система логического моделирования -- прикладная математика
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

65в631.0 М 34

    Математические модели природы и общества / Н. Н. Калиткин, Н. В. Карпенко, А. П. Михайлов [и др.]. - Москва : Физматлит, 2005. - 358 с. : ил., табл.. - ISBN 5922105582

УДК
ББК 65в631.0

Рубрики: конфликты--математическое моделирование--монографии

Кл.слова (ненормированные):
контроль качества (экология) -- социальные конфликты (математическое моделирование) -- клиринговые расчеты (математическое моделирование) -- пенсионная система (математическое моделирование) -- банковские платежи (математическое моделирование) -- социальные явления (математическое моделирование)
Доп.точки доступа:
Калиткин, Николай Николаевич
Карпенко, Надежда Викторовна
Михайлов, Александр Петрович

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Математические модели природы и общества [Текст] / Н. Н. Калиткин, Н. В. Карпенко, А. П. Михайлов [и др.]., 2005. - 358 с. с.

4.

Математические модели природы и общества [Текст] / Н. Н. Калиткин, Н. В. Карпенко, А. П. Михайлов [и др.]., 2005. - 358 с. с.


65в631.0 М 34

    Математические модели природы и общества / Н. Н. Калиткин, Н. В. Карпенко, А. П. Михайлов [и др.]. - Москва : Физматлит, 2005. - 358 с. : ил., табл.. - ISBN 5922105582

УДК
ББК 65в631.0

Рубрики: конфликты--математическое моделирование--монографии

Кл.слова (ненормированные):
контроль качества (экология) -- социальные конфликты (математическое моделирование) -- клиринговые расчеты (математическое моделирование) -- пенсионная система (математическое моделирование) -- банковские платежи (математическое моделирование) -- социальные явления (математическое моделирование)
Доп.точки доступа:
Калиткин, Николай Николаевич
Карпенко, Надежда Викторовна
Михайлов, Александр Петрович

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

510 Т 338

    Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга : сборник статей / под ред. Э. Бускаран ; пер. с англ. Б. Р. Френкина. - Москва : Изд-во Московского центра непрерывного математического образования, 2008. - 280 с.
Парал. тит. л. на англ. яз.

УДК

Рубрики: математические модели--теория--сборники научных трудов

   алгебраическая геометрия--сборники научных трудов


Кл.слова (ненормированные):
Морделла-Ленга гипотеза -- геометрическая теория стабильности -- Морли ранг -- абелевы многообразия -- Зарисского геометрии -- Манина теорема
Доп.точки доступа:
Бускаран, Э. \ред.\
Френкин, Б. Р. \пер.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга [Текст] : сборник статей / под ред. Э. Бускаран ; пер. с англ. Б. Р. Френкина., 2008. - 280 с. с.

5.

Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга [Текст] : сборник статей / под ред. Э. Бускаран ; пер. с англ. Б. Р. Френкина., 2008. - 280 с. с.


510 Т 338

    Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга : сборник статей / под ред. Э. Бускаран ; пер. с англ. Б. Р. Френкина. - Москва : Изд-во Московского центра непрерывного математического образования, 2008. - 280 с.
Парал. тит. л. на англ. яз.

УДК

Рубрики: математические модели--теория--сборники научных трудов

   алгебраическая геометрия--сборники научных трудов


Кл.слова (ненормированные):
Морделла-Ленга гипотеза -- геометрическая теория стабильности -- Морли ранг -- абелевы многообразия -- Зарисского геометрии -- Манина теорема
Доп.точки доступа:
Бускаран, Э. \ред.\
Френкин, Б. Р. \пер.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

517 И 889

    Исследования по современному анализу и математическому моделированию / Российская академия наук, Владикавказский научный центр, Институт прикладной математики и информатики ; Южный федеральный университет [и др.] ; [отв. ред. Ю. Ф. Коробейкин, А. Г. Кусраев]. - Владикавказ : [б. и.], 2008. - 381 с.. - ISBN 9785930000481
Отв. ред. указ. на обор. тит. л.

УДК

Рубрики: математический анализ--материалы конференции (съезда, симпозиума)

   математическое моделирование--материалы конференции (съезда, симпозиума)


Кл.слова (ненормированные):
функций теория -- теория функций -- комплексный анализ -- теория операторов (математика) -- аналитические функции -- граничные задачи -- гармоноческие функции -- субгармонические функции -- функциональные пространства -- ультрараспределений теория -- линейные операторы -- нелинейные операторные уравнения -- дифференциальные операторы -- банаховы расслоения -- билинейные операторы -- магнитные реакции пластин (моделирование) -- вихревые потоки (моделирование) -- электроснабжение городов (моделирование) -- налогообложение фирмы (моделирование) -- функциональный анализ -- Коши преобразование -- Солоу модели -- Неймана модели -- Фурье преобразование -- Бесова пространства -- операторы преобразования
Доп.точки доступа:
Российская академия наук. Владикавказский научный центр; Институт прикладной математики и информатики
Южный федеральный университет (Ростов-на-Дону)

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Исследования по современному анализу и математическому моделированию [Текст] / Российская академия наук, Владикавказский научный центр, Институт прикладной математики и информатики ; Южный федеральный университет [и др.] ; [отв. ред. Ю. Ф. Коробейкин, А. Г. Кусраев]., 2008. - 381 с. с.

6.

Исследования по современному анализу и математическому моделированию [Текст] / Российская академия наук, Владикавказский научный центр, Институт прикладной математики и информатики ; Южный федеральный университет [и др.] ; [отв. ред. Ю. Ф. Коробейкин, А. Г. Кусраев]., 2008. - 381 с. с.


517 И 889

    Исследования по современному анализу и математическому моделированию / Российская академия наук, Владикавказский научный центр, Институт прикладной математики и информатики ; Южный федеральный университет [и др.] ; [отв. ред. Ю. Ф. Коробейкин, А. Г. Кусраев]. - Владикавказ : [б. и.], 2008. - 381 с.. - ISBN 9785930000481
Отв. ред. указ. на обор. тит. л.

УДК

Рубрики: математический анализ--материалы конференции (съезда, симпозиума)

   математическое моделирование--материалы конференции (съезда, симпозиума)


Кл.слова (ненормированные):
функций теория -- теория функций -- комплексный анализ -- теория операторов (математика) -- аналитические функции -- граничные задачи -- гармоноческие функции -- субгармонические функции -- функциональные пространства -- ультрараспределений теория -- линейные операторы -- нелинейные операторные уравнения -- дифференциальные операторы -- банаховы расслоения -- билинейные операторы -- магнитные реакции пластин (моделирование) -- вихревые потоки (моделирование) -- электроснабжение городов (моделирование) -- налогообложение фирмы (моделирование) -- функциональный анализ -- Коши преобразование -- Солоу модели -- Неймана модели -- Фурье преобразование -- Бесова пространства -- операторы преобразования
Доп.точки доступа:
Российская академия наук. Владикавказский научный центр; Институт прикладной математики и информатики
Южный федеральный университет (Ростов-на-Дону)

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

510.67 + 519.6
К 474

Кларк, Эдмунд М.
    Верификация моделей программ. = Model Checking / Э.М.Кларк, О.Грамберг, Д.Пелед; Пер. с англ. В.Захаров, Р.Кончаков, Д.Царьков; Под ред. Р.Смеляковского. - Москва : МоскваЦНМоскваО, 2002. - 416 с. : ил. - Лит.:с.377-416. - ISSN 0-262-032. - ISBN 5940570542

УДК
Доп.точки доступа:
Захаров, В. \переводчик.\
Кончаков, Р. \переводчик.\
Царьков, Д. \переводчик.\
Смеляковский, Р. \редактор.\

Экземпляры всего: 2
Хранение ОО и ИЕФ (Пушкинская 10) (2)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (2)

Кларк, Эдмунд М. Верификация моделей программ. [Текст] / Э.М.Кларк, О.Грамберг, Д.Пелед; Пер. с англ. В.Захаров, Р.Кончаков, Д.Царьков; Под ред. Р.Смеляковского, 2002. - 416 с. с.

7.

Кларк, Эдмунд М. Верификация моделей программ. [Текст] / Э.М.Кларк, О.Грамберг, Д.Пелед; Пер. с англ. В.Захаров, Р.Кончаков, Д.Царьков; Под ред. Р.Смеляковского, 2002. - 416 с. с.


510.67 + 519.6
К 474

Кларк, Эдмунд М.
    Верификация моделей программ. = Model Checking / Э.М.Кларк, О.Грамберг, Д.Пелед; Пер. с англ. В.Захаров, Р.Кончаков, Д.Царьков; Под ред. Р.Смеляковского. - Москва : МоскваЦНМоскваО, 2002. - 416 с. : ил. - Лит.:с.377-416. - ISSN 0-262-032. - ISBN 5940570542

УДК
Доп.точки доступа:
Захаров, В. \переводчик.\
Кончаков, Р. \переводчик.\
Царьков, Д. \переводчик.\
Смеляковский, Р. \редактор.\

Экземпляры всего: 2
Хранение ОО и ИЕФ (Пушкинская 10) (2)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (2)

Страница 1, Результатов: 7

 

Все поступления за 
Или выберите интересующий месяц