Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (21)"Руконт"-Национальный цифровой ресурс (1)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ФОРМАЛИЗАЦИЯ<.>)
Общее количество найденных документов : 24
Показаны документы с 1 по 20
 1..20  21..24 
1.
В12
Г47


    Гильберт, Давид.
    Основания математики [Текст] : логические исчисления и формализация арифметики: Пер. с нем. / Д. Гильберт. - 2-е изд. - М. : Наука, 1982. - 556с. - (Математическая логика и основания математики). - 6.22 р.
ББК В12
Рубрики: основания математики
Кл.слова (ненормированные):
логические исчисления -- формализация арифметики

Держатели документа:
ЯрГУ

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

2.
В12
Б64


    Бирюков, Борис Владимирович.
    Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. - 2-е изд., перераб. и доп. - М. : Знание, 1985. - 192 с. - (Наука и прогресс). - 40.00 р.
ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
логико-математический аппарат -- формальные логики -- логическая алгебра

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

3.
В12
Г47


    Гильберт, Давид.
    Основания математики [Текст] : логические исчисления и формализация арифметики / Д.Гильберт,П.Бернайс.Пер.с нем. - М. : Наука, 1979. - 557с. - (Математическая логика и основания математики). - 7.00 р.
ББК В12
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- логические исчисления -- элементарная арифметика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

4.
В12
Б64


    Бирюков, Борис Владимирович.
    Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков, В. Н. Тростников. - М. : Знание, 1977. - 191 с. - (Наука и прогресс). - 15.00 р.
ББК В12
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- математико-логический аппарат -- вычислительные машины

Держатели документа:
ЯрГУ

Доп.точки доступа:
Тростников, Виктор Николаевич ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

5.
Шифр: ДиК/2003/4
   Журнал

Деньги и кредит [Текст]. - М. : Финансы и статистика, 1927 - . - ISSN 0130-3090. - Выходит ежемесячно
2003г. № 4
Содержание:
Мельников, В. Н. Роль финансовых посредников в борьбе против финансирования терроризма (в контексте выполнения положений резолюций Совета Безопасности ООН) / В. Н. Мельников. - С.3-8
Козлов, А. А. Качество кредитной организации: формализация процессов банка / А. А. Козлов, А. О. Хмелев. - С.9-23
Заставнюк, В. П. К Дню Победы. Банковское обслуживание войск в период Великой Отечественной войны / В. П. Заставнюк. - С.24-30
Совершенствование банковского надзора: формирование института кураторства( Интервью с заместителем начальника МГТУ Банка России Н. Н. Панкратовой). - С.31-32
Вотрин, Р. В. Предварительный анализ в организации инспекционных проверок кредитных организаций / Р. В. Вотрин. - С.33-37
Булатов, А. С. К вопросу о трансформации сбережений в инвестиции / А. С. Булатов. - С.38-47
Зеленский, Ю. Б. Проблемы развития региональных банков и реальный сектор экономики / Ю. Б. Зеленский. - С.48-57
Потемкин, С. А. Подходы к рационализации процессов подготовки отчетности по МСФО / С. А. Потемкин, В. В. Брусанов. - С.58-62
Девятый всероссийский день бановкого аудита. - С.63-66
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

6.
Шифр: СД/2003/8
   Журнал

