Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:База данных нормативных документов (3)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=спецификации<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 20
 1-20    21-23 
1.

Вид документа : Однотомное издание
Шифр издания : 62:744/Б 799
Автор(ы) : Большаков, Владимир Павлович, Чагина, Анна Владимировна
Заглавие : Инженерная и компьютерная графика. Изделия с резьбовыми соединениями [Электронный ресурс] : учебное пособие для вузов . -2-е изд., испр. и доп.
Выходные данные : М.: Юрайт, 2020
Колич.характеристики : on-line: рис., черт.
Серия: Высшее образование
Вид и объем ресурса: Электрон. текстовые дан.
Примечания : Библиогр.: с. 64
ISBN, Цена 978-5-534-12090-5: Б.ц.
УДК : 62:744(075.8) + 004.92(075.8)
Ключевые слова (''Своб.индексиров.''): учебные пособия--деталирование--конфигурации--графический редактор--моделирование--сборочный чертеж--компас-3d--конструкторская документация--разнесение--спецификации
Перейти к внешнему ресурсу https://urait.ru/viewer/inzhenernaya-i-kompyuternaya-grafika-izdeliya-s-rezbovymi-soedineniyami-452004#page/1
Найти похожие

2.

Заглавие журнала :Деньги и кредит -2020г. т.79,N 4
Интересные статьи :
Пономаренко А.. Оценка последствий пандемии для экономики России через призму межотраслевого баланса/ А. Пономаренко, С. Попова, А. Синяков, Н. Турдыева (стр.3-17) Кл.слова: COVID-19,платежная система,ВВП
Асоян А.. Моделирование последствий шоков здоровья для экономики Армении/ А. Асоян, В. Давтян, А. Игитян, А. Карташян (стр.18-44) Кл.слова: COVID-19,карантин,робастность
Мамонов М.. Финансовые шоки и кредитные циклы/ М. Мамонов, В. Панкова, Р. Ахметов, А. Пестова (стр.45-74) Кл.слова: рецессии,SVAR-подход,спецификации
Ульянкин Ф.. Прогнозирование российских макроэкономических показателей на основе информации в новостях и поисковых запросах/ Ф. Ульянкин (стр.75-97) Кл.слова: машинное обучение,анализ данных,индексы
Коротких О.. Межстрановая BVAR-модель внешнего сектора/ О. Коротких (стр.98-112) Кл.слова: гиперпараметры,прогнозирование,байесовские методы
Интересные статьи :
Найти похожие


3.

Вид документа : Многотомное издание
Шифр издания : 004/И 741
Автор(ы) :
Заглавие : Информационные технологии [Электронный ресурс]: учебник в 2-х т./ В. В. Трофимов [и др.] ; ред. В. В. Трофимов ; рец.: Е. В. Песоцкая, Т. А. Павловская, М. С. Гаспариан. - (Бакалавр. Академический курс). Т. 1
Выходные данные : М.: Юрайт, 2019 - 2019
Колич.характеристики : on-line: рис., табл., граф., портр.
Серия:
Вид и объем ресурса: Электрон. текстовые дан.
Примечания : Библиогр. в конце разд.
ISBN, Цена 978-5-534-01935-3: Б.ц.
УДК : 004.9(075.8)
Ключевые слова (''Своб.индексиров.''): учебники--экономика--экономические законы--классификации--графические изображения--алгоритмы--открытые системы--электронный бизнес--мобильные устройства--спецификации
Перейти к внешнему ресурсу https://urait.ru/viewer/informacionnye-tehnologii-v-2-t-tom-1-434432#page/1
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 62/Е 519
Автор(ы) : Елкин, Владимир Владимирович, Тозик, Вячеслав Трофимович
Заглавие : Инженерная графика : учебник . -4-е изд., стер.
Выходные данные : М.: Академия, 2016
Колич.характеристики :299 с.: граф., рис., табл., черт.
Серия: Техника и технические науки. Бакалавриат
Примечания : Библиогр.: с. 294
ISBN, Цена 978-5-4468-2760-2: 574.00, 574.00, р.
УДК : 62:744(075.8)
Ключевые слова (''Своб.индексиров.''): учебники--оформление чертежей--шрифты--изображения--проектирование изделий--шероховатости поверхностей--конструкторская документация--чертежи--спецификации--разъемные соединения--неразъемные соединения
Экземпляры :счз1(1)
Свободны : счз1(1)
Найти похожие

5.

Заглавие журнала :Кибернетика и системный анализ -2019г.,N 5
Интересные статьи :
Боюн В. П.. Принципы организации сетчатки глаза человека и их использование в системах компьютерного зрения/ В. П. Боюн, Л. А. Возненко, И. Ф. Малкуш (стр.3-17) Кл.слова: нейросети,управление,параметры считывания информации
Крывый С. Л.. Численные методы решения задачи о математическом сейфе/ С. Л. Крывый (стр.18-34) Кл.слова: уравнения диофантовые,поля конечные,базис решений
Бессалов А. В.. Суперсингулярные скрученные кривые Эдвардса над простым полем. II. Суперсингулярные скрученные кривые Эдвардса с j-инвариантом, равным 663/ А. В. Бессалов, Л. В. Ковальчук (стр.35-46) Кл.слова: порядок точки,символ Лежандра,вычет квадратичный
Чеботарев А. Н.. Определение фиктивных состояний в Ʃ-автомате, синтезированном по спецификации в языке LP/ А. Н. Чеботарев (стр.47-57) Кл.слова: форма нормальная,цикл основной,языки логические
Алексейчук А. Н.. Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов/ А. Н. Алексейчук, С. Н. Конюшок, М. В. Поремский (стр.58-66) Кл.слова: криптоанализ корреляционный,функции дискретные,несбалансированность
Галба Е. Ф.. Разложение взвешенных псевдообратных матриц со смешанными весами в матричные степенные ряды и произведения/ Е. Ф. Галба, Н. А. Варенюк (стр.67-80) Кл.слова: методы регуляризованные итерационные,представления многочленные итерационные,вычисления
Кнопов П. С.. О больших уклонениях эмпирических оценок в задаче стохастического программирования при нестационарных наблюдениях с непрерывным временем/ П. С. Кнопов, Е. И. Касицкая (стр.81-86) Кл.слова: процессы случайные,условие сильного перемешивания,уклонения большие
Селезов И. Т.. Обратная дифракционная задача определения свойств плазменного объекта/ И. Т. Селезов (стр.87-94) Кл.слова: псевдообращение,дифракция волн,рассеяние обратное
Наконечный А. Г.. Приближенные гарантированные среднеквадратичные оценки функционалов от решений параболических задач с быстро колеблющимися коэффициентами при нелинейных наблюдениях/ А. Г. Наконечный, Е. А. Капустян, А. А. Чикрий (стр.95-105) Кл.слова: уравнение параболического типа,наблюдение,оператор типа суперпозиции
Булавацкий В. М.. Некоторые нелокальные краевые задачи для бипараболического эволюционного уравнения и его дробно-дифференциального аналога/ В. М. Булавацкий (стр.106-114) Кл.слова: теплопроводность,уравнения,задача обратная
Стоян В. А.. К построению интегральных математических моделей двух классов нелинейных пространственно распределенных систем. I. Случай дискретно определенных внешнединамических возмущений/ В. А. Стоян (стр.115-127) Кл.слова: псевдообращение,системы,параметры распределенные
Война Ал. А.. Математические модели управления риском для марковских процессов регенерирующего типа/ Ал. А. Война, Ан. А. Война (стр.128-142) Кл.слова: структуры параллельные,стратегии оптимальные стационарные,алгоритмы итерационные
Раппопорт И. С.. Достаточные условия сближения управляемых объектов в игровых задачах динамики. I/ И. С. Раппопорт (стр.143-155) Кл.слова: отображение многозначное,селектор измеримый,стратегия стробоскопическая
Летичевский А. А.. Обзор современных методов защищенности и безопасности программных систем/ А. А. Летичевский, В. С. Песчаненко, Я. В. Гринюк (стр.156-169) Кл.слова: моделирование алгебраическое,моделирование символьное,поиск уязвимостей
Марасанов В. В.. Граничные задачи определения энергетического спектра сигналов акустической эмиссии в сопряженных сплошных средах/ В. В. Марасанов, А. В. Шарко, А. А. Шарко (стр.170-179) Кл.слова: оператор,функция Грина,эмиссия акустическая
Рачковский Д. А.. Индексные структуры для быстрого поиска сходных символьных строк/ Д. А. Рачковский (стр.180-202) Кл.слова: расстояние редактирования,индексирование обратное,хэширование локально-чувствительное
Интересные статьи :
Найти похожие


