Preview

Информатика

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 16, № 2 (2019) Верификация систем с параллелизмом поведения на основе графа достижимых состояний Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова
"... спецификацией на проектирование, корректно; проверке подлежит схемная (или программная) реализация, которая ..."
 
№ 4(36) (2012) К 100-летию со дня рождения Г.К. Горанского Аннотация  PDF (Rus)  похожие документы
А. В. Тузиков
 
Том 16, № 4 (2019) О надежности, безопасности и читабельности языков программирования на примере языка Ада Аннотация  похожие документы
А. В. Леонтьев
"... Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают ..."
 
Том 16, № 1 (2019) Теоретико-множественная операция объединения многоугольников в задачах топологического проектирования Аннотация  PDF (Rus)  похожие документы
А. А. Бутов
"... , задаваемых в виде многоугольников, на плоскости. Даны основные понятия и определения, связанные с ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... верификации устанавливается сводимость (эквивалентность) спецификации устройства и модели уровня регистровых ..."
 
Том 16, № 2 (2019) Разработка алгоритмов и программных средств классификации кодирующих и некодирующих нуклеотидных последовательностей Аннотация  PDF (Rus)  похожие документы
В. Р. Закирова, Д. А. Сырокваш, С. В. Гилевский, П. В. Назаров, Н. Н. Яцков
"... генома человека. Разработаны семь моделей векторизации нуклеотидных последовательностей на основе частот ..."
 
Том 16, № 3 (2019) Обфускация комбинационных схем цифровых устройств от несанкционированного доступа Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... Анализируются проблемы проектирования современных СБИС и систем на кристалле. Наиболее сложными из ..."
 
Том 16, № 3 (2019) Статистическая классификация эритроцитов при наследственном сфероцитозе на основе спектральных признаков АСМ-изображений поверхностей клеток Аннотация  PDF (Rus)  похожие документы
И. Е. Стародубцев, Ю. С. Харин, М. С. Абрамович
"... карт физико-механических свойств), полученных сканированием поверхностей клеток на атомно-силовом ..."
 
1 - 8 из 8 результатов

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

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