Страховое дело [Текст]. - М. : Анкил, 1993 - . - ISSN 0869-7574. - Выходит ежемесячно
2003г. № 8
Содержание:
Баутов, А. Н. Общая оценка фондового рынка и некоторые тенденции. Сценарии развития процессов / А. Н. Баутов. - С.2-8
Фархутдинов, И. З. Страхование иностранных инвестиций / И. З. Фархутдинов. - С.9-16
Луконин, С. В. Формализация и совершенствование методики расчета маржи платежеспособности страховой компании / С. В. Луконин. - С.17-27
Водянов, В. В. Классификация страховых информационных систем / В. В. Водянов. - С.28-31
Ли, С. Ч. Революция в области страхового образования / С. Ч. Ли. - С.32-33
Дюков, А. Б. Построение системы продаж фондового страхования / А. Б. Дюков. - С.34-35
Фалин, А. Г. Финансовый андеррайтинг в страховании жизни / А. Г. Фалин. - С.36-40
Насырова, Г. А. Формы и инструменты государственного регулирования страховой деятельности / Г. А. Насырова. - С.41-47
Мамедов, А. А. Общее и особенное в финансово-правовом регулировании социального и коммерческого страхования / А. А. Мамедов. - С.48-52
Дьяков, А. Н. Бухгалтерский учет операций перестрахования / А. Н. Дьяков. - С.53-56
Тарасенко, Н. С. Учет сверхнормативного финансирования страховых медицинских организаций, осуществляющих ОМС / Н. С. Тарасенко. - С.57-58
Иванов, Н. В. К вопросу селекции рисков в космическом страховании / Н. В. Иванов, Г. Б. Кулешов. - С.59-64
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

7.
Шифр: ФиК/2004/7
   Журнал

Финансы и кредит [Текст]. - М. : Издательский дом "Финансы и кредит". - Выходит дважды в месяц
2004г. N 7
Содержание:
Соколов, Ю. А. Проблемы организации и функционирования института кураторства в системе банковского надзора / Ю. А. Соколов, С. Е. Дубова. - С.2-6
Валитов Ш, М. Стимулирование кредитных вложений в реальный сектор экономики / Ш, М. Валитов Ш, Р. А. Мусаева. - С.7-12
Ромашова, И. Б. Управление денежным капиталом / И. Б. Ромашова. - С.13-15
Харисова, Ф. И. Международные аспекты аудита производных финансовых инструментов / Ф. И. Харисова. - С.16-26
Васин, А. С. Повышение эффективности функционирования банка на основе совершенствования процесса обслуживания его клиентов / А. С. Васин, В. В. Кузнецов. - С.27-31
Ключников, М. В. Четыре этапа развития банковской системы Российской Федерации / М. В. Ключников. - С.32-39
Пупликов, С. И. Валютные операции в Республике Беларусь - запрещено все, что не разрешено / С. И. Пупликов. - С.40-42
Успенский, В. А. Бизнес-проблема: управление риском / В. А. Успенский. - С.43-49
Каспина, Р. Г. Влияние на формирование бухгалтерской отчетности механизмов корпоративного управления / Р. Г. Каспина. - С.50-55
Зулькарнай, И. У. Формализация межбюджетных отношений в Республике Башкортостан / И. У. Зулькарнай. - С.56-63
Глонти, В. Д. Направления совершенствования деятельности региональных налоговых органов Грузии / В. Д. Глонти. - С.64-66
Муравьева, Л. А. Ленд-лиз и проблема российского долга / Л. А. Муравьева. - С.67-76
Кл.слова: Из истории
Имеются экземпляры в отделах: всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)

Найти похожие

8.
Шифр: МЭО/2005/3/4
   Журнал

