Поисковый запрос: (<.>K=ФОРМАЛИЗАЦИЯ<.>) |
Общее количество найденных документов : 36
Показаны документы с 1 по 10 |
|
1. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 91 Т 761
Трофимов, А. М. Концептуальные основы моделирования в географии. Развитие основных идей и путей математизации и формализации в географии / А. М. Трофимов, Е. И. Игонин. - Казань : Матбугат йорты, 2001. - 340 с. - Библиогр.: с. 279-337. - ISBN 5-89120-188-7 : 90.00 р. Рубрики: Геосистемы Кл.слова (ненормированные): Учебные издания -- Геосистемы -- География (математические методы) -- Геосистемы -- География (формализация)
Доп.точки доступа: Игонин, Е. И.
Экземпляры всего: 1 ЧЗГФ (1) Свободны: ЧЗГФ (1) Найти похожие
|
2. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 517 М 742
Могилевский, Вадим Дмитриевич. Формализация динамических систем [Текст] / Вадим Дмитриевич Могилевский. - М. : Вузовская кн., 1999. - 216с. - ISBN 5-89522-019-3 : 40 р.РУБ 517 Рубрики: Динамические системы Кл.слова (ненормированные): Гамильтоновы представления -- Динамические системы
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
3. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 301 С 692
Социальные системы.Формализация и компьютерное моделирование : Учеб.пособие / Омск.ун-т. - Омск : Омск.ун-т, 2000. - 160с. - 50 р.ББК С5в5я73 Рубрики: Социология Кл.слова (ненормированные): Гендерные отношения -- Индивид.социология -- Компьютерное моделирование -- Учебное пособие -- Личность -- Социальные системы -- Социология семьи -- Этногенез -- Межличностные взаимодействия
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
4. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 1543905
Петров, О. Н. Разработка моделей формализации динамической базы знаний на основе принципа адаптивного резонанса : автореферат дис. ... канд. техн. наук : 05.13.18 / О. Н. Петров ; Санкт-Петербург. гос. электротех. ун-т. - СПб., 2008. - 18 с. Рубрики: Математическое моделирование, численные методы и комплексы программ Кл.слова (ненормированные): РАЗРАБОТКА МОДЕЛЕЙ -- МОДЕЛИ ФОРМАЛИЗАЦИИ -- ФОРМАЛИЗАЦИЯ ДИНАМИЧЕСКОЙ БАЗЫ ЗНАНИЙ -- ПРИНЦИП АДАПТИВНОГО РЕЗОНАНСА -- БОРТОВЫЕ КОМПЛЕКСЫ УПРАВЛЕНИЯ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- БОРТОВАЯ ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА -- БЕЗОПАСНОСТЬ ЭКСПЛУАТАЦИИ СУДОВ -- НЕШТАТНЫЕ СИТУАЦИИ -- ИНТЕНСИВНОСТЬ ВНЕШНИХ ВОЗМУЩЕНИЙ (ОЦЕНКА) -- ПАРАМЕТРИЧЕСКИЙ РЕЗОНАНС
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
5. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 625 И 468
Ильичев, Алексей Васильевич. Основы анализа эффективности и рисков целевых программ. Истоки, формализация, реализация / А. В. Ильичев. - Москва : Научный мир, 2009. - 302 с. : ил. + 22 см. - Библиогр.в конце кн. - ISBN 978-5-91522-051-4 : 250 р. Рубрики: Ракетная техника--Проектирование Кл.слова (ненормированные): ВОЕННАЯ РАКЕТНАЯ ТЕХНИКА -- ВОЕННАЯ КОСМИЧЕСКАЯ ТЕХНИКА -- ПРОЕКТИРОВАНИЕ СИСТЕМ -- РАКЕТНО-КОСМИЧЕСКАЯ ТЕХНИКА -- СИСТЕМНЫЕ ТЕХНОЛОГИИ
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
6. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 1549830
Смирнова, С. С. Математическое моделирование работы в производственно-организационных системах при заданных ограничениях : автореферат дис. ... д-ра техн. наук : 05.13.18 / С. С. Смирнова ; Казан. гос. тех. ун-т. - Казань, 2009. - 16 с. Рубрики: Математическое моделирование, численные методы и комплексы программ Кл.слова (ненормированные): МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ПРОИЗВОДСТВЕННО-ОРГАНИЗАЦИОННЫЕ СИСТЕМЫ -- РАБОТА ПРИ ЗАДАННЫХ ОГРАНИЧЕНИЯХ -- ФОРМАЛИЗАЦИЯ РАБОТ -- ВЫПОЛНИМОСТЬ РАБОТ (АЛГОРИТМЫ ОЦЕНКИ)
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
7. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 4 П 279
Перцова, Наталья Николаевна. Формализация толкования слова : учебное пособие / Н. Н. Перцова. - Москва : Издательство Московского университета, 1988. - 83 с. - 00.15 р.ББК Ш03я73 Рубрики: Языкознание--Учебные издания Кл.слова (ненормированные): слово (толкование)
Экземпляры всего: 1 АБУ (1) Свободны: АБУ (1) Найти похожие
|
8. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 1559169
Григорьев, М. В. Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. ... канд. техн. наук : 05.13.18 / М. В. Григорьев ; Тюмен. гос. ун-т. - Тюмень, 2009. - 18 с. Кл.слова (ненормированные): ПРОГРАММНАЯ ИНЖЕНЕРИЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ (РАЗРАБОТКА) -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЕРИФИКАЦИИ -- ФОРМАЛИЗАЦИЯ ВЕРИФИКАЦИИ -- ПРОЦЕСС КОМАНДНОЙ РАЗРАБОТКИ ПРОЕКТОВ -- КОРРЕКТНОСТЬ ОРГАНИЗАЦИИ ПРОЦЕССОВ -- ПОДДЕРЖКА ПРОЦЕССА РАЗРАБОТКИ
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
9. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 1581588
Штыков, Дмитрий Викторович. Категория "согласие" среди основных понятий в семейном праве Российской Федерации : автореферат дис. ... канд. юрид. наук : 12.00.03 / Д. В. Штыков ; Акад. нар. хоз-ва при Правительстве РФ. - Москва, 2010. - 30 с. Кл.слова (ненормированные): ПРАВОВЫЕ КАТЕГОРИИ -- КАТЕГОРИЯ СОГЛАСИЕ -- ЮРИДИЧЕСКИЙ ФАКТ -- СЕМЕЙНОЕ ПРАВО РФ -- СЕМЕЙНЫЕ ПРАВООТНОШЕНИЯ -- ПРАВОВОЕ РЕГУЛИРОВАНИЕ ОТНОШЕНИЙ -- ФОРМАЛИЗАЦИЯ
Перейти: http://dlib.rsl.ru/rsl01004000000/rsl01004607000/rsl01004607505/rsl01004607505.pdf
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
10. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
| 378 В 883
ВУЗ. XXI век : научно-информационный вестник / Зап.-Урал. ин-т экономики и права. - Пермь : Западно-Уральский институт экономики и права, 2001 - . Вып.32. - 2010. - 162 с. : ил. - Библиогр. в подстроч. примеч. - 100 экз. - ISBN 978-5-89919-120-6 : 100 р. Содержание: Дементьев, Борис Петрович. 65 лет Победы: Роль Урала в годы Великой Отечественной войны / Б. П. Дементьев Прокин, В. В. Экономическая теория и политика модернизации / В. В. Прокин Шешуков, Б. И. Анализ взаимосвязи повышения производительности труда с системой административного управления предприятием / Б. И. Шешуков Степанова, В. М. Исследование особенностей современной денежно-кредитной политики Банка России / В. М. Степанова Елохов, Александр Михайлович. Моделирование социально-экономического развития города / А. М. Елохов Худолей, Д. М. Формализация знаний о формах правления государства / Д. М. Худолей Чиртулова, А. Н. Презентация как вид самостоятельной работы студентов / А. Н. Чиртулова Ерахтина, О. С. Проблемы заключения сделок с заинтересованностью в коммерческой практике / О. С. Ерахтина, Г. А. СибгатуллинаББК Ч484(2Рос)я43 Рубрики: Высшая школа--Российская Федерация--Научно-информационные вестники Кл.слова (ненормированные): ЮРИСПРУДЕНЦИЯ -- ГУМАНИТАРНЫЕ ИССЛЕДОВАНИЯ -- ВЫСШЕЕ ОБРАЗОВАНИЕ РФ -- ВЫСШЕЕ ОБРАЗОВАНИЕ (МЕЖДУНАРОДНЫЕ СВЯЗИ)
Доп.точки доступа: Западно-Уральский институт экономики и права
Экземпляры всего: 1 Х (1) Свободны: Х (1) Найти похожие
|
|
|