6.

Вид документа : Однотомное издание
Шифр издания : 621.319/Д 946
Автор(ы) : Дэммер Дж. В. А., Норденберг Г. М.
Заглавие : Конденсаторы постоянной и переменной емкости
Выходные данные : Л.; М.: Госэнергоиздат, 1963
Колич.характеристики :315 с: граф., рис., схемы, табл.
Примечания : Пер. с англ.. - Библиогр.: с. 292-313
Цена : 01.31, 01.31, р.
УДК : 621.319.4
Ключевые слова (''Своб.индексиров.''): исторический обзор--характеристики--свойства--выбор--измерение --спецификации--типы--триммеры--виды повреждений--перспективы развития
Экземпляры : всего : аунл(2)
Свободны : аунл(2)
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 621.315/К 172
Автор(ы) : Калин, Николай Федорович, Казанцев, Михаил Лаврович
Заглавие : Изыскание и проектирование кабельных линий электропередачи 3-35 кв : учебное пособие
Выходные данные : М., Л.: Госэнергоиздат, 1958
Колич.характеристики :192 с: рис., табл.
Примечания : Библиогр.: с. 191
Цена : 00.66, 00.66, р.
УДК : 621.315.2(075.8)
Ключевые слова (''Своб.индексиров.''): учебные пособия--теплопроводы--коммуникации--спецификации--конфигурации сетей--прокладки линий--пересечения--муфты--оконцевание--заземление
Экземпляры :аунл(1)
Свободны : аунл(1)
Найти похожие

8.

