Сортировать по:
Выпуск | Название | |
Том 17, № 4 (2010) | От редакторов специального выпуска | похожие документы |
В. А. Непомнящий, В. А. Соколов | ||
Том 17, № 1 (2010) | О числе фасет 2-смежностного многогранника | Аннотация PDF (Rus) похожие документы |
А. Н. Максименко | ||
"... Многогранник Р называется 2-смежностным, если любые две его вершины образуют ребро (1-грань ..." | ||
Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
А. В. Шалимов | ||
Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
А. В. Клепинин, А. А. Мелентьев | ||
Том 17, № 2 (2010) | Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 | Аннотация PDF (Rus) похожие документы |
И. В. Алексеев, С. А. Меркулов, А. А. Сивов | ||
Том 17, № 1 (2010) | Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами | Аннотация PDF (Rus) похожие документы |
Г. А. Курина, Т. Х. Нгуен | ||
Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
А. В. Николаев | ||
Том 17, № 2 (2010) | Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования | Аннотация PDF (Rus) похожие документы |
Г. А. Тарнавский | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
Том 17, № 3 (2010) | Вариационные неравенства и принцип виртуальных перемещений | Аннотация PDF (Rus) похожие документы |
Н. А. Демьянков | ||
Том 17, № 3 (2010) | Рекуррентные последовательности над почтикольцами | Аннотация PDF (Rus) похожие документы |
А. В. Сбоев | ||
Том 17, № 3 (2010) | Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) | Аннотация PDF (Rus) похожие документы |
А. С. Снятков | ||
"... Данная работа посвящена исследованию свойств теорий, образованных из арифметики А.Л. Семенова ..." | ||
Том 17, № 3 (2010) | Математические модели экономических систем с учетом необратимости протекающих в них процессов | Аннотация PDF (Rus) похожие документы |
А. М. Цирлин | ||
Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
Том 17, № 1 (2010) | Двухшаговый экстраградиентный метод для задачи управления ресурсами | Аннотация PDF (Rus) похожие документы |
А. В. Зыкина, Н. В. Меленьчук | ||
Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
С. Н. Пупырев, А. В. Тихонов | ||
Том 17, № 2 (2010) | Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения | Аннотация PDF (Rus) похожие документы |
В. С. Рублев, А. В. Смирнов | ||
Том 17, № 3 (2010) | Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла | Аннотация PDF (Rus) похожие документы |
Д. В. Глазков, С. А. Кащенко | ||
Том 17, № 3 (2010) | Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин, Е. А. Солдатова | ||
Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
Том 17, № 1 (2010) | Тезаурус как инструмент поэтологии | Аннотация PDF (Rus) похожие документы |
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев | ||
1 - 26 из 26 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)