e-Learning World [Мир электронного обучения] [Текст]. - М. : МЭСИ, 2004 - . - ISSN XXXX-XXXX. - Выходит раз в два месяца
2005г. N 3/4 . - 172.03, р.
Содержание:
Вспоминая eLearnExpo-2005. - С.8-11
Бабешко, В. Н. Система оценки качества программных комплексов для дистанционного обучения / В. Н. Бабешко, М. И. Нежурина. - С.12-19
Тихомирова, Н. Внедрение системы управления качеством в вузе / Н. Тихомирова, А. Гриценко, А. Зайцев. - С.20-23
Сошник, Е. Методы оценки знаний / Е. Сошник. - С.24-27
Сошник, Е. Инструменты авторской разработки курсов / Е. Сошник, А. Дорошкевич. - С.28-31
Дистанционное обучение ЦВ "Протек" - лучший корпоративный проект ДО в 2005 г. - С.32-37
Хортон, У. Инструменты авторской разработки курсов / У. Хортон, К. Хортон. - С.38-49
Козлов, А. С. Дистанционные образовательные технологии: стандартизация, формализация и организационные подходы / А. С. Козлов, Е. Н. Куликова. - С.50-61
Павлековская, И. Обучение через общение: распространение «неявных» знаний в компании и ИКТ / И. Павлековская. - С.62-66
Морозов, И. Аутсорсинг: преимущества для e-learning / И. Морозов. - С.68-69
Мотовилова, О. Потеря знаний: вчера, сегодня, завтра / О. Мотовилова. - С.70-74
Беляков, В. Распределенный университет в условиях рынка / В. Беляков. - С.76-82
Татаринова, М. Сетевой курс дистанционного обучения иноязычной письменной речи «Written English»: проблемы создания и использования / М. Татаринова. - С.84-87
Имеются экземпляры в отделах: всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)

Найти похожие

9.
Шифр: УгП/2006/4
   Журнал

Уголовное право [Текст] : ежеквартальный научно-практический журнал. - М. : АНО "Юридические программы". - Выходит ежеквартально
2006г. N 4 . - 289.59, р.
Содержание:
Бабурин, В. Механизм уголовно-правового риска / В. Бабурин. - С.4-8
Боровиков, В. Преступления против общественной безопасности: вопросы ответственности и совершенствования законодательства / В. Боровиков. - С.9-12
Жалинский, А. Обратная сила уголовного закона: правовые позиции Конституционного Суда РФ / А. Жалинский. - С.13-18
Ибрагимова, А. Новые подходы в регулировании лишения свободы несовершеннолетних / А. Ибрагимова. - С.19-21
Киреева, Н. Категории преступлений и проблемы уголовной ответственности несовершеннолетних / Н. Киреева. - С.22-26
Кривенков, О. Наказание и возмещение вреда: проблема приоритета / О. Кривенков, А. Суслин. - С.27-29
Лапшин, В. Эволюция составов налоговых преступлений: вопросы законодательной техники / В. Лапшин. - С.30-33
Магомедов, А. Разграничение вандализма и уголовно наказуемого хулиганства / А. Магомедов, М. Макаренко. - С.34-36
Малинин, В. Уголовная ответственность за самоуправство / В. Малинин, В. Капканов. - С.37-41
Мальцев, В. Понятие наказания / В. Мальцев. - С.42-46
Непомнящая, Т. Формализация назначения наказания / Т. Непомнящая. - С.47-51
Серебренникова, А. Уголовная ответственность за необоснованный отказ в приеме на работу или необоснованное увольнение беременной женщины или женщины, имеющей детей в возрасте до трех лет (ст. 145 УК РФ) / А. Серебренникова. - С.52-55
Ситникова, А. Оконченная и неоконченная легализация денежных средств или иного имущества, приобретенных преступным путем / А. Ситникова. - С.56-59
Толкаченко, А. Нефтедобыча и нарушение правил использования недр / А. Толкаченко. - С.60-64
Хилюта, В. Вверенное имущество в уголовном праве Белоруссии / В. Хилюта. - С.65-69
Чупрова, А. Проблемы обеспечения уголовной ответственности лиц, злостно уклоняющихся от предоставления информации о ценных бумагах / А. Чупрова. - С.70-74
Зайцева, Е. К вопросу о заключении специалиста / Е. Зайцева. - С.75-78
Кузнецова, О. Проблемы повышения эффективности уголовно-процессуальных институтов устранения следственных ошибок / О. Кузнецова, В. Крамаренко. - С.79-81
Степанов, В. Документальные проверки и ревизии как средства собирания информации в уголовном судопроизводстве / В. Степанов, Л. Шапиро. - С.82-86
Торбин, Ю. Особенности использования результатов оперативно-разыскной деятельности при возбуждении уголовного дела по ст. 21 УК РФ / Ю. Торбин. - С.87-91
Казакова, Е. Значение социальной работы в исправлении осужденных, отбывающих пожизненное лишение сободы в Российской Федерации, и проблемы ее правового регулирования / Е. Казакова. - С.92-96
Бессонова, А. Криминалистическая характеристика браконьерства, совершаемого в дельте, авендельте реки Волги и северо-западной части Каспийского моря / А. Бессонова. - С.97-100
Коршунова, О. Криминалистическая характеристика информации о познании преступления как основа уголовного преследования / О. Коршунова. - С.101-105
Новик, В. Криминалистические аспекты доказывания в процессе уголовного преследования / В. Новик. - С.106-110
Ашурбеков, Т. Противодействие прокуратуры коррупционным проявлениям как угрозе национальной безопасности / Т. Ашурбеков. - С.111-115
Невирко, Д. Преступность в Сибирском федеральном округе: общероссийские и региональные тенденции / Д. Невирко, С. Рожков, С. Мальков. - С.116-120
Номоконов, В. Российско-китайский наркотрафик: состояние и вопросы сотрудничества правоохранительных органов в борьбе с ним / В. Номоконов, И. Баранник. - С.121-124
Трухин, А. Проблемы определения степени тяжести вреда здоровью: медицинский и правовой аспект / А. Трухин. - С.125-126
Шишов, Е. Определение степени тяжести вреда здоровью при расследовании посягательств на личность / Е. Шишов, А. Сердюков. - С.127-130
Куршев, М. Морское пиратство-разновидность международного терроризма / М. Куршев. - С.131-134
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