Заглавие журнала :Доклады Томского государственного университета систем управления и радиоэлектроники -2014г.,N 4(34)
Интересные статьи :
Исаев В. М.. Современные радиоэлектронные системы терагерцового диапазона/ В. М. Исаев, И. Н. Кабанов, В. В. Комаров (стр.5-21) Кл.слова: электроника,диагностика,измерения
Малютин Н. Д.. Широкополосные дискретные недисперсионные фазовращатели на основе эффекта кратного изменения фазовой скорости в многосвязных полосковых структурах с существенно неуравновешенной электромагнитной связью при сохранении согласования в широкой полосе частот/ Н. Д. Малютин, А. Г. Лощилов, В. Н. Федоров (стр.22-30) Кл.слова: распространение волн,линии связанные,сдвиг фазовый
Буянов Ю. И.. Электродинамика ближней зоны короткого диполя/ Ю. И. Буянов (стр.31-33) Кл.слова: линии силовые,ток смещения,сила Ампера
Суровцев Р. С.. Распространение импульса в меандровой линии с неоднородным диэлектрическим заполнением без искажений его формы перекрестными наводками/ Р. С. Суровцев, А. М. Заболоцкий, Т. Р. Газизов (стр.34-38) Кл.слова: задержки погонные,моды четные,моды нечетные
Комнатнов М. Е.. О совместных климатических и электромагнитных испытаниях радиоэлектронной аппаратуры/ М. Е. Комнатнов, Т. Р. Газизов (стр.39-45) Кл.слова: совместимость электромагнитная,условия эксплуатации,исследования
Коколов А. А.. Исследование нелинейной зависимости сопротивления стока в GaAs и GaN HEMT-транзисторах/ А. А. Коколов, Л. И. Бабак (стр.46-51) Кл.слова: модели малосигнальные,модели нелинейные,метод экстракции
Жидик Ю. С.. Технология формирования покрытий на светодиодных гетероструктурах методом магнетронного распыления на примере нанесения пленок ITO/ Ю. С. Жидик, П. Е. Троян (стр.52-55) Кл.слова: подложки,бомбардировка электронная,пленки
Казаков А. В.. Структура поверхности полипропилена при облучении импульсным электронным пучком в форвакуумном диапазоне давлений/ А. В. Казаков, А. С. Смаилов, В. А. Бурдовицин (стр.56-59) Кл.слова: полимеры,источник электронов плазменный,изменения поверхности
Тюньков А. В.. Генерация ионов магния в пучковой плазме форвакуумного электронного источника/ А. В. Тюньков, Ю. Г. Юшков, Д. Б. Золотухин (стр.60-62) Кл.слова: источник электронов плазменный,изотопы стабильные,масс-спектрометры квадрупольные
Пономарев О. Г.. Выбор инструментов кодирования стандарта H.265/HEVC для аппаратной реализации системы сжатия ключевых видеокадров/ О. Г. Пономарев, С. Е. Стрельников, М. П. Шарабайко (стр.65-71) Кл.слова: предсказание пространственное,видеокодирование,степень сжатия
Мельников Г. А.. Метод построения деревьев регрессии на основе муравьиных алгоритмов/ Г. А. Мельников, В. В. Губарев (стр.72-78) Кл.слова: обучение машинное,регрессия нелинейная,деревья моделей
Кравченко А. Н.. Методы проектирования параллельного BCH/CRC-кодера/ А. Н. Кравченко (стр.79-84) Кл.слова: регистр сдвига,матрица порождающая,метод пространства состояний
Задорин А. С.. Интерферометрический контроль целостности данных в системе квантового распределения ключей с временным кодированием/ А. С. Задорин, Д. А. Махорин (стр.85-88) Кл.слова: кубиты проверочные,контроль интерференционный,защита
Перминова М. Ю.. Алгоритмы рекурсивной генерации ограниченных разбиений натурального числа/ М. Ю. Перминова, В. В. Кручинин (стр.89-94) Кл.слова: нумерация,сложность временная,дерево разбиений
Кручинин Д. В.. Программное обеспечение для анализа тестов простоты натурального числа/ Д. В. Кручинин, Ю. В. Шабля (стр.95-99) Кл.слова: функции производящие,анализ,сравнение
Бухтияров И. В.. Сети Петри как инструмент спецификации специализированной сервис-ориентированной информационной среды для производства программных продуктов/ И. В. Бухтияров (стр.100-108) Кл.слова: деятельность проектная,модель функциональная,моделирование имитационное
Катаев М. Ю.. Построение скелетной модели фигуры человека по потоку изображений/ М. Ю. Катаев, А. П. Коробко (стр.109-113) Кл.слова: анализ движений,обработка,модель скелетная
Абрамов М. О.. Влияние методов предобработки на восстановление фигуры движущегося человека из потока изображений/ М. О. Абрамов, М. Ю. Катаев (стр.114-119) Кл.слова: распознавание движения,алгоритмы,анализ
Демьянович Д. Н.. Исследование СВЧ-тракта синтезатора и разработка его модели при проектировании системы АРУ/ Д. Н. Демьянович, О. С. Вадутов, А. И. Солдатов (стр.120-126) Кл.слова: аттенюаторы управляемые,характеристики статические,связь параметрическая обратная
Жмудь В. А.. Проектирование полных многоканальных ПД-регуляторов методом численной оптимизации при моделировании/ В. А. Жмудь, В. М. Семибаламут (стр.127-132) Кл.слова: автоматика,запаздывание,функция целевая
Сонькин М. А.. Системы мониторинга и оповещения о чрезвычайных ситуациях в регионах разработки нефтегазовых месторождений/ М. А. Сонькин, Д. М. Сонькин, В. З. Ямпольский (стр.133-137) Кл.слова: пожары лесные,связь цифровая,терминалы интеллектуальные
Добуш И. М.. Исследование методов деэмбеддинга «Open», «Open-Short», «Open-Short-Thru» для зондовых измерений параметров рассеяния элементов СВЧ-монолитных интегральных схем/ И. М. Добуш (стр.138-145) Кл.слова: S-параметры,характеризация,измерения зондовые
Дмитриев В. М.. Вольтамперометрический комплекс для анализа химических растворов на основе многоуровневой компьютерной модели/ В. М. Дмитриев, Т. В. Ганджа, В. В. Ганджа (стр.146-150) Кл.слова: вольтамперометрия,инструменты виртуальные,приборы виртуальные
Абраменко А. Ю.. Полифазная реализация полиномиального интерполяционного фильтра/ А. Ю. Абраменко (стр.151-154) Кл.слова: разложение полифазное,обработка сигналов цифровая,интерполяция сигнала
Бураков В. В.. Оценивание и выбор эффективных технологий автоматизированного управления активными подвижными объектами на основе комплексного моделирования/ В. В. Бураков, В. А. Зеленцов, С. А. Потрясаев (стр.155-164) Кл.слова: мониторинг проактивный,модели управления,моделирование комплексное
Капилевич В. Л.. Комбинированный алгоритм для отображения навигационных данных в высоконагруженных web-ориентированных пассажирских информационных системах/ В. Л. Капилевич, Д. М. Сонькин, А. О. Игумнов (стр.165-170) Кл.слова: визуализация,мониторинг транспорта,координаты
Комагоров В. П.. Система адаптивного управления разработкой «интеллектуального» месторождения/ В. П. Комагоров, О. Б. Фофанов, Э. М. Мехтиев (стр.171-175) Кл.слова: информация геолого-технологическая,мониторинг,управление адаптивное
Мицель А. А.. Динамическая модель управления инвестиционным портфелем с линейным критерием качества/ А. А. Мицель, Н. П. Красненко (стр.176-182) Кл.слова: управление оптимальное,программирование линейное,портфель эталонный
Боровской И. Г.. Численный расчет перетекания невязкого газа через диафрагму методом дробной размерности/ И. Г. Боровской, Е. А. Шельмина (стр.183-186) Кл.слова: системы уравнений гиперболические,течения пространственные,подход квазимногомерный
Киселев А. В.. Анализ теплового состояния первичного источника электрической энергии забойной телеметрической системы/ А. В. Киселев, А. Г. Гарганеев, О. С. Качин (стр.189-193) Кл.слова: генераторы скважинные,магниты постоянные,моделирование
Михальченко Г. Я.. Двойная модуляция электрической энергии в частотно-регулируемом электроприводе/ Г. Я. Михальченко, Д. С. Муликов (стр.194-198) Кл.слова: инверторы напряжения автономные,выпрямители активные,электропривод
Серов А. Б.. Определение связи между числами пазов статора и полюсов ротора вентильного магнитоэлектрического двигателя методом планирования эксперимента/ А. Б. Серов, А. Б. Цукублин, А. Г. Гарганеев (стр.199-202) Кл.слова: момент вращения,пазы статора,полюса ротора
Ивойлов Е. В.. Изменение свойств индуктивности при замыкании витков на корпус/ Е. В. Ивойлов, С. М. Слободян (стр.203-208) Кл.слова: замыкание короткое,витки,модели
Абрамчук С. И.. Энергетическая эффективность электрического обогревателя/ С. И. Абрамчук, А. В. Пуговкин (стр.211-214) Кл.слова: энергия тепловая,метод динамический,коэффициент теплоотдачи
Майстренко А. В.. Косвенное измерение расхода жидкости, перекачиваемой насосными агрегатами/ А. В. Майстренко, А. А. Светлаков (стр.215-219) Кл.слова: расходомеры,полиномы,характеристики напорные
Учаев В. Н.. Согласование рабочего инструмента с ультразвуковой колебательной системой для введения иглы в биологическую ткань при реализации локальной гипертермии/ В. Н. Учаев, А. В. Кобзев, В. Д. Семенов (стр.220-223) Кл.слова: ультразвук,анализ модальный,пьезоэлементы
Литвинов А. В.. Электротепловая модель локального объёма живой ткани для исследования тепловых процессов при реализации локальной гипертермии/ А. В. Литвинов, А. В. Кобзев, В. Д. Семенов (стр.224-227) Кл.слова: аналогия электротепловая,теплопередача,теплоемкость
Хуторной А. Ю.. Конструктивные особенности инструмента для реализации способа высокотемпературного воздействия на костную ткань/ А. Ю. Хуторной, А. В. Кобзев, В. Д. Семенов (стр.228-231) Кл.слова: нагрев,модели тепловые,нагреватели
Интересные статьи :
Найти похожие


