Форма поиска публикаций



* Для переупорядочивания списка публикаций в соответствии со значениями одного из столбцов таблицы необходимо «кликнуть» по названию столбца.

* При задании в форме поиска автора публикации, баллы для соавторов вычисляются только из публиций этого автора.

Элементы 15031—15060 из 15874.
название публикацииГодРИНЦWoSАвторы
1115A MULTISERVER QUEUEING SYSTEM WITH A FINITE BUFFER, BLOCKING OF A SEMI-MARKOVIAN INPUT FLOW OF CUSTOMERS, AND REMOVAL OF ALL CUSTOMERS FROM THE SYSTEM201100 (1)
1114ИНФОРМАЦИОННО-КОНТРОЛИРУЮЩАЯ СИСТЕМА ЗНАНИЙ ДИСЦИПЛИН ЦИКЛА СТАТИСТИЧЕСКОЙ ИНФОРМАТИКИ200110 (4)
1113УПРАВЛЕНИЕ ИНФОРМАЦИОННЫМИ КОМПОНЕНТАМИ WEB-ПОРТАЛА РАН200360 (2)
1112ПРИМЕНЕНИЕ СРЕДСТВ WPF ПРИ РЕАЛИЗАЦИИ ИНСТРУМЕНТАРИЯ ДЛЯ СОЗДАНИЯ И ПУБЛИКАЦИИ ЭЛЕКТРОННЫХ КОЛЛЕКЦИЙ / USING WPF IN DIGITAL COLLECTIONS CREATING AND PUBLISHING TOOLS IMPLEMENTATION201000 (2)
1111МУЛЬТИМЕДИА В ОБРАЗОВАНИИ199610 (1)
1110ЭЛЕКТРОННЫЕ МУЛЬТИМЕДИЙНЫЕ УЧЕБНИКИ И ЭНЦИКЛОПЕДИИ2000260 (1)
1109ИННОВАЦИОНЫЕ УЧЕБНО-МЕТОДИЧЕСКИЕ КОМПЛЕКСЫ. (ВЫСТУПЛЕНИЯ ПРЕДСТАВИТЕЛЕЙ ЭКСПЕРТНОГО СОВЕТА НА СОВЕЩАНИИ АВТОРОВ КОНЦЕПЦИЙ ИУМК)200600 (2)
1107ИНФОРМАЦИОННО-СТАТИСТИЧЕСКИЙ МОНИТОРИНГ ИЗОБРЕТАТЕЛЬСКОЙ АКТИВНОСТИ РАН НА ОСНОВЕ ПАТЕНТНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ201270 (2)
1106ORGANIZATIONAL TRUSTWORTHINESS AND WORKPLACE LABOR PRODUCTIVITY: TESTING A NEW THEORY200500 (2)
1105CHARACTERIZATION OF PROBABILISTIC FAULTS DIAGNOSTIC MODELS200610 (3)
1103ТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ / THE COMPILER OF TABULAR REPRESENTATIONS OF MEALY MACHINES INTO PROGRAMS IN THE SMV LANGUAGE THAT AUTOMATES VERIFICATION OF COMPUTER PROJECTS USING THE MODEL VERIFICATION201000 (5)
1102ПОЛУФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ЦИФРОВОГО УСТРОЙСТВА С КОНВЕЙЕРОМ, ОСНОВАННАЯ НА ИСПОЛЬЗОВАНИИ АЛГОРИТМИЧЕСКИХ МАШИН СОСТОЯНИЯ / SEMIFORMAL VERIFICATION FOR PIPELINED DIGITAL DESIGNS BASED ON ALGORITHMIC STATEMACHINES201010 (3)
1101MULTIPLICATION FREE HOLOGRAPHIC CODING201022 (2)
1100NANOTECHNOLOGY BASED OPTICAL SOLUTION FOR NP-HARD PROBLEMS (EXTENDED ABSTRACT)201121 (5)
1099ПРИНЦИПИАЛЬНАЯ БАЗА АРХИТЕКТУРЫ ЕСТЕСТВЕННО-НАДЕЖНЫХ КОМПЬЮТЕРОВ199510 (2)
1098САМОСИНХРОННЫЕ МИКРОСХЕМЫ -КЛЮЧ К СОЗДАНИЮ ЭЛЕКТРОННОЙ ТАППАРАТУРЫ ДОЛГОВРЕМЕННОГО ДЕЙСТВИЯ199910 (1)
1096САМОСИНХРОНИЗАЦИЯ -ЕСТЕСТВЕННЫЙ ПУТЬ ОБЕСПЕЧЕНИЯ ДОЛГОЖИВУЧЕСТИ ИНТЕГРАЛЬНЫХ СХЕМ199930 (1)
1095САМОСИНХРОНИЗАЦИЯ -ЕСТЕСТВЕННАЯ ОСНОВА ПАРАЛЛЕЛЬНЫХ КОМПЬЮТЕРОВ199910 (2)
1094НАПРАВЛЕНИЯ РАЗВИТИЯ ИНТЕГРАЛЬНОЙ ЭЛЕМЕНТНОЙ БАЗЫ ДЛЯ КОМПЬЮТЕРОВ СЛЕДУЮЩЕГО ПОКОЛЕНИЯ200010 (1)
1093ОСОБЕННОСТИ ОБРАБОТКИ СИГНАЛОВ НА ПРОЦЕССОРЕ С РЕКУРРЕНТНО-ДИНАМИЧЕСКОЙ ПАРАДИГМОЙ ВЫЧИСЛЕНИЙ200130 (1)
1092ДИНАМИЧЕСКИЙ ПОДХОД К ВЫБОРУ АРХИТЕКТУРЫ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ ОБРАБОТКИ СИГНАЛОВ200160 (1)
1091УЧЁТ ПОЖЕЛАНИЙ АВТОРА ЗАДАЧИ В АРХИТЕКТУРЕ «ВИЗУАЛЬНОГО КОНСТРУКТОРА РЕКУРРЕНТНЫХ КАПСУЛ»200420 (1)
1090ТЕХНОЛОГИЧЕСКИЕ ОСОБЕННОСТИ ПОДГОТОВКИ ЗАДАЧ К РЕШЕНИЮ НА НЕЙМАНОВСКОМ И РЕКУРРЕНТНОМ КОМПЬЮТЕРАХ200410 (1)
1089ФУНКЦИОНАЛЬНЫЕ ВОЗМОЖНОСТИ И СТРУКТУРА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ПОДГОТОВКИ ЗАДАЧ ДЛЯ РЕКУРРЕНТНОГО КОМПЬЮТЕРА200510 (1)
1088ФОРМИРОВАНИЕ ОБЛИКА БУДУЩЕЙ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ПОДГОТОВКИ ЗАДАЧ ДЛЯ РЕКУРРЕНТНОГО КОМПЬЮТЕРА200510 (1)
1087СУПЕРКОМПЬЮТИНГ И КЛАССИЧЕСКИЕ КОМПЬЮТЕРЫ / SUPERCOMPUTING AND CLASSICAL COMPUTERS200710 (1)
1086СУПЕРКОМПЬЮТЕРЫ И СУПЕРКОМПЬЮТИНГ: СОСТОЯНИЕ ПРОБЛЕМЫ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ / SUPERCOMPUTERS AND SUPERCOMPUTING: THE STATUS OF PARALLEL CALCULATIONS PROBLEM200730 (1)
1085ИСТОРИЯ РЕАЛИЗАЦИИ ПРОЕКТОВ ПО СОЗДАНИЮ ОТКАЗОУСТОЙЧИВОЙ ВС И ОТЕЧЕСТВЕННОЙ ПЭВМ-32.1 / THE HISTORY OF PROJECTS REALIZATION ON DEVELOPMENT OF FAIL-SAFE COMPUTATION SYSTEMS AND HOME MADE PERSONAL COMPUTER PEVM-32.1200820 (1)
1084БАЗИСНАЯ ПЛАТФОРМА ПРОЕКТА «ОТКАЗОУСТОЙЧИВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ» / THE BASIS PLATFORM OF THE PROJECT "FAULT TOLERANT COMPUTING SYSTEMS"200900 (1)
1083REGISTRATION AND MODELING OF ELASTIC DEFORMATIONS OF FINGERPRINTS200420 (2)