10.
Шифр: ФиК/2007/3
   Журнал

Финансы и кредит [Текст]. - М. : Издательский дом "Финансы и кредит". - Выходит дважды в месяц
2007г. N 3 . - 902.00, р.
Содержание:
Ушвицкий, Л. И. Создание банковской группы как направление капитализации региональной банковской системы / Л. И. Ушвицкий, А. В. Малеева, В. В. Мануйленко. - С.2-8
Свиридова, Н. И. Предпосылки введения мониторинга предприятий в деятельность Центрального банка РФ / Н. И. Свиридова. - С.9-12
Гамза, В. А. Россия и Китай: анализ денежной сферы / В. А. Гамза. - С.13-18
Семенов, С. К. Деньги: метод интегрального трендового индекса и его использование для оценки денежных потоков / С. К. Семенов. - С.19-21
Моисеев, С. Р. Формализация, макроэкономика и денежно-кредитная политика / С. Р. Моисеев. - С.22-31
Ермакова, Е. А. Государственные финансы в финансовой системе России / Е. А. Ермакова. - С.32-40
Гергерт, Д. В. Опционный подход к страхованию инвестиционных проектов / Д. В. Гергерт, С. А. Иванов. - С.41-46
Шевченко, И. В. Пути формирования инфраструктуры рынка энергетических ресурсов / И. В. Шевченко, С. М. Саввиди. - С.47-50
Морозко, Н. И. Стратегическое бюджетирование в страховых компаниях / Н. И. Морозко. - С.51-55
Шевчук, И. В. Методологический анализ формирования показателей базовой инфляции / И. В. Шевчук, М. П. Чернеев. - С.56-68
Муравьева, Л. А. Государственный деятель В. Н. Татищев / Л. А. Муравьева. - С.69-78
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

11.
Шифр: ВЭ/2007/2
   Журнал