9.

Заглавие журнала :Кибернетика и системный анализ -2013г.,N 1
Интересные статьи :
Чеботарев А. Н.. Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L/ А. Н. Чеботарев (стр.3-10) Кл.слова: языки программирования,кванторы,фиктивные состояния
Белан С. Н.. Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах/ С. Н. Белан, Р. Л. Моторнюк (стр.11-18) Кл.слова: элементы,линейность,сдвиги
Елфимова Л. Д.. Новые клеточные методы умножения матриц/ Л. Д. Елфимова (стр.19-29) Кл.слова: линейная алгебра,алгоритмы,матрицы
Голодников А. Н.. Интегрированное моделирование для управления состоянием продовольственной безопасности в Украине. I. Модель для управления экономической доступностью продуктов питания/ А. Н. Голодников, Ю. М. Ермольев, Т. Ю. Ермольева (стр.30-42) Кл.слова: модели спроса,регулирование,цены
Гупал А. М.. Свойства процедур сепарации для дискретных объектов в моделях байесовских сетей/ А. М. Гупал, Н. А. Гупал (стр.43-48) Кл.слова: сепарация,Маркова условие,дискретные объекты
Корхин А. С.. Об использовании априорной информации в регрессионном анализе/ А. С. Корхин (стр.49-64) Кл.слова: сочетания,ограничения,случайные величины
Меликов А. З.. Численный метод анализа моделей систем массового обслуживания со скачкообразными приоритетами/ А. З. Меликов, Л. А. Пономаренко, Сон Ким Чи (стр.65-72) Кл.слова: очереди,буфера,каналы
Мащенко С. О.. Задача математического программирования с нечетким множеством индексов ограничений/ С. О. Мащенко (стр.73-81) Кл.слова: принятие решений,множества,неравенства
Ряшко Л. Б.. Спектральный критерий стохастической устойчивости инвариантных многообразий/ Л. Б. Ряшко, И. А. Башкирцева (стр.82-90) Кл.слова: конусы,формулы,векторы
Воронин А. Н.. Компромиссный метод в задачах условной оптимизации/ А. Н. Воронин (стр.91-95) Кл.слова: целевые функции,схемы,программирование
Марценюк В. П.. Метод построения оценки устойчивости и компартментной модели с запаздыванием/ В. П. Марценюк, Н. М. Гандзюк (стр.96-101) Кл.слова: векторы,функции,матричные формы
Емец О. А.. Доказательство сходимости итерационного метода решения задачи комбинаторной оптимизации игрового типа на размещениях/ О. А. Емец, Е. В. Ольховская (стр.102-114) Кл.слова: координаты,множества,математические модели
Дунаев Б. Б.. Оптимизация роста реального валового внутреннего продукта/ Б. Б. Дунаев (стр.115-128) Кл.слова: экономика,рынки,прибыли
Лаврищева Е. М.. Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем/ Е. М. Лаврищева (стр.129-144) Кл.слова: комплексы,вариабельность,сборки
Шелестов А. Ю.. Информационная система агромониторинга на основе геопространственных данных/ А. Ю. Шелестов, А. Н. Кравченко, С. В. Скакун (стр.145-154) Кл.слова: геопорталы,спутниковые данные,интерфейсы
Скуратовский Р. В.. Метод быстрого таймерного кодирования текстов/ Р. В. Скуратовский (стр.154-160) Кл.слова: блочное кодирование,архивация
Баркалов А. А.. Модификация системы адресации микрокоманд в устройстве управления с разделением кодов/ А. А. Баркалов, Л. А. Титаренко, А. Н. Мирошкин (стр.161-171) Кл.слова: интегральные схемы,адресация,алгоритмы
Панченко Б. Е.. Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями/ Б. Е. Панченко, А. М. Назаренко (стр.172-182) Кл.слова: плотность,модули сдвига,время
Интересные статьи :
Найти похожие


10.

Вид документа : Однотомное издание
Шифр издания : 681.3/Д 303
Автор(ы) : Деметрович, Янош, Кнут, Элод, Радо, Петер
Заглавие : Автоматизированные методы спецификации : научное издание
Выходные данные : М.: Мир, 1989
Колич.характеристики :115 с
Примечания : Пер. с англ. - Библиогр.: с. 112-115
Цена : Б.ц.
УДК : 681.3.068
Ключевые слова (''Своб.индексиров.''): вычислительные системы--спецификация
Экземпляры : всего 2: счз1(1)
Свободны : счз1(1)
Найти похожие

11.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Немеров, Александр Александрович, Бойченко, Иван Валентинович
Заглавие : Применение технологии UniTESK для тестирования сервис-ориентированных систем
Место публикации : Томский государственный университет систем управления и радиоэлектроники. Доклады Томского государственного университета систем управления и радиоэлектроники: периодический научный журнал/ Томский государственный университет систем управления и радиоэлектроники. - Томск: Издательство ТУСУР, 2011. - N 2(24), Ч. 2. - С. 212-217. - ISSN 1818-0442 (Шифр Д301668/2011/2(24)). - ISSN 1818-0442
Ключевые слова (''Своб.индексиров.''): тесты--сценарии--спецификации
Полный текст/внешний ресурс   (постраничный просмотр) : 2011_24_2nemerov_boychenko.pdf или скачать 
Найти похожие

12.

