Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=автоматизированные системы проектирования<.>
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.

Форма документа : Однотомне видання
Шифр видання : 621.3.049.77(075./А22-180671
Автор(и) : Петренко, Анатолий Иванович, Сыпчук, Петр Павлович, Тетельбаум, Александр Яковлевич, Иванников , Александр Дмитриевич, Саватьев, Владимир Аполлонович
Назва : Автоматизация конструирования больших интегральных микросхем
Вихідні дані : К.: Вища школа, 1983
Кільк.характеристики :311 с.: рис., табл.
Примітки : Лит.: с. 305-307. - Предм. указ.: с. 308
Ціна : 1.00 р.
УДК : 621.3.049.77(075.8)
ББК : 32.844.1-02
Предметні рубрики: Інтегральні мікросхеми
Географіч. рубрики:
Анотація: Автоматизированное проектирование больших (БИС) и сверхбольших (СБИС) интегральных микросхем (ИС).
Примірники : всього : ВВ(2), АБ(1)
Вільні : ВВ(2), АБ(1)
Знайти схожі

2.

Форма документа : Однотомне видання
Шифр видання : 32.844.1/К41
Автор(и) : Киносита, Кодзо, Асада, Кунихиро, Карацу, Осаму
Назва : Логическое проектирование СБИС
Вихідні дані : Москва: Мир, 1988
Кільк.характеристики :309 с.: рис., табл.
Примітки : Предм. указ.: с. 306-308
ISBN, Ціна 5-03-000393-3: 1.70 р.
ББК : 32.844.1
Предметні рубрики: Мікроелектроніка-- Автоматичні системи проектування-- Моделювання
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): микроэлектроника--автоматизированные системы проектирования--моделирование--булева алгебра--логическое проектирование--логічне проектування--языки структурного описания--мови структурного опису--языки функционального описания--мови функціонального опису--языки графического описания--мови графічного опису--логическое моделирование--логічне моделювання--алгоритмические способы синтеза тестов--алгоритмічні способи синтезу тестів--моделирование неисправностей--моделювання несправностей--тестовые последовательности--тестові послідовності--модели неисправностей--моделі несправностей--проектирование легкотестируемых схем--проектування легкотестованих схем
Анотація: Математическая теория логического проектирования, проблемы упрощения логических функций и языки описания, которые используются для автоматизации процессов проектирования и моделирования.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)