Вопросы экономики [ТекстТекст]. - М. : Редакция журнала "Вопросы экономики", 1929 - . - ISSN 0042-8736. - Выходит ежемесячно
2007г. N 2 . - 300.94, р.
Содержание:
Мау, В. Экономическая политика 2006 года: на пути к инвестиционному росту / В. Мау. - С.4-25
Дробышевский, С. Некоторые вопросы денежной и курсовой политики в России в 2000-2006 годах и на ближайшую перспективу / С. Дробышевский, П. Кадочников, С. Синельников-Мурылев. - С.26-45
Кл.слова: инфляция
Моисеев, С. Формализация макроэкономики и ее последствия для денежно-кредитной политики / С. Моисеев. - С.46-58
Петросян, Д. Социальная справедливость в экономических отношениях: институциональные аспекты / Д. Петросян. - С.59-67
Вэриан, Х. Экономическая теория авторских прав / Х. Вэриан. - С.68-84
Юданов, А. Быстрые фирмы и эволюция российской экономики / А. Юданов. - С.85-100
Лукьянов, С. Отраслевые барьеры входа как важнейший инструмент политики ограничения конкуренции / С. Лукьянов, Н. Кисляк. - С.101-110
Минц, В. О факторах динамики цен на жилую недвижимость / В. Минц. - С.111-121
Попов, Г. Марксистский метод против марксистских концепций ("Политическое завещание" Г. В. Плеханова) / Г. Попов. - С.122-126
Рогалина, Н. Индустриализация как народно-хозяйственная проблема (к вопросу об исходном уровне советской индустриальной модернизации) / Н. Рогалина. - С.127-140
Беккин, Р. Ссудный процент в контексте религиозно-этических хозяйственных систем прошлого и современности / Р. Беккин. - С.141-157
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

12.
Шифр: ЗКМ/2007/2
   Журнал

Землеустройство, кадастр и мониторинг земель [Текст] : научно-практический ежемесячный журнал. - М. : ИД "Просвещение"
2007г. N 2
Содержание:
Макаров, А. Н. Земельная собственность (сравнительно-исторический и эволюционный методы исследования институциональных основ) / А. Н. Макаров. - С.3-20
Лукьянчикова, А. А. Развитие земельных отношений на региональном уровне / А. А. Лукьянчикова. - С.21-31
Сенчихина, Н. А. Структура участников земельных отношений Пензенского региона / Н. А. Сенчихина. - С.32-36
Романов, С. В. О земельном налоге / С. В. Романов. - С.37-41
Романов, С. В. Перевод земель или земельных участков из одной категории в другую. Правовые и налоговые аспекты (по состоянию на сентябрь 2006 г.) / С. В. Романов. - С.42-47
Кислов, Н. В. Математические модели землепользования микроэкономического хозяйства / Н. В. Кислов, А. В. Червяков. - С.48-51
Дедяева, Е. Л. Методологические подходы учета экологических неблагоприятных факторов при кадастровой оценке городских земель / Е. Л. Дедяева, А. Н. Дедяев. - С.52-54
Мороз, А. В. Система управления корпоративным недвижимым имуществом акционерного общества (компании) / А. В. Мороз. - С.55-58
Туктаров, Б. И. Агроэкологический мониторинг и пути повышения плодородия орошаемых земель Саратовского Заволжья / Б. И. Туктаров, В. А. Тарбаев, Р. Р. Гафуров. - С.59-62
Яскин, А. А. Полевые методы исследования минеральных заболоченных почв и рекомендации по их использованию / А. А. Яскин, А. О. Хуторова. - С.63-66
Бурьян. Как разрушают сельский мир. - С.67-71
Кулешов, В. А. Формализация цепной модели через постановку экстремальной задачи класса математического программирования / В. А. Кулешов. - С.72-78
Кузнецов, Н. А. Землеустроительному факультету Воронежского Государственного аграрного университета им. К. Д. Глинки - 85 лет / Н. А. Кузнецов. - С.79-83
Сикстель, А. К. Шары ГУЗа. Городской дизайн / А. К. Сикстель. - С.84-88
Творческий путь доктора экономических наук, профессора Государственного университета по землеустройству Кузнецова Георгия Александровича. - С.89-91
Роснедвижимость информирует. - С.93-112
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

13.
Шифр: БГУ/2007/8
   Журнал