Заглавие журнала :Доклады Томского государственного университета систем управления и радиоэлектроники -2011г.,N 2(24)Ч.2
Интересные статьи :
Антипов В. Б.. Получение наноуглеродных структур из природного газа в плазме СВЧ-разряда/ В. Б. Антипов, Ю. В. Медведев, С. А. Фирсов (стр.7-9) Кл.слова: утилизация,конверсия,магнетроны
Ющенко А. Ю.. СВЧ-монолитные интегральные схемы широкополосных коммутаторов и ограничителей мощности на основе гетероструктурных арсенидгаллиевых pin-диодов/ А. Ю. Ющенко, Г. И. Айзенштат, Е. А. Монастырев (стр.10-16) Кл.слова: сопротивление,потери,кристаллы
Коколов А. А.. Построение и характеристики СВЧ монолитных усилителей мощности на основе полупроводниковых материалов GaAs и GaN/ А. А. Коколов, М. В. Черкашин (стр.17-23) Кл.слова: связь,галлий,транзисторы
Коколов А. А.. Схемы сложения мощности для монолитных интегральных СВЧ-усилителей/ А. А. Коколов, Л. И. Бабак (стр.24-30) Кл.слова: транзисторы,сумматоры,классификация
Михайлович С. В.. Построение масштабируемой шумовой модели МНЕМТ на GaAs c Lg от 50 до 250 нм/ С. В. Михайлович, Ю. В. Федоров, А. С. Бугаев (стр.31-35) Кл.слова: схемы,коэффициенты,транзисторы
Доценко О. А.. Микроволновые характеристики композиционных радиоматериалов на основе полимера и углеродных структур/ О. А. Доценко, В. И. Сусляев, В. Л. Кузнецов (стр.36-40) Кл.слова: проницаемость,перколяция,наноматериалы
Ерофеев Е. В.. Исследование термостабильности параметров бездрагметалльного GaAs рНЕМТ транзистора с металлизацией на основе CuGe-соединений/ Е. В. Ерофеев, А. И. Казимиров, В. А. Кагадей (стр.41-46) Кл.слова: германиды,литография,затворы
Романовский М. Н.. Методика расчета теплопереноса в светоизлучающих диодах на основе GaN/ М. Н. Романовский, С. Г. Еханин (стр.47-51) Кл.слова: температура,дефекты,перегрев
Саврук Е. В.. Получение периодических наноструктур γ-Al2O3 при воздействии лазерного излучения/ Е. В. Саврук (стр.52-54) Кл.слова: керамика,оплавление,кристаллизация
Смирнов С. В.. Температурная зависимость спектров излучения светодиодов белого свечения на основе нитрида галлия и его твердых растворов/ С. В. Смирнов, Е. В. Саврук, Ю. С. Гончарова (стр.55-58) Кл.слова: гетероструктуры,люминофоры,свет
Сусляев В. И.. Электромагнитные характеристики композиционных радиоматериалов на основе наноразмерных наноструктурных наполнителей/ В. И. Сусляев, О. А. Доценко, В. Л. Кузнецов (стр.59-63) Кл.слова: проницаемость,гексаферриты,порошки
Данилина Т. И.. Создание микрорельефных поверхностей в просветляющих оптических покрытиях для повышения внешней квантовой эффективности синих светодиодов на основе GaN/ Т. И. Данилина, П. Е. Троян, И. А. Чистоедова (стр.64-67) Кл.слова: литография,наноострия,спектры
Казимиров А. И.. Формирование медно-германиевого соединения низкотемпературной обработкой в потоке атомарного водорода/ А. И. Казимиров, Е. В. Ерофеев, В. А. Кагадей (стр.68-72) Кл.слова: пленки,диффузия,сопротивление
Жидик Ю. С.. Расчет теплоотводящего и несущего покрытия при изготовлении светодиодов/ Ю. С. Жидик, П. Е. Троян, Д. Д. Каримбаев (стр.73-76) Кл.слова: температура,напряжения,инвар
Сахаров Ю. В.. Исследование пористых пленок диоксида кремния/ Ю. В. Сахаров, П. Е. Троян (стр.77-80) Кл.слова: углерод,магнетрон,мишени
Астахов А. А.. Оптимизация тепловых режимов в конструкциях световых приборов на полупроводниковых источниках света/ А. А. Астахов, Д. Д. Каримбаев, А. О. Мисюнас (стр.81-89) Кл.слова: светодиоды,платы,теплопроводность
Добуш И. М.. "Визуальное" проектирование СВЧ-усилителей с корректирующими двухполюсниками с учетом влияния температуры на активные и пассивные элементы/ И. М. Добуш, М. В. Черкашин, Л. И. Бабак (стр.90-98) Кл.слова: методики,синтез,термостабильность
Добуш И. М.. Программное обеспечение для автоматизации измерений, деэмбеддинга и построения линейных моделей СВЧ полевых транзисторов/ И. М. Добуш, А. В. Степачева, А. А. Коколов (стр.99-105) Кл.слова: модули,параметры,системы
Черкашин М. В.. Проектирование монолитного СВЧ-усилителя миллиметрового диапазона волн/ М. В. Черкашин (стр.106-111) Кл.слова: транзисторы,каскады,годографы
Кулешов Ю. В.. Выращивание и монодоменизация кристаллов семейства КТР/ Ю. В. Кулешов, В. А. Краковский, Л. Я. Серебренников (стр.112-115) Кл.слова: кристаллизация,травление,затравка
Паргачев И. А.. Электрооптические модуляторы лазерного излучения на основе высокоомных кристаллов КТР/ И. А. Паргачев, Л. Я. Серебренников, А. Е. Мандель (стр.116-118) Кл.слова: напряжение,добротность,модуляции
Паргачев И. А.. Получение и электрофизические свойства кристаллов GTR-KTP/ И. А. Паргачев, В. А. Краковский, Л. Я. Серебренников (стр.119-123) Кл.слова: электропроводность,коэффициенты,лазеры
Парханюк А. Н.. Пироэлектрическая компенсация дифракции световых пучков в кристаллах ниобата лития/ А. Н. Парханюк, А. О. Маркин, В. М. Шандаров (стр.124-127) Кл.слова: пироэлектрики,эксперименты,нелинейность
Смычков С. А.. Исследование стойкости планарных волноводов Zn:LiNbO3 к оптическому излучению с длиной волны 532 нм/ С. А. Смычков, М. В. Бородин, В. В. Щербина (стр.128-130) Кл.слова: лазеры,дифракция,цинк
Тренихин П. А.. Исследование возможности продольной оптической модуляции одномерных фоторефрактивных фотонных решеток в ниобате лития/ П. А. Тренихин, В. М. Шандаров, Ф. Чен (стр.131-134) Кл.слова: волноводы,кристаллы,дифракция
Орликов Л. Н.. Исследование способов управления генерацией электронного потока из ниобата лития при термоциклировании/ Л. Н. Орликов, В. Я. Романов, С. И. Арестов (стр.135-138) Кл.слова: разряды,плазма,электроны
Задорин А. С.. Скорость генерации кода в системе квантового распределения ключей/ А. С. Задорин, А. В. Максимов, Д. А. Махорин (стр.139-141) Кл.слова: криптография,фотодиоды,фотоны
Войцеховский А. В.. Наблюдение и анализ излучения в диапазоне 2,5-6 мкм в одиночной квантовой яме Cd0,24Hg0,76Te толщиной 12,5 нм при оптической накачке/ А. В. Войцеховский, Д. И. Горн, И. И. Ижнин (стр.142-146) Кл.слова: фотолюминесценция,монохроматоры,спектры
Постоев А. И.. Высокоскоростной видеорегистратор с использованием "системы на кристалле" на основе ПЛИС архитектуры FPGA/ А. И. Постоев, А. А. Соловьев, В. И. Иордан (стр.147-150) Кл.слова: видеосенсоры,фотоматрицы,изображения
Романов И. С.. Светодиодные структуры InGaN/GaN, изготовленные методом газофазной эпитаксии из металлоорганичеких соединений/ И. С. Романов, А. А. Мармалюк, А. В. Войцеховский (стр.151-153) Кл.слова: галлий,фотолюминесценция,ямы
Антонишен И. В.. Применеие модифицированной функции гиперболического тангенса для аппроксимации вольт-амперных характеристик светоизлучающих диодов/ И. В. Антонишен, А. И. Кох, В. И. Туев (стр.154-156) Кл.слова: напряжения,коэффициенты,погрешности
Климов А. С.. Особенности функционирования плазменного электронного источника при повышенных давлениях/ А. С. Климов, А. С. Жигалкина, В. А. Бурдовицин (стр.157-160) Кл.слова: форвакуум,катоды,разряды
Юшков Ю. Г.. Распределение плотности тока по сечению импульсного электронного пучка в форвакууме/ Ю. Г. Юшков, Е. М. Окс, А. В. Медовник (стр.161-163) Кл.слова: разряды,катоды,плазма
Пуговкин А. В.. Энергетические характеристики светодиодов и светодиодных ламп/ А. В. Пуговкин, В. С. Степной, А. Ю. Антонова (стр.164-168) Кл.слова: модели,мощность,сопротивление
Гриценко Ю. Б.. Типовые архитектурные решения геоинформационных систем ведения инженерной инфраструктуры предприятия/ Ю. Б. Гриценко, О. И. Жуковский (стр.171-175) Кл.слова: технологии,планы,карты
Жуковский О. И.. Типология инженерных сетей и классификации задач их эксплуатации/ О. И. Жуковский, Ю. Б. Гриценко (стр.178-180) Кл.слова: инвентаризация,паспортизация,моделирование
Карминская Т. Д.. Математическая модель оценки показателей качества деятельности системы однородных объектов/ Т. Д. Карминская, В. З. Ковалев, П. И. Ципорин (стр.181-184) Кл.слова: энтропия,матрицы,оптимизация
Бортников Е. В.. Реализация протокола IEEE 802.16 WiMAX на основе событийно-управляемой архитектуре/ Е. В. Бортников, И. В. Бойченко (стр.185-188) Кл.слова: сети,доступ,модули
Кориков А. М.. Технология проектирования адаптивной системы идентификации и прогноза производственных процессов в условиях неопределенности/ А. М. Кориков, В. Л. Сергеев, Д. В. Севостьянов (стр.189-194) Кл.слова: прогнозы,скважины,месторождения
Хоай Л.. Разработка семантических электронных библиотек/ Л. Хоай, А. Ф. Тузовский (стр.195-199) Кл.слова: технологии,архитектура,документы
Белобрюхов М. С.. Система машинного зрения для киберфутбола/ М. С. Белобрюхов, А. В. Романенко (стр.200-203) Кл.слова: образы,распознавание,роботы
Акимов С. В.. Анализ проблемы автоматизации структурно-параметрического синтеза/ С. В. Акимов (стр.204-211) Кл.слова: модели,множества,алгоритмы
Немеров А. А.. Применение технологии UniTESK для тестирования сервис-ориентированных систем/ А. А. Немеров, И. В. Бойченко (стр.212-217) Кл.слова: тесты,сценарии,спецификации
Сальников А. С.. Программное обеспечение для хранения результатов измерений СВЧ МИС и статистического анализа в составе системы INDESYS-MS/ А. С. Сальников, И. М. Добуш, Е. П. Каратаев (стр.218-223) Кл.слова: схемы,данные,базы
Воропаев М. В.. Метод определения теплопроводности диэлектрических слоев для светодиодных матриц видимого диапазона/ М. В. Воропаев, Д. Д. Каримбаев, Ю. А. Хотненок (стр.224-227) Кл.слова: измерения,сопротивление,металлизация
Окишев А. С.. Методы квазилинеаризации с учетом высших производных в задаче параметрической идентификации автоматизированной системы управления ядерным реактором/ А. С. Окишев (стр.228-231) Кл.слова: кинетика,модели,качество
Муслимова Н.И.. Автоматизированная система поквартирного учета тепловой энергии/ Н. И. Муслимова, Д. Н. Ушарова, А. В. Егоров (стр.232-237) Кл.слова: энергосбережение,теплоснабжение,модели
Самойлов Д. О.. Беспроводная система охранно-пожарной сигнализации с использованием технологий ZigBee и GSM/ Д. О. Самойлов, В. Д. Семенов, А. Б. Упаев (стр.238-240) Кл.слова: сети,роутеры,координаторы
Ручай А. Н.. Улучшение надежности текстозависимой верификации диктора на основе формантного метода с помощью нового метода сегментации речевого сигнала/ А. Н. Ручай (стр.241-246) Кл.слова: распознавание,сингулярность,ошибки
Кручинин Д. В.. Метод построения алгоритмов проверки простоты натуральных чисел для задач защиты информации/ Д. В. Кручинин, В. В. Кручинин (стр.247-251) Кл.слова: функции,суперпозиции,генерация
Куршин М. Л.. Выявление электромагнитных каналов утечки речевой информации в ближней зоне на основе тестовых корреляционных методов/ М. Л. Куршин, В. А. Трушин (стр.252-254) Кл.слова: радиомониторинг,антенны,радиопередатчики
Варлатая С. К.. Алгоритм создания и введения в эксплуатацию информационных систем персональных данных/ С. К. Варлатая, А. В. Белев, С. В. Ширяев (стр.255-258) Кл.слова: мероприятия,защита,документы
Исхаков С. Ю.. Разработка структуры системы управления сетью/ С. Ю. Исхаков, А. А. Шелупанов (стр.259-262) Кл.слова: серверы,компьютеры,модули
Додохов А. Л.. Исследование применения СУБД Oracle для защиты персональных данных/ А. Л. Додохов, А. Г. Сабанов (стр.263-266) Кл.слова: шифрование,ключи,алгоритмы
Сабанов А. Г.. Аутентификация при электронном обмене конфиденциальными документами/ А. Г. Сабанов (стр.267-270) Кл.слова: идентификация,подписи,ключи
Гребенщиков С. А.. Совершенствование системы оценки выполнения портфеля проектно-изыскательских работ при обустройстве месторождений нефти и газа за счет внедрения информационной системы и применения комплексной методики оценки/ С. А. Гребенщиков, В. А. Силич, О. Б. Фофанов (стр.271-275) Кл.слова: планирование,контроль,проекты
Гриценко Ю. Б.. Анализ процесса эвакуации людей нечеткими временными сетями Петри/ Ю. Б. Гриценко, А. А. Голубева (стр.276-281) Кл.слова: безопасность,сети,моделирование
Катаев М. Ю.. Автоматизированная программная система управления бизнес-процессами предприятия: задачи, описание, структура/ М. Ю. Катаев, А. А. Емельяненко, В. А. Емельяненко (стр.282-289) Кл.слова: подходы,моделирование,модули
Копаница Г. Д.. Разработка системы сбора и анализа данных медицинской статистики на основе стандарта передачи медицинских данных ISO 13606/ Г. Д. Копаница, В. А. Силич (стр.290-294) Кл.слова: здравоохранение,показатели,архитектура
Силич В. А.. Построение информационной системы поддержки принятия решений при выборе вида геолого-технического мероприятия на нефтедобывающей скважине/ В. А. Силич, В. П. Комагоров, А. О. Савельев (стр.295-299) Кл.слова: пласты,гидроразрывы,нефть
Копытов Е. Ю.. Оценка периодичности профилактического обслуживания технических систем на основе модели полумарковского процесса/ Е. Ю. Копытов, А. А. Любченко (стр.300-305) Кл.слова: моделирование,надежность,отказ
Хлебус Е. А.. Объектно-ориентированное проектирование измерительной информационной системы для контроля радиационной обстановки/ Е. А. Хлебус (стр.306-310) Кл.слова: наблюдения,датчики,измерения
Сенченко П. В.. Анализ программно-технологических решений информационно-аналитической поддержки управления социально-экономическим развитием территориальных образований/ П. В. Сенченко, А. А. Сидоров (стр.311-317) Кл.слова: мониторинг,оценка,системы
Бараксанов Д. Н.. Интернет-площадка для продвижения прикладных программных продуктов/ Д. Н. Бараксанов (стр.318-321) Кл.слова: структура,заявки,подсистемы
Кречетов И. А.. Моделирование и технология онтологического подхода при разработке образовательного контента/ И. А. Кречетов, В. В. Кручинин (стр.322-325) Кл.слова: знания,базы,обучение
Романенко В. В.. Виртуальный ассистент для студента дистанционной формы обучения/ В. В. Романенко (стр.326-330) Кл.слова: речь,синтез,мимика
Дмитриев В. М.. Автоматизированная система онлайн-проектирования/ В. М. Дмитриев, В. В. Ганджа (стр.331-333) Кл.слова: конференции,совещания,блоки
Ганджа Т. В.. Задачи и архитектура подсистемы документирования исследований в среде многоуровневого моделирования МАРС/ Т. В. Ганджа, С. А. Панов (стр.334-338) Кл.слова: системы,документы,компоненты
Интересные статьи :
Найти похожие


