Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.41$<.>)
Общее количество найденных документов : 806
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа :
Шифр издания : vr=I874725
Заглавие : Innovations in Systems and Software Engineering
Выходные данные : Berlin: springer, 2005
ISSN: 16145046
ГРНТИ : 50.41
Ключевые слова (''Своб.индексиров.''): инновации в системном и программном обеспечении--системная интеграция--разработка программного обеспечения
Аннотация: 20131115
Найти похожие
2.
Вид документа :
Шифр издания : vr=I521678
Заглавие : Intelligent Data Analysis
Выходные данные : Amsterdam: IOS Press, 1997
ISSN: 1088467X
ГРНТИ : 28.23 + 27.23 + 50.41.25
Ключевые слова (''Своб.индексиров.''): интеллектуальный анализ данных--методы искусственного интеллекта--математический анализ--информационные технологии
Аннотация: 20131106
Найти похожие
3.
Вид документа :
Шифр издания : V4690
Заглавие : International Journal of Human-Computer Interaction
Выходные данные : London: Taylor and Francis Ltd, 1989
ISSN: 10447318
ГРНТИ : 50.41 + 28.23
Аннотация: Международный научный журнал. Статьи и обзоры по когнитивным, социальным, связанным с охраной здоровья и эргономическим аспектам интерактивного компьютинга; эмпирические работы, а также качественные и количественные исследования по теории взаимодействия «человек-машина»; пересмотр и переоценка ранее изданной литературы. Придаётся особое внимание человеку как элементу системы, в которой функция людей – управлять, работать с сетями, обмениваться информацией, использовать аппаратное и программное обеспечение в различных обстоятельствах его применения. Журнал рассчитан на профессионалов, интересующихся научными результатами и практическими достижениями в методах проектирования и современного использования компьютерных систем.
Найти похожие
4.
Вид документа :
Шифр издания : vr=E514918
Заглавие : EURASIP Journal on Embedded Systems
Выходные данные : Berlin: springer, 2005
ISSN: 16873963
ГРНТИ : 50.41
Найти похожие
5.
Вид документа :
Шифр издания : vr=H130207
Заглавие : Higher-Order and Symbolic Computation
Выходные данные : Berlin: springer,Б.г.
ISSN: 13883690
ГРНТИ : 50.05 + 50.41 + 27.23
Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления.
Найти похожие
6.
Вид документа :
Шифр издания : V4421
Заглавие : Human Computer Interaction
Выходные данные : London: Taylor and Francis Ltd, 1985
ISSN: 07370024
ГРНТИ : 50.41 + 28.23
Аннотация: Научный междисциплинарный журнал по взаимодействию «человек-машина» и созданию вычислительных технологий для пользователей. Статьи по теоретическим, эмпирическим и методологическим аспектам исследований работы пользователей с компьютером; методам проектировани компьютерных систем с учётом их воздействия на индивидуального пользователя, групповую работу, научные сообщества, а также на социальное и организационное окружение. В статьях объединяются исследования теории, методов и новых перспектив компьютерных, когнитивных и социальных наук и проектирования, исследование когнитивного поведения индивидуального пользователя и групп пользователей компьютеров, теоретических аспектов научных и социальных моделей сообщества пользователей; эмпирические исследования – от контролируемого лабораторного эксперимента до общих наблюдений; оценка существующих и практика проектирования новых компьютерных систем с помощью существующих и новых методов взаимодействия «человек-машина»; роль эмпирических методов в процессе проектирования.
Найти похожие
7.
Вид документа :
Шифр издания : vr=I009129
Заглавие : Internet of Things and Cloud Computing
Выходные данные : , 2013
ISSN: 23767715
ГРНТИ : 50.41
Найти похожие
8.
Вид документа :
Шифр издания : vr=J119485
Заглавие : Journal of Global Optimization
Выходные данные : Berlin: springer, 1991
ISSN: 09255001
ГРНТИ : 28.19.15 + 27.37 + 50.41.25
Аннотация: Статьи по проблемам глобальной оптимизации (в широком смысле - включая нелинейное, стохастическое и комбинаторное программирование, многоцелевое программирование, контроль, игры, геометрию и аппроксимацию, а также нелинейные системы, алгоритмы для параллельных архитектур и т.д.): теоретические и вычислительные аспекты поиска глобальных оптимумов и их применение в науке, технике и управлении; теория и алгоритмы глобальной оптимизации; численные эксперименты. Краткие сообщения о поставленных и решенных задачах глобальной оптимизации. Обзоры книг и специальных выпусков журналов.
Найти похожие
9.
Вид документа :
Шифр издания : vr=J730548
Заглавие : Journal of Graphics, GPU, and Game Tools
Выходные данные : London: Taylor and Francis Ltd, 2009
ISSN: 2151237X
ГРНТИ : 50.05.19 + 50.41.25
Аннотация: Научный журнал. Статьи по исследованиям и развитию компьютерной графики: моделирование; рендеринг (процесс получения изображения по модели с помощью компьютерной программы); анимация; взаимодействие; графическое моделирование в реальном времени; манипулирование изображениями; оригинальные методы и алгоритмы; оптимизация известных методов и алгоритмов; реализация известных исследовательских результатов; новые практические идеи и методы решения реальных задач; сравнительный анализ различных методов решения какой-либо одной задачи; создание эффективного интерфейса компьютерной графики, изображения или анимации.
Найти похожие
10.
Вид документа :
Шифр издания : vr= 517697
Заглавие : International Journal of Modern Computer Science and Engineering
Выходные данные : Weston, FL: Modern Scientific Press, 2012
ISSN: 23250798
ГРНТИ : 50.41
Найти похожие
11.
Вид документа :
Шифр издания : vr=I621756
Заглавие : International Journal of Systems Assurance Engineering and
Выходные данные : Berlin: springer, 2010
ISSN: 09756809
ГРНТИ : 50.41.17 + 50.43 + 28.15
Аннотация: Международный научный журнал. Статьи по теоретическим и практическим исследованиям в области технологий и управления системной гарантией: бесшовная интеграция разнотипных технологий для принятия приемлемых решений по поводу сложных технических проблем; моделирование и анализ больших инженерных систем; гарантия качества архитектуры программного обеспечения, встроенных систем, сенсорных сетей, web-служб, сервис-ориентированных систем; надёжность технического проектирования; неопределённость анализа; эксплуатационные характеристики систем с особыми требованиями к обеспечению безопасности; стратегии технической эксплуатации, организационные и экономические методы, бизнес-модели; безопасность систем; управление активами при информации о риске; вероятностная оценка безопасности; управление эксплуатацией больших инженерных систем; мониторинг условий, диагностика и поддержка принятия решений; проектирование отказоустойчивых систем; гарантия качества программного обеспечения и системная интеграция; надёжность энергосистем; управление жизненным циклом продукта, техническое сопровождение продукта; технология обслуживания и проектирование сервисов.
Найти похожие
12.
Вид документа :
Шифр издания : vr=I943797
Заглавие : International Journal on Software Tools for Technology Transfer
Выходные данные : Berlin: springer, 1997
ISSN: 14332779
ГРНТИ : 50.41
Аннотация: Статьи по всем аспектам вспомогательных программных средств для развития надежных и корректных компьютерных систем: методы проектирования, алгоритмы и т.д., создание и анализ программ: иерархические и структурные подходы, синтаксически ориентированные методы против семантических методов, синтез против верификации, формальная поддержка полного жизненного цикла системы, в т.ч. сбор требований, проектирование, реализация, верификация, сопровождение тестирования; анализ нефункциональных аспектов поведения систем (реальное время, вероятность, производительность); практические вопросы: функциональная характеристика, степень универсальности, простота использования программных средств, анализ конкретных проблем, промышленное использование и обратная связь; универсальные инструменты: парадигмы (полностью автоматизированные подходы против интерактивных подходов), вопросы проектирования (модулярность, эффективность, портативность, интегрируемость частей, возможность многократного использования), автоматическая поддержка (генераторы и интеграторы программных средств, построители интерфейса); пользовательские интерфейсы (графика, гипертекст, поиск). Задача журнала - показать во всех деталях самый современный уровень развития программных средств и методов для успешной передачи технологий из науки в промышленность.
Найти похожие
13.
Вид документа :
Шифр издания : vr=E965435
Заглавие : Empirical Software Engineering
Выходные данные : Berlin: springer, 1996
ISSN: 13823256
ГРНТИ : 50.41.25
Аннотация: Научно-технический журнал. Статьи по исследованиям в области проектирования прикладного программного обеспечения (ПО) с применением научных и эмпирических методов: управляемая моделями разработка ПО; изучение и оценка методов верификации и подтверждения достоверности, новых методов обеспечения качества и практики управления проектом; разработка, получение и сравнение моделей организации разработки ПО; разработка и оценка прогнозирующих моделей функциональной надежности ПО; разработка и сравнение методов составления сметы; применение и оценка методов искусственного интеллекта (обучение машин, информационная проходка, эволюционные алгоритмы) в проектировании ПО; смежные вопросы теории измерений, экспериментального проектирования, количественного моделирования, методов анализа. Отчеты о применении технологий создания ПО и их эффективности в промышленных условиях: организация, предметная область, проекты, продукты; процессы, методы, инструменты; оценка технологий; интерпретация результатов.
Найти похожие
14.
Вид документа :
Шифр издания : vr=B001458
Заглавие : Balkan Journal of Electrical and Computer Engineering
Выходные данные : , 2013
ISSN: 2147284X
ГРНТИ : 50.41
Ключевые слова (''Своб.индексиров.''): компьютерная, технология--программное, обеспечение
Найти похожие
15.
Вид документа :
Шифр издания : vr= 677750
Заглавие : Business Systems Research
Выходные данные : , 2010
ISSN: 18478344
ГРНТИ : 50.41
Найти похожие
16.
Вид документа :
Шифр издания : vr=C248762
Заглавие : Canadian Journal on Image Processing and Computer Vision
Выходные данные : Toronto: A M Publishers Corp., 2010
ISSN: 19231717
ГРНТИ : 50.41
Найти похожие
17.
Вид документа :
Шифр издания : vr=A979126
Заглавие : Annals of Software Engineering
Выходные данные : Dordrecht : Springer Netherlands, 1995-2002
ISSN: 10227091
ГРНТИ : 50.05 + 50.41 + 50.51.17
Аннотация: Статьи по всем аспектам разработки программного обеспечения (ПО): автоматизированное проектирование ПО, человеческий фактор в программировании, мультимедийное программирование, объектно-ориентированное программирование, программирование в реальном времени, управление конфигурацией программных средств, оценка стоимости ПО, методы разработки ПО, среды разработки ПО, программная документация, программирование и искусственный интеллект, экономика программирования, средства поддержки программных разработок, эволюция ПО, методы реализации ПО и языки, сопровождение ПО, метрика ПО, модель процесса создания и эксплуатации ПО (жизненный цикл ПО), управление программными проектами, создание прототипа ПО, обеспечение качества ПО, реинжиниринг ПО, надежность ПО, повторное использование ПО, выработка требований к ПО, безопасность ПО, спецификация ПО, верификация, утверждение и тестирование.
Найти похожие
18.
Вид документа :
Шифр издания : vr=A995478
Заглавие : Applied Computer Systems
Выходные данные : Warsaw: Versita,Б.г.
ISSN: 22558691
ГРНТИ : 50.41 + 28.23
Ключевые слова (''Своб.индексиров.''): прикладные компьютерные системы--имитационное моделирование--системы визуализации графов--системы управления данными--искусственный интеллект--технология программирования
Аннотация: 20131105
Найти похожие
19.
Вид документа :
Шифр издания : vr=A576499
Заглавие : Automated Software Engineering : An International Journal
Выходные данные : Berlin: springer, 1994
ISSN: 09288910
ГРНТИ : 50.07 + 50.41
Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
Найти похожие
20.
Вид документа :
Шифр издания : vr=C996927
Заглавие : Computer Applications in Engineering Education
Выходные данные : , 1992
ISSN: 10613773
ГРНТИ : 14.85 + 50.41
Аннотация: Статьи по использованию компьютеров и программных средств в инженерном образовании: новое программное обеспечение; новые технологии обучения (напр.,интерактивное видео и мультимедийное представление); компьютеры в лабораториях; визуализация, компьютерная графика, виртуальная реальность, средства автоматизированного проектирования; компьютеры в учебном процессе; использование торгового и административного программного обеспечения в образовании; разработка программного обеспечения.
Найти похожие
21.
Вид документа :
Шифр издания : W8938
Заглавие : Computer Graphics Forum
Выходные данные : , 1982
ISSN: 01677055
ГРНТИ : 50.05.19 + 50.41.25
Аннотация: Статьи быстрой публикации, доклады, обзоры и дискуссии по научным и техническим проблемам и применению компьютерной графики. Специальный 500-страничный номер публикует все материалы ежегодной конференции (Eurographics).
Найти похожие
22.
Вид документа :
Шифр издания : vr=C364347
Заглавие : Computer-Aided Civil and Infrastructure Engineering
Выходные данные : , 1998
ISSN: 10939687
ГРНТИ : 28.23 + 50.41 + 67.29.63
Аннотация: Статьи и обзоры по компьютерным технологиям и применению новых компьютерных методов в строительстве транспортной и водохозяйственной инфраструктуры ( инженерно-геологические изыскания, проектирование зданий и сооружений, инженерия водных ресурсов, дорожный транспорт, моделирование условий эксплуатации), в управлении инфраструктурными системами (мосты, автодороги, дорожные покрытия, аэропорты, инженерное обеспечение), в машинном обучении. Журнал также включает темы: методы визуализации и виртуальная реальность, искусственный интеллект, машинное обучение, интеллектуальные структуры, параллельная обработка, нечеткая логика, методы управления базой данных, вычисления в нейронных сетях, когнитивное моделирование, параллельное проектирование, распределенные вычисления, эволюционные вычисления, геометрическое моделирование, инженерия знаний, мультимедийные технологии, роботика, разработка программного обеспечения. Авторский указатель каждому тому.
Найти похожие
23.
Вид документа :
Шифр издания : vr=C668417
Заглавие : Canadian Journal on Multimedia and Wireless Networks
Выходные данные : Toronto: A M Publishers Corp., 2010
ISSN: 19231697
ГРНТИ : 50.33.05 + 50.41.25
Найти похожие
24.
Вид документа :
Шифр издания : V3779
Заглавие : Collection Building
Выходные данные : Bradford: Emerald Group Publishing Ltd, 1978
ISSN: 01604953
ГРНТИ : 13.31 + 50.41.21
Ключевые слова (''Своб.индексиров.''): library and information studies
Аннотация: Статьи, доклады и обзоры докладов конференций по теории и практике создания всех видов библиотечных, информационных, архивных, музейных и других коллекций (фондов) печатных, электронных, мультимедийных и прочих материалов: управление, комплектование, обработка, содержание и сохранение фонда, базы данных, механизмы поиска, программное обеспечение, Интернет, обслуживание, изучение пользователя и др.
Найти похожие
25.
Вид документа :
Шифр издания : vr=C526637
Заглавие : Compusof : International Journal of Advanced Computer Technology
Выходные данные : , 2012
ISSN: 23200790
ГРНТИ : 50.41
Ключевые слова (''Своб.индексиров.''): информационная, технология--программное, обеспечение
Найти похожие
26.
Вид документа :
Шифр издания : vr=S653581
Заглавие : Scientific Programming : Tools and Programming
Выходные данные : Amsterdam: IOS Press, 1992
ISSN: 10589244
ГРНТИ : 50.41
Ключевые слова (''Своб.индексиров.''): научное программирование--информационные технологии--математический анализ--модели вычислений
Аннотация: 20131025
Найти похожие
27.
Вид документа :
Шифр издания : vr=S610910
Заглавие : SIAM Journal on Optimization : Society for Industrial and Applied Mathematics Journal on Optimization
Выходные данные : Philadelphia, PA: Society for Industrial and Applied Mathematics, 1991
ISSN: 10526234
ГРНТИ : 28.27.15 + 28.25.23 + 50.41
Аннотация: Научный журнал. Статьи по исследованиям в области теории и практики оптимизации, включая линейное и квадратичное программирование, выпуклое программирование, нелинейное программирование, проблемы комплементарности, стохастическая оптимизация, комбинаторная оптимизация, целочисленное программирование, а также выпуклый, негладкий и вариационный анализ. Особое внимание придаётся работам по теории, алгоритмам, программному обеспечению, практике вычислений и методам оптимизации.
Найти похожие
28.
Вид документа :
Шифр издания : vr=S397245
Заглавие : Software Engineering
Выходные данные : , 2013
ГРНТИ : 50.41
Ключевые слова (''Своб.индексиров.''): интеллектуальный анализ данных --искусственный интеллект--объектно-ориентированные методы--язык программирования --коммуникационная система
Найти похожие
29.
Вид документа :
Шифр издания : vr=P821159
Заглавие : Parallel Processing Letters
Выходные данные : , 1991
ISSN: 01296264
ГРНТИ : 50.33.04 + 50.41 + 27.03.45
Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
Найти похожие
30.
Вид документа :
Шифр издания : V4714
Заглавие : Real-Time Systems
Выходные данные : Berlin: springer, 1989
ISSN: 09226443
ГРНТИ : 50.33 + 50.43 + 50.41
Аннотация: Статьи, отчеты о выполнении проектов, дискуссии, стандарты, циклы учебных статей по компьютерным системам реального времени: разработка технических условий, методы спецификации и верификации, методы и средства проектирования, языки программирования, операционные системы алгоритмы планирования, архитектура и аппаратное обеспечение (главным образом, интерфейсинг), отказоустойчивость, распределенная и другие новые архитектуры, связь, распределенные базы данных, искусственный интеллект, экспертные системы, разборы конкретных случаев; применение систем реального времени в системах команд и управления, системах управления процессами, автоматизированном производстве, управлении полетом, авионике (в т.ч. для космических аппаратов) и оборонных системах, бортовых системах судов, машинном зрении и роботехнике, работе группы роботов в опасной среде.
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)