Бухгалтерский учет [Текст]. - М. : Бухгалтерский учет, 1937 - . - ISSN 0321-0154. - Выходит ежемесячно
2007г. N 8 . - 237.60, р.
Содержание:
Бакаев, А. С. Законодательная база и развитие бухгалтерской профессии / А. С. Бакаев. - С.6-11
Джальчинов, Д. Л. Ответственность должностных лиц / Д. Л. Джальчинов. - С.11-16
Суслова, Ю. А. Проблемы при переходе с УСН на общий режим налогообложения / Ю. А. Суслова. - С.16-20
Кузьмин, Г. В. Приобретение ценных бумаг за счет земельных средств / Г. В. Кузьмин. - С.20-22
Карзаева, Н. Н. Активы и обязательства в иностранной валюте: как отразить курсовые разницы / Н. Н. Карзаева. - С.22-28
Жуков, В. Н. Учет операций, связанных с поручительством / В. Н. Жуков. - С.28-35
Куликова, Л. И. Какие вопросы решает бухгалтер при реорганизации / Л. И. Куликова, К. А. Степанов. - С.35-41
Гусаковская, Е. Г. Гарантии работникам, выполняющим общественные обязанности: что должен знать бухгалтер / Е. Г. Гусаковская. - С.41-44
Чипуренко, Е. В. Принятие и исполнение решений по итогам налоговых проверок / Е. В. Чипуренко. - С.44-50
Раднаева, Н. В. Какие расходы на рекламу принимаются при налогообложении? / Н. В. Раднаева. - С.50-54
Король, Е. А. Изменения в бюджетном учете доходов и расходов / Е. А. Король. - С.54-57
Соколов, Я. В. МСФО в России: их настоящее и будущее / Я. В. Соколов. - С.57-61
Королькова, Т. А. Верховный Суд РФ о применении трудового кодекса РФ / Т. А. Королькова. - С.61-65
Бурлакова, О. В. Совместная деятельность: организация учета / О. В. Бурлакова. - С.65-70
Оганян, М. А. Учет нематериальных активов / М. А. Оганян. - С.70-75
Бородулин, А. Н. Формализация бухгалтерского учета в условиях автоматизации / А. Н. Бородулин, А. Ю. Заложнев, Е. Л. Шуремов
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

14.
004
Е91


    Ефимова, О.
    Курс компьютерной технологии с основами информатики [Текст] : учеб. пособие для старших классов / О. Ефимова, В. Морозов, Н. Угринович. - М. : АСТ : ABF, 2004. - 424 с. : обр, рис., табл. - ISBN 5-17-003323-0 (в пер.). - ISBN 5-87484-075-3 : 139.00 р.
Приложения, с.389-425
ГРНТИ
УДК

Кл.слова (ненормированные):
ИНФОРМАЦИОННАЯ -- КАРТИНА мира -- КУЛЬТУРА -- СИСТЕМЫ СЧИСЛЕНИЯ -- ПОЗИЦИОННЫЕ -- непозиционные -- ДВОИЧНОЕ -- КОДИРОВАНИЕ -- ЛОГИКА -- МОДЕЛИРОВАНИЕ -- МЕТОД -- ПОЗНАНИЯ -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ -- ИНФОРМАЦИОННЫЕ -- МОДЕЛИ -- ФОРМЫ -- КЛАССИФИКАЦИЯ -- ФОРМАЛИЗАЦИЯ -- АЛГОРИТМИЗАЦИЯ -- АРХИТЕКТУРА -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- КОМПЬЮТЕРА -- ЛОКАЛЬНАЯ -- ГЛОБАЛЬНАЯ -- СЕТЬ -- ИНТЕРНЕТ -- ТЕЛЕКОММУНИКАЦИИ -- WWW -- ТЕКСТОВЫЙ  -- ГРАФИЧЕСКИЙ  -- РЕДАКТОР -- ЭЛЕКТРОННЫЕ ТАБЛИЦЫ -- БАЗЫ ДАННЫХ -- ХРАНЕНИЕ -- ПОИСК -- СОРТИРОВКА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Морозов, В.; Угринович, Н.
Свободных экз. нет
Найти похожие