13.

Заглавие журнала :Кибернетика и системный анализ -2012г.,N 2
Интересные статьи :
Сергиенко И. В.. О развитии научных идей Б. Н. Пшеничного в области оптимизации и математической теории управления/ И. В. Сергиенко, А. А. Чикрий (стр.3-28) Кл.слова: производные,отображения,экстремумы
Норкин В. И.. Оптимизация финансового портфеля на основе принципа безопасности/ В. И. Норкин, С. В. Бойко (стр.29-41) Кл.слова: доходность,риски,границы
Герасин С. Н.. Качественный анализ одного класса популяционных моделей с комменсальным взаимодействием/ С. Н. Герасин, С. В. Яковлев, И. Г. Яловега (стр.42-49) Кл.слова: устойчивость,анализ,состояние
Марценюк В. П.. Построение оценок решений в модели противоопухолевого иммунитета с импульсными возмущениями/ В. П. Марценюк, И. Е. Андрущак, И. С. Гвоздецкая (стр.50-54) Кл.слова: системы,медицина,существование
Дунаев Б. Б.. Монетарное регулирование равновесия экономики/ Б. Б. Дунаев (стр.55-68) Кл.слова: труд,капитал,инфляция
Михалевич В. М.. О двух критериях при многократном выборе решений/ В. М. Михалевич (стр.68-79) Кл.слова: системы,проблемы,модели
Воронин А. Н.. Экспертные модели векторной оптимизации/ А. Н. Воронин (стр.80-85) Кл.слова: полиномы,квадраты,схемы
Донской В. И.. Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей/ В. И. Донской (стр.86-96) Кл.слова: функции,сложность,размерность
Михайлюк В. А.. Реоптимизация задачи о максимальном k-покрытии: порог отношения аппроксимации/ В. А. Михайлюк (стр.97-104) Кл.слова: алгоритмы,приближение,качество
Скобелев В. В.. О двух последовательностях множеств отображений абстрактных множеств в Дедекиндово кольцо/ В. В. Скобелев (стр.105-112) Кл.слова: кольца,матрицы,остатки
Олейник Ан. А.. Агентные технологии для отбора информативных признаков/ Ан. А. Олейник, Ал. А. Олейник, С. А. Субботин (стр.113-125) Кл.слова: агенты,интеллект,отбор
Лювов М. С.. Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов/ М. С. Лювов, В. А. Крекнин (стр.126-140) Кл.слова: анализ,генерация,программы
Бабенко Л. П.. Как понять программу. Характеристический анализ современных подходов к спецификации программ/ Л. П. Бабенко (стр.140-150) Кл.слова: веб - сервис,интерфейсы,функциональность
Акуловский В. Г.. Алгебра алгоритмов, базирующаяся на данных/ В. Г. Акуловский (стр.151-166) Кл.слова: модели ЭВМ,данные,конструкции
Левин В. И.. Синтез логических многополюсников с заданной динамикой выходных процессов/ В. И. Левин (стр.167-176) Кл.слова: логика,синтез,элементы
Баркалов А. А.. Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС/ А. А. Баркалов, Л. А. Титаренко, А. А. (мл.) Баркалов (стр.177-187) Кл.слова: блоки,память,процессы
Интересные статьи :
Найти похожие


