长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

期刊

全部

2011, no.1

2011, no.2

2011, no.3

2011, no.4

2011, no.5

2011, no.6

题名	作者	出版年	年卷期
ОБЗОР МЕТОДОВ ПОСТРОЕНИЯ ПОКРЫВАЮЩИХ НАБОРОВ	В. В. Кулямин; А. А. Петухов	2011	2011, no.3
ОБЗОР СОВРЕМЕННЫХ ТЕХНОЛОГИЙ ИМИТАЦИОННОЙ ВЕРИФИКАЦИИ АППАРАТУРЫ	А. С. Камкин; М. М. Чупилко	2011	2011, no.3
МОДЕЛИРОВАНИЕ ОПЕРАЦИОННОЙ СЕМАНТИКИ МАШИННЫХ ИНСТРУКЦИЙ	В. А. Падарян; М. А. Соловьев; А. И. Кононов	2011	2011, no.3
МЕТОДЫ И СРЕДСТВА ТРАНСЛЯЦИИ ГРАФИЧЕСКИХ ДИАГРАММ	О. Г. Шаров; А. Н. Афанасьев	2011	2011, no.3
МЕТОД УСКОРЕНИЯ ЛОГИЧЕСКОГО ВЫВОДА В ПРОДУКЦИОННОЙ МОДЕЛИ ЗНАНИЙ	Р. С. Катериненко; И. А. Бессмертный	2011	2011, no.3