Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 5 (2016) Формализация определения ошибок при статическом символьном выполнении Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев
"... ошибочной ситуации, сообщающие об ошибке только в том случае, когда она происходит на некотором множестве ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... доступа к буферу. Алгоритм использует символьное исполнение с объединением состояний и является ..."
 
Том 31, № 4 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... в отыскании оптимального множества маршрутов для транспортных средств с целью однократного обслуживания ..."
 
1 - 3 из 3 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)