14.

Заглавие журнала :Приборостроение -2011г. т.54,N 8
Интересные статьи :
Оводенко. Радиозаметность антенных окон гиперзвуковых летательных аппаратов/ Анатолий Аркадьевич Оводенко, Владимир Николаевич Красюк, Александр Роальдович Бестугин (стр.5-11) Кл.слова: решетки,диаграммы,рассеяние
Северов. Информационные характеристики микромеханических гироскопов на основе кремниевой технологии микроэлектромеханических систем/ Леонид Анатольевич Северов, Станислав Константинович Золотарев, Наталья Анатольевна Овчинникова (стр.12-22) Кл.слова: точность,датчики,резонаторы
Богословский. Дифференциальный чувствительный элемент на поверхностных акустических волнах с малым изменением частоты и фазовым кодированием/ Сергей Владимирович Богословский (стр.23-29) Кл.слова: датчики,давление,топологии
Лазарев. Дискриминационный метод повышения точности звездных координаторов с пзс-матрицами/ Игорь Владимирович Лазарев (стр.30-34) Кл.слова: ориентация,координаты,погрешности
Небылов. Принципы построения системы управления полетом тяжелого транспортного аппарата с экранным эффектом/ Александр Владимирович Небылов, Владимир Александрович Небылов (стр.35-43) Кл.слова: экранопланы,волны,устойчивость
Панферов. Математические модели сложных упругих аэрокосмических конструкций и программные средства для проектирования их систем управления/ Александр Иванович Панферов, Александр Владимирович Небылов, Сергей Александрович Бродский (стр.43-47) Кл.слова: полеты,синтез,вихри
Андреев. Системы управления малоразмерными дистанционно пилотируемыми самолетами/ Владимир Леонидович Андреев, Роман Вячеславович Иванов, Евгений Борисович Козлов (стр.48-57) Кл.слова: автопилот,камеры,приемники
Аро. Применение методов робастного управления для стабилизации метеорологической ракеты/ Хабиб Олалекан Аро (стр.57-61) Кл.слова: упругость,динамика,линеаризация
Богачева. Полунатурное моделирование системы антиюзовой автоматики самолета/ Надежда Анатольевна Богачева, Алексей Дмитриевич Жуков, Сергей Алексеевич Жуков (стр.62-65) Кл.слова: посадка,управление,тормоз
Иванов. Метод адаптивной оптимальной фильтрации сигналов в навигационных комплексах/ Юрий Павлович Иванов (стр.66-71) Кл.слова: неопределенность,помехи,авторегрессия
Михайлов. Автономная навигация космических кораблей с использованием одночастотного приемника сигналов GPS/ Николай Викторович Михайлов (стр.71-77) Кл.слова: полеты,спутники,измерения
Власов. Подход к спецификации структурной модификации кода бортового программного обеспечения/ Станислав Александрович Власов, Вадим Витальевич Бураков (стр.77-83) Кл.слова: рефакторинг,граф,продукция
Интересные статьи :
Найти похожие


