Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
параметры
Связанные издания:
1-Dimensional Parallel FFT Benchmark on SUPRENUM
Adaptive Parameter Passing
Agent System for Load Monitoring of the Heterogeneous Computer Network
Beyond Generic Component Parameters
Case Studies on Automatic Extraction of Target-Specific Architectural Parameters in Complex Code Generation
Determining Camera Parameters from an Image
FIBER: A Generalized Framework for Auto-tuning Software
Formal Parametric Polymorphism
Implicit Parameters: Dynamic Scoping with Static Types
Local Package Instances Are Not Equivalent To Generic Formal Package Parameters
Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017
On Subprograms with a Variable Number of Parameters of Varying Types
Parameter-Induced Aliasing in Ada
Parameterized and Exact Computation: Revised Selected Papers/6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 2011
Parameterized and Exact Computation: Revised Selected Papers/9th International Symposium, IPEC 2014, Wroclaw, Poland, September 2014
Parameter Region for the Proper Operation of the IEEE 802.2 LLC Type 3 Protocol: A Petri Nets Approach
Parametric Polymorphism and Orthogonal Persistence
Polymorphic Programming and Opaque Types, Bringing it all Together
Probabilistic Information Retrieval as a Combination of Abstraction, Inductive Learning, and Probabilistic Assumptions
Program Profiling Problems, and a Solution via Machine Language Rewriting
Synchronization Analyses for Multiple Recursion Parameters
View Definitions with Parameters
Windows NT. Занятие четвертое (37)
Адаптация общих концепций тестирования программного обеспечения к нейронным сетям
Адаптивный отбор образцов при измерении параметров трафика компьютерной сети с использованием нечеткого регулятора и нейронной сети
Алгоритм идентификации стохастических нелинейных систем по измерительным данным
Алгоритмы подбора параметров комбинирования ациклических графов соседства в задачах обработки текстурных изображений
Асимптотическая теория устойчивого оценивания
Идентифицируемость и вариационные оценки параметров дискретных стационарных линейных динамических систем
Измерение параметров информационных потоков ВЦ СО АН
Корневой анализ и синтез систем с интервальными параметрами на основе вершинных характеристических полиномов
Методы межпроцедурного анализа (обзор)
Модель декларативных продукций с обоб енными операциями (кванторами) n-го порядка
Модель интерактивной визуализации графовых алгоритмов
Об одной алгоритмически неразрешимой проблеме, связанной с разностными уравнениями с параметрами
Об одном подходе к математическому моделированию некорректных задач динамики систем с распределенными параметрами
Определение типа и числа параметров, переданных в подпрограммы BORLAND, PASCAL и TURBO PASCAL
О программно-аналитическом моделировании задач динамики систем с распределенными параметрами
Организация сложных тестовых наборов
Пакет программ "STEP" для численного исследования систем нелинейных уравнений
Поводок для Word и Excel
Подсказки ToolTips в диалоговых окнах MFC
Постобработка результатов стереореконструкции поверхностей как восстановление скрытых параметров марковского поля
Построение нечеткого классификатора на основе методов гармонического поиска
Проблемы управления сетями пакетной радиосвязи с промежуточным хранением информации и мобильными абонентами
Прогнозирование значений параметров динамических систем с помо ью адаптивного фильтра Калмана
Программный комплекс моделирования динамики систем с распределенными параметрами
Разработка и исследование методов контроля импульсных помех, поступаю их на устройства связи через цепи электропитания
Разработка и исследование моделей и методов контроля систем с переменными параметрами
Расчёт характеристик систем массового обслуживания с переменными параметрами входного потока и обслуживания
1
2
следующая ›
последняя »