Сортировать по:
Выпуск | Название | |
Том 18, № 3 (2011) | О двух конечномерных аппроксимациях периодической краевой задачи | Аннотация PDF (Rus) похожие документы |
Николай Андреевич Демьянков | ||
"... краевой задачи влечёт за собой разрешимость её дискретных вариантов. Исследуется вопрос о сходимости ..." | ||
Том 18, № 1 (2011) | Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов | Аннотация PDF (Rus) похожие документы |
П. Н. Нестеров | ||
"... результаты используются для построения асимптотики решений некоторых уравнений из класса дискретных ..." | ||
Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
Николай Вячеславович Шилов | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
"... Рассматривается модель, используемая при ручной разработке спецификаций приложения, созданная на ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели ..." | ||
Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..." | ||
Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
Владислав Игоревич Январев | ||
"... Предлагается подход к созданию модульной модели мультимедийного документа, сочетающей расширяемость ..." | ||
Том 18, № 1 (2011) | Динамика слабого взаимодействия в системе близких видов | Аннотация PDF (Rus) похожие документы |
Е. В. Горчакова | ||
Том 18, № 1 (2011) | Локальная динамика уравнения с сильно запаздывающей обратной связью | Аннотация PDF (Rus) похожие документы |
Д. В. Глазков | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... использует систему CPN Tools [10], а для их верификации методом проверки моделей относительно свойств ..." | ||
1 - 10 из 10 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)