15.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Варфоломеева О. А., Бахарев А. А., Черноусов Е. А., Ступаков С. В.
Заглавие : Нововведения спецификации CSS3 и обзор современных браузеров : доклад
Место публикации : Научная сессия ТУСУР-2011. - Томск: В-Спектр. - Ч. 4. - С.189-191: ил.
Примечания : Библиогр. в конце ст.
Ключевые слова (''Своб.индексиров.''): язык разметки--интерфейс--оформление веб-страниц
Полный текст/внешний ресурс   (постраничный просмотр) : 2011_varfolomeeva_070711.pdf или скачать 
Найти похожие

16.

Заглавие журнала :Искусственный интеллект и принятие решений -2011г.,N 2
Интересные статьи :
Стефанюк В. Л.. Творческое решение задач/ В. Л. Стефанюк (стр.3-11) Кл.слова: представление задач,интроспекция,пространственная версия
Жихарев А. Г.. Метод формализации организационных знаний/ А. Г. Жихарев, С. И. Маторин (стр.12-18) Кл.слова: системный подход,процессы,исчисление
Городецкий В. И.. Теория, модели, инфраструктуры и языки спецификации командного поведения автономных агентов. Обзор (Часть 1)/ В. И. Городецкий (стр.19-30) Кл.слова: командная работа,модель,инструменты
Дударов С. П.. Ячеечно-нейросетевые модели в задачах экологической безопасности/ С. П. Дударов, П. Л. Папаев, А. Н. Кудряшов (стр.31-39) Кл.слова: моделирование,аварийные выбросы,загрязнение
Болотов С. Ю,. Алгоритмы релевантного обратного вывода на основе решения продукционно-логических уравнений/ С. Ю, Болотов, С. Д. Махортов (стр.40-50) Кл.слова: решетка,верификация,знания
Бекяшева З. С.. Статистические свойства гипотез, порождаемых нейронной сетью со связями по схеме голографии Фурье/ З. С. Бекяшева, А. В. Павлов (стр.51-61) Кл.слова: творчество,мышление,ПВР
Интересные статьи :
Найти похожие


17.

Вид документа : Однотомное издание
Шифр издания : 681.3/К 170
Автор(ы) : Калайда, Владимир Тимофеевич, Романенко, Владимир Васильевич
Заглавие : Технология разработки программного обеспечения : учебное пособие для студентов специальности 230105
Выходные данные : Томск: ТМЦДО, 2007
Колич.характеристики :257 с.: ил., табл.
Коллективы : Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра автоматизированных систем управления
Примечания : Библиогр.: с. 257
Цена : 77.10, 128.50, р.
УДК : 681.3.06.002(075.8)
Ключевые слова (''Своб.индексиров.''): учебные пособия--дистанционное образование--спецификации--проектирование--кодирование--тестирование--эксплуатация--сопровождение
Экземпляры : всего 1: счз1(2), аунл(10)
Свободны : счз1(2), аунл(10)
Найти похожие

18.

Вид документа : Многотомное издание
Шифр издания : 1822(И)/
Автор(ы) : Bjørner, Dines
Заглавие : Software Engineering/ D. Bjørner. - (Texts in Computer Science). Vol. 2: Specification of Systems and Languages
Выходные данные : Berlin Heidelberg: Springer, 2006
Колич.характеристики :777[39] p.: 151 fig., 27 tabl.
Примечания : Reference: p. 751-777; Index: p. 721-749
ISBN, Цена 978-3-540-21150-1: 74.95 €
УДК : 681.3.06
Ключевые слова (''Своб.индексиров.''): программирование--языки спецификаций--спецификации--лингвистическое обеспечение
Экземпляры :аунл(1)
Свободны : аунл(1)
Найти похожие

19.

Вид документа : Многотомное издание
Шифр издания : 1821(И)/
Автор(ы) : Bjørner, Dines
Заглавие : Software Engineering/ D. Bjørner. - (Texts in Computer Science). Vol. 1: Abstraction and Modelling
Выходные данные : Berlin Heidelberg: Springer, 2006
Колич.характеристики :711[39] p.: 38 figur.
Примечания : Reference: p. 687-711; Index: p. 649-685
ISBN, Цена 9-783-540-21149-5: 74.95 €
УДК : 681.3.06
Ключевые слова (''Своб.индексиров.''): программирование--абстракции--моделирование--дискретная математика--языки спецификаций--спецификации
Экземпляры :аунл(1)
Свободны : аунл(1)
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : 681.3/Л 633
Автор(ы) : Лисков, Барбара, Гатэг, Джон
Заглавие : Использование абстракций и спецификаций при разработке программ : Пер. с англ.
Выходные данные : М.: Мир, 1989
Колич.характеристики :424 с.
Примечания : Предм. указ.: с. 418-420
ISBN, Цена 5-03-000489-0: 02.20, р.
УДК : 681.3.06
Ключевые слова (''Своб.индексиров.''): программирование--абстракции--декомпозиция программ--спецификации--разработка программ--clu
Экземпляры : всего 9: счз1(1), аунл(7)
Свободны : счз1(1), аунл(3)
Найти похожие

 1-20    21-23 
 
Статистика
за 03.07.2024
Число запросов 152183
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)