681 С 594 Соколов, Александр Павлович. Системы программирования: теория, методы, алгоритмы : учебное пособие для студентов, обучающихся по направлению 654600 - Информатика и вычислительная техника / А. П. Соколов. - Москва : Финансы и статистика, 2004. - 320 с. : ил. - Библиогр.: с. 309-310. - ISBN 5-279-02770-7 : 106.40 р., 106.40 р.
Кл.слова (ненормированные): Системы программирования -- Языки программирования -- Алгоритмы трансляции -- Ассемблер -- Верификация программ Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
338 Б 930 Бутакова, Марина Михайловна. Экономическое прогнозирование: методы и приемы практических расчетов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Маркетинг" / М. М. Бутакова. - Москва : Кнорус, 2008. - 168 с. - Библиогр.: с. 159-160. - ISBN 978-5-85971-869-6 : 100.00 р., 83.20 р., 85 р.
Рубрики: Планирование народного хозяйства--Учебные издания для высших учебных заведений Кл.слова (ненормированные): ПРОГНОЗИРОВАНИЕ (ЭКОНОМИКА) -- ЭКОНОМИЧЕСКОЕ ПРОГНОЗИРОВАНИЕ -- ЭКОНОМИЧЕСКАЯ ИНФОРМАЦИЯ -- ЭКСПЕРТНЫЕ ОЦЕНКИ -- ВЕРИФИКАЦИЯ ЭКОНОМИЧЕСКИХ ПРОГНОЗОВ Экземпляры всего: 6 Х (1), АБУ (5) Свободны: Х (1), АБУ (5) |
681 С 409 Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: А. Г. Марчука (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика). Вып. 10 : Методы и модели современного программирования / [З. В. Апанович и др.] ; под ред. А. Г. Марчука. - Новосибирск : Изд-во СО РАН, 2006. - 242, [1] с. : ил. - Библиогр. в конце ст. - На обл. только загл. сер. - ISBN 5-7692-0870-8 : 150 р.
Рубрики: Программирование--Сборники Кл.слова (ненормированные): ГРАФЫ -- КЛЕТОЧНО-АВТОМАТНЫЕ МОДЕЛИ -- ВЕРИФИКАЦИЯ МОДЕЛЕЙ -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- МУЛЬТИАГЕНТНЫЕ СИСТЕМЫ Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ,а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода Доп.точки доступа: Марчук, Александр Гурьевич (1951-) \ред.\; Апанович, Зинаида Владимировна; Бандман, О. Л.; Гаранина, Н. О.; Шилов, Н. В.; Манцивода, А. В.; Малых, А. А.; Марчук, Александр Гурьевич (1951-) \авт. предисл.\; Непомнящий, В. А. \авт. предисл.\; Марчук, Андрей Гурьевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова Экземпляры всего: 1 Х (1) Свободны: Х (1) |
338 Г 687 Горелова, Вера Леонтьевна. Основы прогнозирования систем : учебное пособие для инженерно-экономических специальностей высших учебных заведений / В. Л. Горелова, Е. Н. Мельникова. - Москва : Высшая школа , 1986. - 285 с. : ил. - Библиогр.: с. 285-286 (48 назв.). - 0.80 р., 0.80 р.
Рубрики: Экономика народного хозяйства--Учебные издания Кл.слова (ненормированные): ПРОГНОЗИРОВАНИЕ СИСТЕМ (ПРИНЦИПЫ) -- НАУЧНО-ТЕХНИЧЕСКОЕ ПРОГНОЗИРОВАНИЕ -- МЕТОДЫ ПРОГНОЗИРОВАНИЯ -- ВЕРИФИКАЦИЯ ПРОГНОЗОВ Доп.точки доступа: Мельникова, Елена Николаевна Экземпляры всего: 2 Х (1), АБЗ (1) Свободны: Х (1), АБЗ (1) |
681 Т 525 Толокнов, В. И. Верификация алгоритмов управления на ПЛ/1 / В. И. Толокнов ; Моск. высш. техн. училище. - М. : МВТУ, 1984. - 72 с. - Библиогр.: с. 70 . - Предм. указ.: с. 71 . - 0.16 р.
Кл.слова (ненормированные): автоматизированные системы управления -- алгоритмические языки Доп.точки доступа: Московское высшее техническое училище Экземпляры всего: 1 Х (1) Свободны: Х (1) |
1580709 Милошенко, А. А. Разработка методики использования широких фонетических категорий в задачах верификации диктора : автореферат дис. ... канд. техн. наук : 05.13.17 / А. А. Милошенко ; Моск. гос. ун-т путей сообщения. - Москва, 2010. - 23 с. Кл.слова (ненормированные): ВЕРИФИКАЦИЯ ДИКТОРА -- ЗАДАЧИ ВЕРИФИКАЦИИ -- РАСПОЗНАВАНИЕ РЕЧИ -- РЕЧЕВЫЕ СИГНАЛЫ (РАСПОЗНАВАНИЕ) -- ШИРОКИЕ ФОНЕТИЧЕСКИЕ КАТЕГОРИИ -- РЕЧЕВОЕ СООБЩЕНИЕ (КАТЕГОРИИ) -- РАСПРЕДЕЛЕНИЕ ТОНОВ -- РАСПРЕДЕЛЕНИЕ ШУМОВ -- МАТЕМАТИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ -- ЛИНГВИСТИЧЕСКИЕ ПРИЗНАКИ (ИНТЕРПРЕТАЦИЯ) -- ИДЕНТИФИКАЦИОННЫЕ ПАРАМЕТРЫ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
4 Т 338 Теория и методология языкознания: методы исследования языка / АН СССР, Науч. совет "Теория советского языкознания", Ин-т языкознания ; ред. В. Н. Ярцева. - Москва : Наука, 1989. - 256 с. - Библиогр. в подтроч. примеч. - ISBN 5-02-010934-7 : 4.40 р., 4.40 р.
Рубрики: Языкознание--Теория Кл.слова (ненормированные): ЯЗЫКОЗНАНИЕ (ДИАЛЕКТИЧЕСКАЯ СИСТЕМА) -- ФОНЕМА (СТАНОВЛЕНИЕ) -- ВЕРИФИКАЦИЯ (ТЕОРИЯ) -- СРАВНИТЕЛЬНО-ИСТОРИЧЕСКОЕ ЯЗЫКОЗНАНИЕ -- ОБЩЕЛИНГВИСТИЧЕСКИЕ КОНЦЕПЦИИ Доп.точки доступа: Ярцева, В. Н. \ред.\; Эндзелин, Ян М.; Академия наук СССР; Научный совет "Теория советского языкознания"Институт языкознания Экземпляры всего: 3 ЧЗФ (1), АБН (1), ЧЗГ (1) Свободны: ЧЗФ (1), АБН (1), ЧЗГ (1) |
5 К 637 Комплексные методы контроля качества природной среды. Симпозиум специалистов стран - членов СЭВ 23-29 ноября 1986 г. Москва : тезисы докладов / Академия наук СССР, Совет экономической взаимопомощи, Минводхоз СССР, Научный совет по проблемам гидробиологии, ихтиологии и использованию биологических ресурсов водоемов, Секция по органическим полупроводникам научного совета АН СССР по проблемам химической физики, Секция научного приборостроения ЦП НТО "Приборпром", Институт химической физики. - Черноголовка : [б. и.], 1986. - 207 с. - 0.00 Содержание: Абакумов, В. А. к методике прогноза экологических последствий закисления континентальных водоемов. / В. А. Абакумов. - С .3 Абдуллаев, Б. изучение воздействия металлургических комплексов на загрязнения окружающей среды. / Б. Абдуллаев, Р. А. Кулматов. - С .4 Алексеев, В. В. Экспериментальное изучение водных биогеоценозов в лабораторных экосистемах "ЭТЭКОС". / В. В. Алексеев. - С .5 Алексеев, В. А. Накопление тяжелых металлов в дисперсной фазе воздуха в зоне тектонической активности при дегазации земли. / В. А. Алексеев, Н. Г. Алексеева. - С .6 Алексеев, В. А. Лишайники как индикаторы естественных потоков металлов на фоновом уровне. / В. А. Алексеев. - С .7 Алексеев, В. А. Вклад природных источников полициклических ароматических углеводородов (ПАУ) в окружающей среде. / В. А. Алексеев, Н. Г. Алексеева. - С .8 Алексеев, В. А. Определение микроэлементов состава взвеси термальных источников и грязевых вулканов. / В. А. Алексеев. - С .9 Алешин, В. В. О комплексном подходе к стандартизации методик анализа вод. / В. В. Алешин. - С .10-13 Анашкин, В. А. Расчет основных параметров береговых источников загрязнения прибрежной зоны моря. / В. А. Анашкин. - С .13 Анрушайтис, А. Г. К методике сбора микро- и мезозоопланктона в Балтийском море. / А. Г. Анрушайтис. - С .14 Андрушайтис, Г. П. Банк данных как информационно-поисковая система о состоянии морской среды. / Г. П. Андрушайтис. - С .15 Аникиев, В. В. Применение низкоэнергетических ускорителей ионов для контроля химического состава водной среды. / В. В. Аникиев. - С .16 Аникиев, В. В. Методология исследования миграции загрязняющих веществ через барьерные зоны между океаном и континентами. / В. В. Аникиев. - С .17 Аникиев, В. В. Экологическое нормирование прибрежной зоны моря. / В. В. Аникиев. - С .19 Анохин, Ю. А. Применение оже-спектроскопии и лазерного анализатора для изучения элементного и дисперсного состава аэрозоля в районе оз. Байкал. / Ю. А. Анохин. - С .20 Аргучинцева, А. В. Метод расчета зон повышенных концентраций примесей с учетом климатических характеристик ветрового режима. / А. В. Аргучинцева. - С .21 Аржанова, В. С. Тяжелые металлы и функционирование древесной растительности. / В. С. Аржанова. - С .22 Арольд, М. У. О месте атмосферно-электрических измерений в системе мониторинга. / М. У. Арольд. - С .23 Бурдин, К. С. Выбор критериев для мониторинга тяжелых металлов в морской среде с использованием макрофитов как видов-мониторов и тест-объектов. / К. С. Бурдин, Е. Ю. Золотухина. - С .24 Батоян, В. В. Научные основы эколого-геохимической оценки региональных аквасистем. / В. В. Батоян. - С .25 Батоян, В. в. Автоматизированная система непрерывной регистрации данных при изучении геохимических аномалий в аквальных ландшафтах. / В. в. Батоян. - С .26 Беленькая, и. а. Государственные стандартные образцы состава некоторых органических соединений для анализа объектов окружающей среды. / и. а. Беленькая. - С .27 Берлянд, М. Е. Основные принципы организации контроля, оценки состояния и прогноза загрязнения воздуха в городах и промышленных районах. / М. Е. Берлянд. - С .28 Болдырева, Н. М. Возможность использования биологических показателей в оценке сточных и природных вод. / Н. М. Болдырева. - С .29 Борисенков, Е. П. Автоматизированные системы в решении задач контроля и регулирования качества воздушного бассейна города. / Е. П. Борисенков. - С .30 Бойкова, Э. К. Экологические и экотоксикологические критерии простейших в системе биомониторинга. / Э. К. Бойкова. - С .31 Брызгало, В. А. Перспективы использования методов биоиндикации и биотестирования в экологическом мониторинге. / В. А. Брызгало. - С .32 Бузинова, Н. С. Особенности реакции некоторых гидробионтов на загрязнение. / Н. С. Бузинова. - С .33 Верниченко, А. А. Результаты научно-технического сотрудничества стран - членов СЭВ по разработке методологии экологической оценки качества поверхностных вод. / А. А. Верниченко. - С .34 Винников, Ю. А. Выбор оптимальных схем исследования в природных водах. / Ю. А. Винников. - С .35 Волков, В. М. Вегетативные и поведенческие реакции гиробионтов на химические вещества как показатели качества водной среды. / В. М. Волков. - С .36 Галактионов, С. Г. О трактовке результатов биологического тестирования качества воды в терминах ПДК. / С. Г. Галактионов. - С .37 Ганзличек, И. Построение автоматических мониторных систем загрязнения воздуха в ЧССР. / И. Ганзличек. - С .38 Гурман, В. и. Комплексная оценка влияния и прогноза антропогенного фактора на озеро Байкал. / В. и. Гурман. - С .39 Гительсон, А. А. Приборы и методы дистанционного оперативного мониторинга поверхностных вод суши. / А. А. Гительсон. - С .40 Горелик, Л. О. Научные основы обеспечения единства и правильности оценки качества атмосферы. / Л. О. Горелик. - С .41 Горцева, Л. В. Высокоэффективные методы анализа остаточных количеств компонентов полимерных материалов в объектах окружающей среды. / Л. В. Горцева. - С .42 Грановская, Л. А. Перекисление растворенных оргвеществ как один из критериев оценки качества воды. / Л. А. Грановская. - С .43 Гродзинский, А. М. Загрязнение как шум в кибернетической системе. / А. М. Гродзинский. - С .44 Димитров, Б. Н. Автоматизированная система контроля загрязнения в районе города Варны. / Б. Н. Димитров. - С .45 Донев, В. С. О выборе оптимальной структуры системы прибрежного мониторинга Болгарского побережья. / В. С. Донев. - С .46 Дрюккер, В. В. Состояние экосистем Р. Енисей и прогноз ее изменения при создании водохранилища. / В. В. Дрюккер. - С .47 Дрюккер, В. В. Современное состояние экосистем оз. Байкал и оценка качества вод по микробиологическим показателям. / В. В. Дрюккер. - С .48 Елпатьевский, П. В. Методика комплексного изучения миграции тяжелых металлов в сухопутной экосистеме. / П. В. Елпатьевский. - С .49 Жмур, Н. С. Особенности бионаселения активного ила при биологической очистке сточных вод. / Н. С. Жмур. - С .50 Зайцев, Ю. П. Состояние биолгически активныз зон моря - критерий качества экосистемы. / Ю. П. Зайцев. - С .51 Захарков, С. П. Использование компонент флуоресценции одноклеточных водорослей для биотестирования. / С. П. Захарков. - С .52 Золотухина, Е. Ю. Подбор видов макроводорослей для мониторинга тяжелых металлов в морской среде. / Е. Ю. Золотухина. - С .53 Иванчеа, Г. Критерии оценки качества воды водохранилищ Румынии и прогнозирование его развития. / Г. Иванчеа. - С .54 Ильинский, В. В. Влияние нефтяного загрязнения на микробные ценозы. / В. В. Ильинский. - С .55 Ильичева, И. А. Проблемы методического обеспечения аналитического контроля примесей газов. / И. А. Ильичева. - С .56 Камнев, А . Н. Бурая водоросль Sarcasum polidum как объект мониторинга тяжелых металлов в морской среде. / А . Н. Камнев. - С .57 Капков, В. И. Исследование структурных характеристик фитопланктона при оценке состояния водных экосистем. / В. И. Капков. - С .58 Капков, В. и. Накопление тяжелых металлов макрофитами и контроль качества морских вод. / В. и. Капков. - С .59 Касплер, П. Л. Растениеядные насекомые как биологические тесты на химическое загрязнение растений. / П. Л. Касплер. - С .60 Качанова, Ж. п. Зависимость редокс свойств супероксидного радикала от состава среды. / Ж. п. Качанова. - С .61 Качур, А. Н. Опыт применения физико-химических и биологических методов для импактного мониторинга в условиях Дальнего Востока. / А. Н. Качур. - С .62 Кизильштейн, Л. Я. Прогнозирование состояния природной среды в районах ТЭЦ на твердых горючих ископаемых. / Л. Я. Кизильштейн. - С .63 Кимстач, В. А. Методы определения металлов в мониторинге поверхностных вод суши. / В. А. Кимстач. - С .64 Кист, А. А. Разработка и применение ядерно-физических методов в контроле природной среды. / А. А. Кист. - С .65 Колупаев, Б. и. Использование физиолого-биохимических методов в биоконтроле водной среды. / Б. и. Колупаев. - С .66 Колупаев, Б. и. Автоматизация методов биоконтроля качества водной среды. / Б. и. Колупаев. - С .67 Кондратьев, И . И. Автоматизация рентгенофлуоресцентного анализа в фоновом мониторинге. / И . И. Кондратьев. - С .68 Кондратьев, К. Я. Региональные и глобальные проблемы окружающей среды: системный подход. / К. Я. Кондратьев. - С .69 Конторин, Владимир Васильевич. Теоретическое обоснование системы контроля состояния пелагических рыб и нерпы Байкала. / В. В. Конторин. - С .70 Корнакова, Э. Ф. О фоновом содержании тяжелых металлов в тканях рыб оз. Байкал. / Э. Ф. Корнакова. - С .71 Кофанов, В. И. Хроматографирование гидрофильных соединений. / В. И. Кофанов. - С .72 Кофман, И . Ш. Определение гербицидов методомтонкослойной хроматографии. / И . Ш. Кофман. - С .73 Крайнюкова, А. Н. Современное состояние и перспективы применения биотестирования как метода предотвращения загрязнения водных объектов. / А. Н. Крайнюкова. - С .74 Крайнюкова, А. Н. Стандартизация в области охраны вод. / А. Н. Крайнюкова. - С .75 Краснушкин, А. В. Приборы и методы определения органического углерода в водах рек, озер и водохранилищ. / А. В. Краснушкин. - С .76 Кудерский, Л. А. Рыбы и ихтиоценозы как индикаторы состояния водных экосистем. / Л. А. Кудерский. - С .77 Кузовникова, Т. А. Металлорезистентные мутанты бактерий. / Т. А. Кузовникова. - С .78 Кузьмич, В. Н. Продуктивность речных биоценозов как показатель качества воды. / В. Н. Кузьмич. - С .79 Куликова, И. Р. Уровни содержания тяжелых металлов в компонентах экосистемы Рижского залива. / И. Р. Куликова. - С .80 Лапин, И. А. Схема анализа форм нахождения тяжелых металлов в природных водах. / И. А. Лапин. - С .81 Любимов, М. В. Морские травы как объект-мониторы загрязнения среды. / М. В. Любимов. - С .82 Маев, Р. Г. Применение методов акустической характеризации взвеси частиц для контроля качества природной среды. / Р. Г. Маев. - С .83 Мажейка, Ю. Ф. Метод интегральной оценки состояния лесных экосистем. / Ю. Ф. Мажейка. - С .84 Макаревич, Р. А. Соотношение концентраций металла и углерода в почве - критерий техногенного воздействия и состояния экосистемы. / Р. А. Макаревич. - С .85 Маляревская, А. Я. Выбор физиолого-биохимических критериев для оценки состояния экосистемы. / А. Я. Маляревская. - С .86 Мандре, М. А. Физиолого-биохимическая оценка состояния растений в условиях техногенной среды. / М. А. Мандре. - С .87 Мартин, Ю. Л. Споровые растения как индикаторы биогеохимического состояния среды. / Ю. Л. Мартин. - С .88 Маслов, К. и. контроль загрязнения морской воды методом эмбриологического анализа. / К. и. Маслов. - С .89 Медведева, Е. И. Сочетание физико-химическог и биологического контроля очистки сточных вод . / Е. И. Медведева. - С .90 Меншуткин, В. В. Имитационная модель мониторинга оз. Байкал. / В. В. Меншуткин. - С .91 Милиус, А. Ю. Использование и верификация модели трофического состояния малых светловодных озер. / А. Ю. Милиус. - С .92 Мишуков, В. Ф. Вторичное загрязнение морской среды органическими пероксидами. / В. Ф. Мишуков. - С .93 Никаноров, А. М. Комплексный сопряженный анализ тяжелых металлов в пресноводных экосистемах. / А. М. Никаноров. - С .94 Никипелова, Е. Н. Выбор критериев для оценки качества лечебных грязей в связи с проблемой охраны курортных ресурсов. / Е. Н. Никипелова. - С .95 Николишин, И. Я. Методы изотопного разбавления для контроля микроэлементов в природных объектах. / И. Я. Николишин. - С .96 Новосадова, Т. Г. Тест-объекты и критерии токсичности водной среды. / Т. Г. Новосадова. - С .97 Носов, В. Н. Моделирование пространственного перераспределения загрязнителя и динамика самоочищения в прибрежных акваториях. / В. Н. Носов. - С .98 Озрина, Р. Д. Распределение ксенобиотиков водоемов и их воздействие на обменные процессы гидробионтов. / Р. Д. Озрина. - С .99 Орадовский, С. Г. Тенденции развития методологии химического мониторинга загрязнения морской среды. / С. Г. Орадовский. - С .100 Остромогильский, А. Х. Крупномасштабное распространение техногенных веществ: методологические вопросы оценки последствий. / А. Х. Остромогильский. - С .101 Павлова, Е. С. Мидии как индикаторы содержания металлов. / Е. С. Павлова. - С .102 Переладов, М. В. Оценка реакции различных уровней морских экосистем на антропогенное воздействие. / М. В. Переладов. - С .103 Петрухин, В. А. Тенденции антропогенных изменений глобальной циркуляции тяжелых металлов. / В. А. Петрухин. - С .104 Пиковский, И. Ю. Комплексный люминисцентный физиолого-геохимический контроль состояния природной среды, загрязненной нефтью и нефтепродуктами. / И. Ю. Пиковский. - С .105 Платпира, В. П. роль гетеротрофных бактерий в оценке состояния экосистемы Балтийского моря. / В. П. Платпира. - С .106 Плисова, Л. А. Обоснование физико-химических методов для характеристики лечебных грязей. / Л. А. Плисова. - С .107 Постнов, И. Е. Биологический метод анализа смеси физиологически активных соединений в воде. / И. Е. Постнов. - С .108 Пшетаковская, н. А. Государственные стандартные образцы химического состава раствора солей металлов и биогенных веществ для анализа окружающей среды. / н. А. Пшетаковская. - С .110 Пярн, А. Й. Лихеноиндикация атмосферного загрязнения в условиях высокогорий. / А. Й. Пярн. - С .111 Рандлане, Т. В. изучение фоновых атмосферных условий лихеноиндикационными методами / Т. В. Рандлане. - С .112 Ровинский, Ф. Я. Методы мониторинга фонового загрязнения природной среды в странах-членах СЭВ, / Ф. Я. Ровинский. - С .113 Салахутдинов, А. Н. Биологический контроль зимнего состояния экосистемы озер. / А. Н. Салахутдинов. - С .116 Семеш, Имре. Биомониторинг в Венгрии. / Имре Семеш. - С .117 Семенов, Л. А. приборы и методы локального мониторинга мирового океана. / Л. А. Семенов. - С .118 Семенов, А. Д. Развитие методики анализа природных вод и ее роль в оптимизации экологического монитринга. / А. Д. Семенов. - С .119 Семилетов, И. П. Методы определения атмосферных газов в системе океан-атмосфера. / И. П. Семилетов. - С .120 Сиденко, В. П. Опыт использования физико-химических и биологических методов контроля судовых сточных и поверхностных вод в проблеме охраны окружающей среды при судоходстве. / В. П. Сиденко. - С .121 Скурлатов, Ю. и. Новые подходы к оценке качества природных вод. / Ю. и. Скурлатов. - С .123 Стом, Д. И. Применение метода биотестов для анализа качества вод и действия загрязнителей. / Д. И. Стом. - С .124 Страдомская, А. Г. Донные отложения как объект контроля нефтяного загрязнения. / А. Г. Страдомская. - С .125 Судакова, Н. Д. Активность деструктивных процессов на границе вода-дно оз. Байкал. / Н. Д. Судакова. - С .126 Сычёв, А. Я. Научные основы мониторинга азотосодержащих соединений в водоемах. / А. Я. Сычёв. - С .127 Тарасова, Т. Н. Опыт оценки качества воды Чебоксарского водохранилища. / Т. Н. Тарасова. - С .129 Трасс, Х. Х. Тяжелые металлы в лишайниках и мхах - индикаторы степени атмосферного загрязнения. / Х. Х. Трасс. - С .132 Тульчинская, В. П. Контроль состояния водной среды с нефтяным загрязнением на моделях клеточных структур. / В. П. Тульчинская. - С .135 Туманов, А. А. Методологические аспекты микробиологических методов анализа загрязнений. / А. А. Туманов. - С .136 Туманов, А. а. Использование ферментов в контроле природных и сточных вод. / А. а. Туманов. - С .137 Цимдинь, П. А. Типологические критерии оценки фонового состояния пресноводных экосистем. / П. А. Цимдинь. - С .141 Цобель, К . Р. Изучение индикационной способности различных видов лишайников. / К . Р. Цобель. - С .142 Чайковская, Т . С. Организация и результаты биомониторинга водоемов Кузбасса. / Т . С. Чайковская. - С .143 Чудаева, В. А. Опыт комплексного изучения состава речного стока. / В. А. Чудаева. - С .145 Шилин, Б . В. Тепловая аэросъемка как метод контроля природной среды. / Б . В. Шилин. - С .147 Эльпинер, Л. и. Медико-биологические критерии оценки состяния экосистем. / Л. и. Эльпинер. - С .150 Юкнис, Р. А. Показатели и методы контроля антропогенных изменений продуктивности лесов. / Р. А. Юкнис. - С .151 Путинцев, А. И. Физиологические и биохимические показатели водных животных как индикаторы качества природной воды. / А. И. Путинцев. - С .158 Дмитриева, А. Г. Водоросли как критерии оценки природных и сточных вод. / А. Г. Дмитриева. - С .159 Филенко, О. Ф. Значение динамики показателей при биотестировании качества вод. / О. Ф. Филенко. - С .161 Антонов, С. В. Состояние и проблемы контроля сточных вод. / С. В. Антонов. - С .165 Антонов, С. В. Рентгеноспектральный анализэлементного состава точных вод. / С. В. Антонов. - С .168 Недосекин, а. Г. Оценка состояния микроводорослей. / а. Г. Недосекин. - С .172 Львов, А. п. Научные основы систем контроля качества вод. / А. п. Львов. - С .182 Брагинский, Л. п. Эколого-токсикологическая ситуация водных объектов и ее прогнозирование при гидротехнических преобразоаниях. / Л. п. Брагинский. - С .187 Кизильштейн, Л. Я. Математические модели прогнозирвания воздействия тяжелых металлов на популяции пресноводных гидробионтов. / Л. Я. Кизильштейн. - С .189
Кл.слова (ненормированные): природная среда (качество) -- методы контроля в экологии Доп.точки доступа: Академия наук СССР; Совет экономической взаимопомощи; Минводхоз СССР; Научный совет по проблемам гидробиологии, ихтиологии и использованию биологических ресурсов водоемов; Секция по органическим полупроводникам научного совета АН СССР по проблемам химической физики; Секция научного приборостроения ЦП НТО "Приборпром"; Институт химической физики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
5 М 576 Миграция загрязняющих веществ в почвах и сопредельных средах : труды 5 Всесоюзного совещания. Обнинск, 12-15 января 1987 г. / Государственный комитет СССР по гидрометеорологии, Институт экспериментальной метеорологии научно-производственного объединения "Тайфун" ; ред.: В. А. Борзилов, С. Г. Малахов. - Ленинград : Гидрометеоиздат, 1989. - 402 с. : граф., карты, табл. - Библиогр. в конце ст. - 2.20 р. Содержание: Борзилов, В. А. Модель поведения химикатов в верхнем слое почвы / В. А. Борзилов, И. В. Драголюбова. - С .5 Колпак, В. З. Оценка выноса загрязняющих веществ с сельскохозяйственных водосборов на основе имитационного моделирования / В. З. Колпак, В. М. Московкин, В. Е. Лысенко. - С .13 Борзилов, В. А. Сравнительная оценка долгосрочного поведения химикатов различной химической природы в системе почва-вода / В. А. Борзилов, И. В. Драголюбова, А. В. Коноплев. - С .19 Спыну, Е. И. Прогностическая модель динамики содержания пестицидов в почве и ее верификация в различных почвенно-климатических условиях страны / Е. И. Спыну, Е. Г. Моложанова, В. С. Кикоть. - С .33 Лунев, М. И. Модели трансформации пестицидов в реализации ведомственного мониторинга почв и растений / М. И. Лунев. - С .38 Пушкарева, М. М. Моделирование влияния различных факторов на динамику ГХЦГ в пахотном слое почвы / М. М. Пушкарева, О. Ю. Цитцер, Л. В. Чечеткина. - С .44 Остромогильский, А. Х. Глобальный круговорот ДДТ в почве, атмосфере и гидросфере (математическое моделирование и прогностические расчеты) / А. Х. Остромогильский, А. О. Кокорин, М. И. Афанасьев. - С .49 Сенилов, Н. Б. Сравнение моделей расчета загрязнения почв от промышленных источников с экспериментальными данными / Н. Б. Сенилов, С. Г. Малахов, Э. П. Махонько. - С .57 Пинский, Д. Л. Использование данных о физико-химических равновесиях для описания поведения загрязняющих веществ в почвах / Д. Л. Пинский, Я. А. Пачепский, В. П. Сухопарова. - С .64 Малахов, С. Г. О проблемах нормирования загрязнения почв и расчета ПДВ веществ, загрязняющих почву / С. Г. Малахов, Н. Б. Сенилов. - С .72 Малахов, С. Г. О концепции нормирования загрязнения почв пестицидами / С. Г. Малахов. - С .79 Пушкарева, М. М. Оценка ПДК пестицидов в почвах сельскохозяйственных угодий РСФСР по транслокационному показателю / М. М. Пушкарева, Г. В. Боярских, В. А. Гулимова. - С .83 Сова, Р. Е. Состояние и перспективы расчетного гигиенического нормирования пестицидов в почве / Р. Е. Сова. - С .87 Лунев, М. И. Методологические и экономические аспекты контроля гербицидной фитотоксичности почв в земледелии / М. И. Лунев. - С .91 Галиулин, Р. В. Динамика сорбционно-десорбционного превращения 4-хлоранилина в почве при различной температуре / Р. В. Галиулин, В. П. Сухопарова. - С .96 Орлов, Д. С. Изучение миграции и трансформации токсичных органических веществ в почвах в модельном эксперименте / Д. С. Орлов, О. М. Савина, Е. А. Бочарникова. - С .101 Козлова, И. И. Изучение процессов естественной детоксикации тербацила в почве / И. И. Козлова, Л. М. Дыкова, А. П. Мишнева. - С .106 Цукерман, В. Г. Прогноз разложения и накопления пестицидов в почве / В. Г. Цукерман, Э. Я. Чавар. - С .114 Богушевский, А. Н. Изучение процессов деструкции фосфорорганического пестицида метафоса в сельскохозяйственных объектах Пермской области / А. Н. Богушевский, Н. В. Михайлюк, Н. И. Лебедев. - С .121 Ковнацкий, Е. Ф. Некоторые особенности загрязнения атмосферного воздуха промышленного города с развитой цветной металлургией / Е. Ф. Ковнацкий, В. А. Сурнин, И. В. Казачевский. - С .128 Вознесенский, Г. Ф. Оценка влияния ветрового режима на распределение загрязнения подстилающей поверхности металлами в промышленном районе / Г. Ф. Вознесенский, И. А. Колосков, М. М. Новиков. - С .133 Толкачева, Г. А. Оценка миграции тяжелых металлов по данным химического состава атмосферных осадков / Г. А. Толкачева, В. Г. Конюхов, И. К. Далонов. - С .139 Толкачева, Г. А. Роль атмосферных выпадений в миграции загрязняющих ингредиентов и влияние их на загрязнения почв в Среднеазиатском регионе / Г. А. Толкачева, Л. А. Аксенова. - С .145 Воеводова, З. И. Загрязнение атмосферного воздуха в Большеземельской тундре под влиянием геологоразведочных работ / З. И. Воеводова. - С .150 Сорокина, Е. П. Геохимический анализ техногенного загрязнения в системе атмосфера-почва-поверхностные воды-донные отложения в промышленном районе Нечерноземья / Е. П. Сорокина, А. П. Пронин, Б. А. Гольдштейн. - С .155 Сает, Ю. Е. Количественная оценка соотношения между промышленными выбросами металлов и их накоплением в природных и сельскохозяйственных почвах / Ю. Е. Сает, И. Л. Борисенко. - С .164 Первунина, Р. И. Подвижность металлов, выпавших на почву в составе выбросов промышленных предприятий / Р. И. Первунина, С. Г. Малахов. - С .171 Зырин, Н. Г. Трансформация соединений свинца в дерново-подзолистой почве / Н. Г. Зырин, Н. А. Черных. - С .179 Соловьев, Г. А. Влияние эколого-генетических особенностей почв на характер поступления и накопление цинка, кадмия и свинца в южнотаежной подзоне Западной Сибири / Г. А. Соловьев, С. А. Устяк, В. В. Попов. - С .183 Хакимов, С. К вопросу миграции тяжелых элементов в поверхностных и склоновых водах Зааминского заповедника / С. Хакимов, М. Исраилов, А. Кист. - С .189 Обухов, А. И. Миграция и трансформация соединений свинца в дерново-подзолистой почве / А. И. Обухов, М. В. Цаплина. - С .194 Хрусталева, М. А. Миграция микроэлементов в компонентах ландшафтов Центрального Нечерноземья в зависимости от антропогенного воздействия / М. А. Хрусталева, В. Е. Кореневская. - С .200 Махонько, Э. П. Аэрозольное и корневое загрязнение растительности никелем в окрестностях действующего предприятия / Э. П. Махонько. - С .207 Москаленко, Н. Н. О биологическом поглощении химических элементов в городах / Н. Н. Москаленко, Р. С. Смирнова. - С .212 Пасынкова, М. В. Особенности миграции хрома в системе почва-растения / М. В. Пасынкова, А. А. Ляпкин. - С .217 Сурнин, В. А. Влияние формы нахождения металлов в почве на их миграцию в овес / В. А. Сурнин, А. Е. Волошин, Р. А. Груздкова. - С .221 Хамидова, Р. Поступление отдельных химических элементов в растения в зависимости от их концентраций в почвах и водах / Р. Хамидова, Р. Мирсалимова. - С .223 Бидненко, Л. И. Миграционные свойства гербицидов группы пиклорама в почве и в системе почва-растение / Л. И. Бидненко. - С .228 Лукшене, Б. И. Изменения химических форм свинца в наземных биогеоценозах после их поступления из атмосферного воздуха / Б. И. Лукшене, Р. Ф. Дашаускене-Дуж. - С .233 Гапонюк, Э. И. Некоторые аспекты мониторинга качества почв при загрязнении / Э. И. Гапонюк, С. Г. Малахов. - С .237 Орлов, Д. С. Почвенно-химические условия, ограничивающие уровни показателей химического состояния почв при их загрязнении / Д. С. Орлов, Л. А. Воробьева, Г. В. Мотузова. - С .243 Кремленкова, Н. П. Принципы дифференциации почв по устойчивости к воздействию фторидов / Н. П. Кремленкова, Э. И. Гапонюк. - С .249 Дудкин, Ю. И. Классификация молодых почв по степени их устойчивости к загрязнению продуктами серно-кислого выветривания на отвалах Курской магнитной аномалии / Ю. И. Дудкин, О. И. Прудников, Б. В. Усков. - С .253 Моршина, Т. Н. Взаимодействие фторидов с почвами / Т. Н. Моршина, Э. И. Гапонюк. - С .258 Аржанова, В. С. Реакция геосистемы на аэротехногенное подкисление / В. С. Аржанова, П. В. Елпатьевский. - С .265 Протасова, Н. А. Техногенное воздействие на химический и физико-химический состав лугово-сероземных почв / Н. А. Протасова, М. Т. Копаева, Г. Б. Шелаева. - С .272 Евдокимова, Г. А. Миграция и трансформация соединений меди и никеля и их влияние на физико-химические свойства почвы / Г. А. Евдокимова, Н. П. Мозгова, Т. А. Агеева. - С .278 Снытко, В. А. Моделирование воздействия техногенных веществ на лесостепные почвы / В. А. Снытко, Ю. М. Семенов, А. В. Мартынов. - С .284 Раськова, Н. В. Влияние свинца на биологическую активность почв / Н. В. Раськова, И. Н. Скворцова, А. И. Обухов. - С .289 Щербаков, А. П. Загрязнение и снижение плодородия почвенного слоя при рекультивации отвалов токсичных пород Курской магнитной аномалии / А. П. Щербаков, Т. Н. Михайлова, Ю. И. Дудкин. - С .296 Киселева, Е. В. Влияние соединений серы на свойства дерново-подзолистой почвы и урожай овса / Е. В. Киселева, Л. Г. Магина, Ф. А. Тихомиров. - С .302 Оношко, М. П. Оценка влияния агротехногенеза на геохимию азота в почвах Белоруссии / М. П. Оношко. - С .307 Солнцева, Н. П. Оценка влияния добычи нефти на почвы Пермского Прикамья / Н. П. Солнцева, Е. М. Никифорова. - С .313 Абзалов, Р. З. Почвовосстанавливающая роль сельскохозяйственных культур и удобрений в зависимости от загрязнения почв нефтью / Р. З. Абзалов, А. З. Сахабутдинова, Р. С. Гумеров. - С .322 Минеев, В. Г. Сравнительное исследование влияния различных видов фосфорных удобрений на содержание валового и подвижного фтора в почве / В. Г. Минеев, Н. К. Грачева, Н. А. Кирпичников. - С .326 Чертко, Н. К. Методика комплексных агрогеохимических исследований почв сельхозугодий в условиях интенсивного промышленного и агротехногенеза / Н. К. Чертко, В. Н. Крештапова, Л. Ф. Ванекевич. - С .329 Лапина, Н. Ф. Использование пролина в качестве биотеста загрязненности почвы металлами / Н. Ф. Лапина, П. Е. Тулупов, Л. А. Ласточкина. - С .334 Тюрюканова, Г. К. Использование ферментативной активности почв в качестве индикатора пестицидного загрязнения / Г. К. Тюрюканова, Р. В. Галиулин, Р. П. Личко. - С .338 Кривицкая, Г. Н. К вопросу о возможности использования микробиологических показателей для оценки загрязнения по аСПАВ / Г. Н. Кривицкая, Л. В. Мойсеева, Б. М. Турус. - С .341 Гридасов, В. Ф. Оценка погрешности экспериментальных определений концентраций гербицидов при верификации математических моделей их поведения на сельскохозяйственных полях / В. Ф. Гридасов, Г. Н. Фреймундт. - С .345 Андрюков, В. П. Прямые измерения диффузионного потока углекислого газа из почвы в атмосферу / В. П. Андрюков, В. В. Поздеев. - С .349 Тертышник, Э. Г. Учет ослабления излучения в измеряемых образцах при гамма-спектрометрии проб почвы / Э. Г. Тертышник, А. Т. Корсаков, В. Г. Баранов. - С .354
Кл.слова (ненормированные): Охрана почв -- Загрязнение почв Доп.точки доступа: Борзилов, В. А. \ред.\; Малахов, С. Г. \ред.\; Курносенко, А. Х.; Гребенкин, А. К.; Григорьев, Е. И.; Сатаева, Л. В.; Зырин, Н. Г.; Аммосова, Я. М.; Тихомиров, ф. А.; Матвеев, Ю. М.; Спиридонов, Ю. Я.; Шестаков, В. Г.; Махонько, Э. П.; Рычков, А. М.; Федоров, В. А.; Кулматов, Р. А.; Кист, А. А.; Башорин, В. Н.; Бурлина, О. П.; Яковлева, Г. Х.; Бадовская, Н. Н.; Дерябин, Н. Ф.; Черная, В. И.; Глазкова, Л. Н.; Шевцова, А. В.; Федченко, И. С.; Государственный комитет СССР по гидрометеорологии; Институт экспериментальной метеорологии научно-производственного объединения "Тайфун" Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 П 781 Проблемы совершенствования синтеза, тестирования, верификации и отладки программ : тезисы докладов Всесоюзной научной конференции, Рига, 12-14 ноября 1986 г. / Латвийский университет им. П. Стучки. - Рига : [б. и.], 1986 - . Т. 2. - 1986. - 155 с. - 1.20 р.
Кл.слова (ненормированные): компьютерные программы(синтез) -- компьютерные программы(тестирование) -- компьютерные программы(верификация) Доп.точки доступа: Латвийский университет им. П. Стучки Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 С 387 Синтез, тестирование, верификация и отладка программ : тезисы докладов всесоюзной научной конференции, Рига, 22-24 сент. 1981 г. / Латв. гос. ун-т им. П. Стучки. - Рига : [б. и.], 1981. - 235 с. - 1.13 р.
Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ ЭВМ -- ПРОГРАММЫ ЭВМ (ОТЛАДКА) Доп.точки доступа: Латвийский государственный университет им. П. Стучки Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 Н 535 Непомнящий, Валерий Александрович. Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин; под ред. А. П. Ершова. - Москва : Радио и связь, 1988. - 256 с. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6 : 0.80 р., 0.80 р.
Кл.слова (ненормированные): ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММЫ ТЕСТОВЫЕ) -- ВЕРИФИКАЦИЯ ПРОГРАММ (ПРИКЛАДНЫЕ МЕТОДЫ) Доп.точки доступа: Рякин, Олег Михайлович; Ершов, А. П. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
62 В 748 Вопросы кибернетики : сборник статей / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика"; ред. О. М. Белоцерковский. - Москва : [б. и.]. Вып. 138 : Разработка и верификация протоколов информационно-вычислительных сетей / ред. С. И. Самойленко. - 1988. - 177 с. : ил. - ). - Библиогр. в конце ст. - 1.65 р., 1.65 р.
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНЫЕ СЕТИ (ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ) -- КИБЕРНЕТИКА Доп.точки доступа: Белоцерковский, Олег Михайлович \ред.\; Самойленко, С. И. \ред.\; Академия наук СССР. Научный совет по комплексной проблеме "Кибернетика" Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
338 П 783 Прогнозирование и планирование в условиях рынка : учебное пособие : [для студентов вузов по специальности 080502 "Экономика и управление на предприятии (по отраслям)"] / Т. Н. Бабич [и др.]. - Москва : ИНФРА-М, 2013. - 336 с. : граф., табл., рис. - (Высшее образование. Бакалавриат). - Библиогр.: с. 330-333. - Усл. печ. л. 21.0. - ISBN 978-5-16-004577-1 : 399.85 р., 399.85 р.
Рубрики: Экономика народного хозяйства. Управление народным хозяйством--Учебные издания для высших учебных заведений Кл.слова (ненормированные): ПРОГНОЗИРОВАНИЕ ЭКОНОМИЧЕСКОЕ -- ПЛАНИРОВАНИЕ ЭКОНОМИКИ -- ЭКОНОМИЧЕСКОЕ ПРОГНОЗИРОВАНИЕ (МЕТОДЫ) -- ЭКОНОМИЧЕСКОЕ ПРОГНОЗИРОВАНИЕ (МОДЕЛИ) -- НАЦИОНАЛЬНАЯ ЭКОНОМИКА (ПЛАНИРОВАНИЕ) -- НАЦИОНАЛЬНАЯ ЭКОНОМИКА (ПРОГНОЗИРОВАНИЕ) -- РЕГИОНАЛЬНАЯ ЭКОНОМИКА (ПРОГНОЗИРОВАНИЕ) -- РЕГИОНАЛЬНАЯ ЭКОНОМИКА (ПЛАНИРОВАНИЕ) -- ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ -- НЕЙРОННЫЕ СЕТИ -- МАРКОВА ЦЕПИ -- ПРОГНОЗИРОВАНИЕ ФИНАНСОВОЕ -- ВЕРИФИКАЦИЯ ЭКОНОМИЧЕСКИХ ПРОГНОЗОВ Доп.точки доступа: Бабич, Т. Н.; Козьева, И. А.; Вертакова, Ю. В.; Кузьбожев, Эдуард Николаевич Экземпляры всего: 20 АБЗ (11), Х (1), АБУ (8) Свободны: АБЗ (11), Х (1), АБУ (8) |
551.5 П 189 Пархоменко, В. П. Верификация климатической модели / В. П. Пархоменко ; ред. А. В. Шипилин. - Москва : Вычислительный центр Академии наук СССР, 1988. - 34 с. - (Сообщения по прикладной математике). - Библиогр.: с. 33. - 0.10 р.
Кл.слова (ненормированные): Верификация климатической модели Доп.точки доступа: Шипилин, А. В. \ред.\ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
327 В 326 Верификация. Контроль за разоружением / ред. Ф. Калоджеро. - Москва : Мир, 1991. - 479 с. - (Международный мир и разоружение ; вып. 29). - Библиогр.: с. 443-462. - 3.00 р.
Кл.слова (ненормированные): разоружение (контроль) Доп.точки доступа: Калоджеро, Ф. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 П 253 Пенский, Олег Геннадьевич. Верификация математических моделей роботов с неабсолютной памятью : учебно-методическое пособие / О. Г. Пенский ; Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет. - Пермь : ПГНИУ, 2017. - 20 с. : табл. - Библиогр.: с. 19. - 22.00 р., 22 р.
Кл.слова (ненормированные): РОБОТОТЕХНИКА -- РОБОТЫ (МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ) -- РОБОТЫ С НЕАБСОЛЮТНОЙ ПАМЯТЬЮ (МАТЕМАТИЧЕСКИЕ МОДЕЛИ) Доп.точки доступа: Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет Экземпляры всего: 13 ЧЗЕ (1), АБУ (12) Свободны: ЧЗЕ (1), АБУ (12) |
8643 Поляков, А. К. Языки VHDL и VERILOG в проектировании цифровой аппаратуры [Электронный ресурс] : учебное пособие / Поляков А. К. - Москва : СОЛОН-ПРЕСС, 2009. - 314 с. - ISBN 5-98003-016-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): verilog -- vhdl -- верификация -- кодирование -- проектирование -- синтезабельность -- цифровая аппаратура -- цифровая система Аннотация: Книга посвящена проектированию цифровых систем с помощью высокоуровневых языков описания аппаратуры (Hardware Description Language HDL) — Verilog и VHDL. Эти языки являются международным стандартом и используются как системами анализа (моделирование), так и системами синтеза цифровой аппаратуры. С единых позиций изложены основные концепции этих языков. Даны рекомендации по стилю кодирования, синтезабельности и верификации HDL-описаний проектируемых систем. Приведены примеры синтезабельных описаний узлов и устройств и организации функциональных тестов. В приложение вынесены справочные данные по языкам VHDL и VERILOG. Автор предполагает, что читатель знаком с основами программирования и основами проектирования цифровых устройств. Перейти: Перейти к просмотру издания Свободных экз. нет |
10116 Черемисинов, Д. И. Проектирование и анализ параллелизма в процессах и программах [Текст] : монография / Черемисинов Д. И. - Минск : Белорусская наука, 2011. - 300 с. - ISBN 978-985-08-1285-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): верификация -- дискретное устройство -- микроэлектронное устройство -- язык пралу Аннотация: В монографии обсуждается широкий круг вопросов, связанных с проектированием микроэлектронных устройств с программным управлением. Рассматриваются задачи и методы разработки программ и аппаратуры с использованием языка ПРАЛУ, область применения которого расширена задачами верификации. Описывается разработка программы для кластерного компьютера, решающей комбинаторно-сложные задачи. Книга адресована специалистам в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении. Перейти: Перейти к просмотру издания Свободных экз. нет |
63216 Русак, С. Н. Моделирование систем управления [Электронный ресурс] : учебное пособие / Русак С. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2015. - 136 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): автоматическое управление -- верификация модели -- дифференциальное уравнение -- математическая модель -- метод моделирования -- моделирование системы -- система регулирования -- система управления Аннотация: Пособие предназначено для изучения курса «Моделирование систем управления» бакалавров, обучающихся по направлению подготовки 220400.62 - Управление в технических системах. Перейти: Перейти к просмотру издания Доп.точки доступа: Криштал, В. А. Свободных экз. нет |
491.7 С 291 Селиверстова, Ольга Николаевна. Труды по семантике / О. Н. Селиверстова. - Москва : Языки славянских культур, 2004. - 959,[1] с. - (Studia philologica). - ISBN 5-9551-0020-2 : 360.00 р., 360.00 р.
Рубрики: Русский язык--Семантика Кл.слова (ненормированные): Семантика русского языка -- Глаголы русского языка -- Полисемия русского языка -- Местоимения русского языка -- верификация -- компонентный анализ -- семантика -- семантическая гипотеза -- семантическая теория Аннотация: В книге представлены наиболее значительные монографические работы О.Н. Селиверстовой, вышедшие в свет с 1975 по 1998 годы. Они посвящены фундаментальным общетеоретическим и методологическим проблемам семантики: значению, верификации семантических гипотез, компонентному анализу. Наряду с этим они включают комплексное описание различных микросистем языка: местоимений, глаголов мышления и восприятия, бытийных и посессивных моделей, предлогов, а также углубленный анализ коммуникативной структуры высказывания. В семантических исследованиях широко используется разработанная и обоснованная автором экспериментальная методика. В совокупности работы представляют современную семантическую теорию, построенную на основании анализа обширного языкового материала. Разнообразие научной проблематики, глубина и оригинальность подхода автора делают книгу неоценимой для лингвистов самых разных направлений. Доп.точки доступа: Селиверстова, Ольга Николаевна (1934-2001) Экземпляры всего: 2 ЧЗФ (1), ЧЗГ (1) Свободны: ЧЗФ (1), ЧЗГ (1) |
Актуальные вопросы развития национальной экономики [Электронный ресурс] : материалы II Всерос. с междунар. участием науч.-практ. конф., Пермь, 28 апреля 2022 г. / М-во науки и высш. образования РФ, Пермский государственный национальный исследовательский университет ; ред.: М. Н. Руденко, Ю. Д. Субботина. - Электрон. дан. (6,41 Мб). - Пермь : ПГНИУ, 2023. - 758 с. - ). - Библиогр. в конце ст. - ISBN 978-5-7944-3993-9 : 0.00
Рубрики: Экономика --Российская Федерация--Съезды и конференции Кл.слова (ненормированные): НАЦИОНАЛЬНАЯ ЭКОНОМИКА (РАЗВИТИЕ) -- ГЛОБАЛИЗАЦИЯ ЭКОНОМИКИ -- ИНФОРМАТИЗАЦИЯ ЭКОНОМИКИ -- ЦИФРОВАЯ ЭКОНОМИКА -- ВИКИНОМИКА (КОНЦЕПЦИЯ) -- КОМПЬЮТЕРНЫЕ ПРЕСТУПЛЕНИЯ -- САНКЦИОННЫЕ РЕЖИМЫ -- САНКЦИИ ЭКОНОМИЧЕСКИЕ -- САНКЦИОННОЕ ДАВЛЕНИЕ -- ЭКОНОМИКА ПРЕДПРИНИМАТЕЛЬСТВА -- УПРАВЛЕНИЕ ПРЕДПРИЯТИЯМИ -- УПРАВЛЕНИЕ ОТРАСЛЯМИ -- ОТРАСЛЕВАЯ ЭКОНОМИКА -- ИВЕРСИФИКАЦИЯ -- ЦЕНООБРАЗОВАНИЕ -- МАРКЕТИНГ (МОДЕЛИ) -- ПЕРМСКИЙ КРАЙ (РЕГИОНАЛЬНАЯ ЭКОНОМИКА) -- ЭКОНОМИКА РОССИИ (НАЦИОНАЛЬНАЯ) -- ЭКОНОМИКА НАРОДОНАСЕЛЕНИЯ РФ -- РЕГИОНАЛЬНАЯ ЭКОНОМИКА -- ЛОГИСТИКА -- УПРАВЛЕНИЕ КАЧЕСТВОМ ПРОДУКЦИИ -- УПРАВЛЕНИЕ ИННОВАЦИЯМИ -- ЭКОНОМИКА ТРУДА -- ЭКОНОМИКА ПРИРОДОПОЛЬЗОВАНИЯ -- ЭКОНОМИЧЕСКАЯ БЕЗОПАСНОСТЬ -- ФИНАНСОВАЯ ЭКОНОМИКА -- УПРАВЛЕНИЕ ФИНАНСАМИ -- ИНСТРУМЕНТАЛЬНЫЕ МЕТОДЫ ЭКОНОМИКИ -- МАТЕМАТИЧЕСКИЕ МЕТОДЫ ЭКОНОМИКИ -- ФИНАНСОВАЯ ОТЧЕТНОСТЬ (ВЕРИФИКАЦИЯ) -- НЕФИНАНСОВАЯ ОТЧЕТНОСТЬ (ВЕРИФИКАЦИЯ) Перейти: Полный текст Доп.точки доступа: Руденко, Марина Николаевна \ред.\; Субботина, Юлия Дмитриевна \ред.\; Министерство науки и высшего образования Российской Федерации; Пермский государственный национальный исследовательский университет Свободных экз. нет |