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