15.
658
В93


   
    Высокотехнологичные предприятия в эпоху глобализации [Текст] : производственно-практическое издание / И.В. Иванов, В.В. Баранов, Г.И. Лысак. - М. : Альпина Паблишер, 2003. - 416 с. : рис., табл. - ISBN 5-94599-075-2 (в пер.) : 210.80 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
НАУКОЕМКИЕ -- ПРОИЗВОДСТВА -- МАШИНОСТРОИТЕЛЬНЫЙ -- ВОЕННО-промышленный -- КОМПЛЕКС -- ПЕРСПЕКТИВЫ -- РАЗВИТИЯ -- АЭРОКОСМИЧЕСКИЙ -- ИНТЕГРАЦИЯ -- ИННОВАЦИИ -- ЭФФЕКТИВНОСТЬ -- РЕСТРУКТУРИЗАЦИЯ -- формализация процесса -- ТЕОРИЯ ГРАФОВ -- ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ -- ИНФОРМАЦИОННЫЕ ПОТОКИ -- КОНКУРЕНТНАЯ -- СТРАТЕГИЯ -- СИСТЕМНАЯ -- ДИАГНОСТИКА -- ДЕЛОВАЯ -- АКТИВНОСТЬ -- УПРАВЛЕНИЕ АКТИВАМИ -- ВЕНЧУРНОЕ  -- ФИНАНСИРОВАНИЕ -- ПАРТНЕРСТВО -- трансакции -- ОЦЕНКА СТОИМОСТИ -- ЛИЦЕНЗИИ -- ПАТЕНТов -- НОУ-хау -- ФИНАНСОВОЕ  -- ПРОГНОЗИРОВАНИЕ -- БЮДЖЕТИРОВАНИЕ -- МОНИТОРИНГ -- ИНЖИНИРИНГ -- ПЛАНИРОВАНИЕ -- МОДели -- ЭКОНОМИКО-МАТЕМАТИЧЕСКИЕ -- РОБОТИЗИРОВАННЫЕ -- ПРОИЗВОДСТВЕННАЯ ПРОГРАММА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Иванов, И.В.; Баранов, В.В.; Лысак, Г.И.
Свободных экз. нет
Найти похожие

16.
621.91
С77


    Старостин, В. Г.
    Формализация проектирования процессов обработки резанием [Текст] : производственно-практическое издание / В.Г. Старостин, В.Е. Лелюхин. - М. : Машиностроение, 1986. - 135 с. : граф., рис., табл., схем. - (Библиотека технолога). - Библиогр.: с. 133-134. - 0.45 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
СХЕМА -- ТЕХНОЛОГИЧЕСКИЙ ПРОЦЕСС -- ДЕТАЛИ -- ПОВЕРХНОСТЬ -- СТАНКИ С ЧПУ -- ГИБКИЕ ПРОИЗВОДСТВЕННЫЕ СИСТемы

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Лелюхин, В.Е.
Свободных экз. нет
Найти похожие

17.
621.9.06
Ч-49


    Чернов, Е. А.
    Проектирование станочной электроавтоматики [Текст] : производственно-практическое издание / Е.А. Чернов. - М. : Машиностроение, 1989. - 304 с. : диагр, схем, табл. - Библиогр.: с.301 . - ISBN 5-217-00453-3 (в пер.) : 1.30 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
СИНТЕЗ -- СХЕМА -- ПРОМЫШЛЕННАЯ -- ГРАФИЧЕСКАЯ -- ФОРМАЛИЗАЦИЯ -- ВЕНТИЛЬНЫЕ -- ЭЛЕМЕНТЫ -- ШИФРАТОРЫ -- ДЕШИФРАТОРЫ -- ПРЕОБРАЗОВАТЕЛИ -- КОДЫ -- СУММАТОРЫ -- КОММУТАТОРЫ -- ЭЛЕМЕНТЫ -- ПАМЯТЬ -- РЕГИСТРЫ -- СЧЕТЧИКИ -- ВРЕМЕННЫЕ -- ЛОГИЧЕСКИЕ -- ФУНКЦИИ -- ЦИКЛОГРАММЫ -- РАБОТА -- РЕАЛИЗУЕМЫЕ -- УСЛОВИЯ -- НЕРЕАЛИЗУЕМЫЕ -- СЧЕТЧИК -- ПОСЛЕДОВАТЕЛЬНОСТЬ -- ЛОГИЧЕСКИЕ -- МАТРИЦЫ -- КОНТРОЛЛЕРЫ -- ЯЗЫКИ -- ПРОГРАММИРОВАНИЕ -- ПРИВОД -- АСИНХРОННЫЙ -- РЕГУЛИРУЕМЫЙ -- ЭЛЕКТРОПРИВОД -- ПОСТОЯННЫЙ -- ТОК -- ПОИСКОВЫЕ -- МЕХАНИЗМЫ -- ИНСТРУМЕНТ -- СТРУКТУРЫ -- КОДИРОВАНИЕ -- АЛГОРИТМЫ -- НАПРАВЛЕНИЕ -- ВРАЩЕНИЯ -- МАГАЗИН -- УСТРОЙСТВА -- СОПРЯЖЕНИЯ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

18.
65.011
Д56


    Добролюбов, А. И.
    Автоматизация проектирования систем управления технологическими машинами [Текст] : научное издание / А.И. Добролюбов, С.И. Акунович. - М. : Машиностроение, 1974. - 224 с. : схем, табл. - Библиогр.: с. 222. - (в пер.) : 0.69 р.
Приложение. Примеры проектирования схем управления
ГРНТИ
УДК

Кл.слова (ненормированные):
МОДЕЛИРОВАНИЕ НА ЭВМ -- УПРАВЛЯЮЩЕЕ -- РЕЛЕЙНОЕ устройство -- инженерный -- МЕТОД СИнтеза -- ОТОБРАЖЕНИЯ -- ГИДРАВЛИЧЕСКИХ СИСТЕМ -- ВЫЧЕРЧИВАНИЕ -- СИСТЕМА ЭЛЕКТРИК -- АЛГОРИТМЫ -- ФОРМАЛИЗАЦИЯ ПРОЦЕССА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Акунович, С.И.
Свободных экз. нет
Найти похожие

19.
629.7.01
М75


    Моломин, В. П.
    Модели управления надежностью авиационной техники [Текст] : производственно-практическое издание / В.П. Моломин. - М. : Машиностроение, 1981. - 199 с. : граф., рис., схем, табл. - (Надежность и качество). - Библиогр.: с. 194-197. - 0.70 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
ФОРМАЛИЗАЦИЯ ПРОЦЕССА -- ЭНТРОПИЯ -- БЕЗОТКАЗНОСТЬ -- РЕМОНТОПРИГОДНОСТЬ -- РАСЧЕТЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

20.
519.7/8
С56


    Советов, Б. Я.
    Моделирование систем [Текст] : учебник для вузов / Б.Я. Советов, С.А. Яковлев. - М. : Высш. шк., 1985. - 272 с. : ил. - Библиогр.: с.266-267 . -Предм. указ.: с. 268-269. - (в пер.) : 0.95 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЕ -- СХЕМЫ -- ФОРМАЛИЗАЦИЯ -- ОРГАНИЗАЦИЯ -- СТАТИСТИЧЕСКОГО -- ПЛАНИРОВАНИЕ -- ЭКСПЕРИМЕНТОВ -- АСУ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Яковлев, С.А.
Свободных экз. нет
Найти похожие

 1..20  21..24