+7(495) 980-12-16
  10:00-18:00 пн-пт
  book@logobook.ru
   
    Поиск книг    
Найти
  Зарубежные издательстваРоссийские издательства  
   Авторы | Каталог | Издательства | Новинки | Распродажа | Детские | Модели | Поступления | Cертификаты| Хиты | | |
 

Логическое проектирование и верификация систем на SystemVerilog Томас Д. 9785970606193


Варианты приобретения
Цена: 1798р.

Кол-во:
Наличие: Невозможна поставка.

Если книги нет на складе, цена может быть изменена. Большинство цен, на книги правильные.
Но издательства изменяют цены на книги и не всегда есть возможность оперативно отслеживать эти изменения.
Если цена заказываемой книги изменится, об этом обязательно будет сообщено менеджером после оформления заказа.


Добавить в корзину
в Мои желания

Автор: Томас Д.
Название: Логическое проектирование и верификация систем на SystemVerilog
Издательство: ДМК
Классификация:
ISBN: 5970606197
ISBN-13(EAN): 9785970606193
Обложка:
Страницы: 384
Вес: 0 кг.
Дата издания: 31.07.2019
Рейтинг:
Описание:
Дополнительное описание:

Выявление и верификация локорегионарных рецидивов рака предстательной железы после радикальной простатэктомии

Автор: Громов А.И., В. В. Капустин, В. И. Широкорад
Название: Выявление и верификация локорегионарных рецидивов рака предстательной железы после радикальной простатэктомии
ISBN: 590009457X ISBN-13(EAN): 9785900094571
Издательство: СТРОМ
Рейтинг:
Цена: 640.00 р.
Наличие на складе: Есть (более 3-х шт.)
Описание: В учебно-методическом пособии представлен актуальный материал по распознаванию и верификации локорегионарных рецидивов рака предстательной железы после радикальной простатэктомии. Освещены основы выявления рецидивных опухолей различной локализации при помощи мультипараметрической магнитно-резонансной томографии (МРТ). Описаны особенности выполнения трансректальных ультразвуковых исследований (ТРУЗИ) у пациентов с предполагаемыми рецидивами. Учебно-методическое пособие основано на международных и отечественных работах по диагностике рецидивов после радикальной простатэктомии, личном врачебном и педагогическом опыте авторов. Ориентировано на изучение возможностей МРТ и ТРУЗИ в распознавании, локализации и верификации рецидивных опухолей, направлено на формирование у обучающихся грамотного диагностического подхода к данной категории мужчин. Содержит тестовые задания с правильными ответами, предназначенные для самоконтроля и контроля (в ходе обучения и на промежуточной аттестации) усвоения студентами материала. Предназначено для обучающихся, осваивающих основные профессиональные программы высшего образования, и слушателей дополнительного профессионального образования

 
 

Автор: Крэг Лерман
Название: Применение UML 2.0 и шаблонов проектирования
ISBN: 5845911850 ISBN-13(EAN): 9785845911858
Издательство: Зарубежные издательства для Замены
Рейтинг:
Цена: 5280.00 р.
Наличие на складе: Есть (более 3-х шт.)
Описание: В книге рассматриваются основные принципы и приемы объектно-ориентированного анализа и проектирования (ООА/П). В ней вы найдете сведения об итеративном и гибком моделировании, шаблонах проектирования, архитектурном анализе и многих других вопросах. Весь материал рассматривается в контексте гибкого подхода к разработке с совместным применением процесса UP и других итеративных методов.В книге рассматривается два реальных примера, позволяющих на практике освоить принципы ООА/П, а также изучить новейшую систему обозначений языка UML 2.Книга будет хорошим руководством для всех, кто интересуется вопросами ООА/П, языком моделирования UML 2 и современными эволюционными подходами к разработке программного обеспечения.

 
 
Теория механизмов и машин: Курсовое проектирование Учебное пособие

Автор: Смелягин
Название: Теория механизмов и машин: Курсовое проектирование Учебное пособие
ISBN: 5160016236 ISBN-13(EAN): 9785160016238
Издательство: Инфра-М
Рейтинг:
Цена: 95.00 р.
Наличие на складе: Есть (1 шт.)

 
 

Автор: Эрик Эванс
Название: Предметно-ориентированное проектирование
ISBN: 5845919428 ISBN-13(EAN): 9785845919427
Издательство: Зарубежные издательства для Замены
Рейтинг:
Цена: 5280.00 р.
Наличие на складе: Есть (более 3-х шт.)

 
 
ПРОЕКТИРОВАНИЕ ПРЕДПРИЯТИЙ ОБЩЕСТВЕННОГО ПИТАНИЯ. ДОГОТОВОЧНЫЕ ЦЕХА И ТОРГОВЫЕ ПОМЕЩЕНИЯ 2-е изд., испр. и доп. Учебное пособие для вузов

Автор: Пасько О. В., Автюхова О. В.
Название: ПРОЕКТИРОВАНИЕ ПРЕДПРИЯТИЙ ОБЩЕСТВЕННОГО ПИТАНИЯ. ДОГОТОВОЧНЫЕ ЦЕХА И ТОРГОВЫЕ ПОМЕЩЕНИЯ 2-е изд., испр. и доп. Учебное пособие для вузов
ISBN: 5534075104 ISBN-13(EAN): 9785534075106
Издательство: Юрайт
Рейтинг:
Цена: 1258.00 р.
Наличие на складе: Отгружается в течение 5-7 дней

 
 
КОНСТРУИРОВАНИЕ ШВЕЙНЫХ ИЗДЕЛИЙ: СИСТЕМНОЕ ПРОЕКТИРОВАНИЕ 3-е изд., испр. и доп. Учебное пособие для СПО

Автор: Кузьмичев В. Е., Ахмедулова Н. И., Юдина Л. П. ; п
Название: КОНСТРУИРОВАНИЕ ШВЕЙНЫХ ИЗДЕЛИЙ: СИСТЕМНОЕ ПРОЕКТИРОВАНИЕ 3-е изд., испр. и доп. Учебное пособие для СПО
ISBN: 5534085304 ISBN-13(EAN): 9785534085303
Издательство: Юрайт
Рейтинг:
Цена: 2480.00 р.
Наличие на складе: Отгружается в течение 5-7 дней

 
 
УПРАВЛЕНИЕ КАЧЕСТВОМ: ПРОЕКТИРОВАНИЕ

Автор: Герасимов Б. И., Сизикин А. Ю., Герасимова Е. Б.
Название: УПРАВЛЕНИЕ КАЧЕСТВОМ: ПРОЕКТИРОВАНИЕ
ISBN: 5911347806 ISBN-13(EAN): 9785911347802
Издательство: Инфра-М
Рейтинг:
Цена: 625.00 р.
Наличие на складе: Отгружается в течение 3-7 дней
Описание: В учебном пособии исследованы теоретические и методологические проблемы проектирования процессов стандартизации и управления качеством продукции предприятий и организаций.

 
 
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ПРОЕКТИРОВАНИЕ

Автор: Коломейченко А.С., Кравченко И.Н., Ставцев А.Н. и
Название: МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ПРОЕКТИРОВАНИЕ
ISBN: 5160128905 ISBN-13(EAN): 9785160128900
Издательство: Инфра-М
Рейтинг:
Цена: 619.00 р.
Наличие на складе: Отгружается в течение 3-7 дней
Описание: В учебном пособии изложены теоретические основы математического моделирования различных процессов в сельскохозяйственном производстве. Дается структурный анализ моделируемых систем и подробный разбор поэтапного построения ряда экономико-математических моделей, имеющих практическую значимость для прогнозирования и эффективной оптимизации различных производственных процессов в растениеводческой отрасли. На примере рассматриваемых задач подробно описана методика оптимизации производственных параметров с учетом критерия экономической эффективности. Дается обобщенный анализ и классификация методов оптимального проектирования, применяемых в исследовании экономических систем и процессов, приводятся практические примеры разработки математических моделей на основе методов линейного программирования и математической статистики с применением современных программных средств. Соответствует требованиям Федерального государственного образовательного стандарта высшего образования последнего поколения. Для студентов магистратуры, обучающихся по направлениям «Агрохимия и агропочвоведение» и «Агрономия», может быть полезно преподавателям и аспирантам.

 
 
МЕНЕДЖМЕНТ ОРГАНИЗАЦИИ: ИТОГОВАЯ АТТЕСТАЦИЯ СТУДЕНТОВ, ПРЕДДИПЛОМНАЯ ПРАКТИКА И ДИПЛОМНОЕ ПРОЕКТИРОВАНИЕ, ИЗД.4

Автор: Резник С.Д., Коротков Э.М., Бондаренко В.В. и др.
Название: МЕНЕДЖМЕНТ ОРГАНИЗАЦИИ: ИТОГОВАЯ АТТЕСТАЦИЯ СТУДЕНТОВ, ПРЕДДИПЛОМНАЯ ПРАКТИКА И ДИПЛОМНОЕ ПРОЕКТИРОВАНИЕ, ИЗД.4
ISBN: 516009167X ISBN-13(EAN): 9785160091679
Издательство: Инфра-М
Рейтинг:
Цена: 1077.00 р.
Наличие на складе: Отгружается в течение 3-7 дней

 
 
ЗДАНИЯ И СООРУЖЕНИЯ. АРХИТЕКТУРНО-СТРОИТЕЛЬНОЕ ПРОЕКТИРОВАНИЕ. Учебник и практикум для СПО

Автор: Опарин С. Г., Леонтьев А. А.
Название: ЗДАНИЯ И СООРУЖЕНИЯ. АРХИТЕКТУРНО-СТРОИТЕЛЬНОЕ ПРОЕКТИРОВАНИЕ. Учебник и практикум для СПО
ISBN: 5534023597 ISBN-13(EAN): 9785534023596
Издательство: Юрайт
Рейтинг:
Цена: 1859.00 р.
Наличие на складе: Отгружается в течение 5-7 дней
Описание: В учебнике впервые после принятия в России нового градостроительного законодательства системно изложены концепция, научные основы и методика архитектурно-строительного проектирования в его современном толковании. Раскрыта его роль в воплощении различных строительных проектов, обеспечении их конкурентоспособности, безопасности и экономической эффективности. Рассмотрены этапы проектной подготовки и принципы саморегулирования строительных организаций, особенности проектирования гражданских и промышленных зданий, состав и содержание проектной и рабочей документации, а также современные системы автоматизированного проектирования объектов, составления смет и сметных расчетов.

 
 
МЕТАЛЛОРЕЖУЩИЕ СТАНКИ. РАСЧЕТ И ПРОЕКТИРОВАНИЕ 2-е изд. Учебное пособие для вузов

Автор: Гуртяков А. М.
Название: МЕТАЛЛОРЕЖУЩИЕ СТАНКИ. РАСЧЕТ И ПРОЕКТИРОВАНИЕ 2-е изд. Учебное пособие для вузов
ISBN: 5534084804 ISBN-13(EAN): 9785534084801
Издательство: Юрайт
Рейтинг:
Цена: 882.00 р.
Наличие на складе: Отгружается в течение 5-7 дней
Описание: В учебнике изложены основы кинематического расчета приводов металлорежущих станков. На примере токарно-винторезного станка подробно рассмотрен кинематический расчет привода главного движения металлорежущего станка. Изложены основы методики расчета шпиндельных узлов, направляющих, тяговых устройств. Даны необходимые методические указания, рекомендации, расчетные формулы, приведены справочные материалы. Предназначен для студентов старших курсов и начинающих преподавателей.

 
 
ДЕТАЛИ МАШИН. КУРСОВОЕ ПРОЕКТИРОВАНИЕ В 2 КН. КНИГА 2. Учебник для вузов

Автор: Гурин В. В., Замятин В. М., Попов А. М.
Название: ДЕТАЛИ МАШИН. КУРСОВОЕ ПРОЕКТИРОВАНИЕ В 2 КН. КНИГА 2. Учебник для вузов
ISBN: 5534003820 ISBN-13(EAN): 9785534003826
Издательство: Юрайт
Рейтинг:
Цена: 1935.00 р.
Наличие на складе: Отгружается в течение 5-7 дней

 
 
МЕТОДОЛОГИЯ ПРОЕКТИРОВАНИЯ РЕЕЧНЫХ ПЕРЕДАЧ ДЛЯ МАШИН С АВТОМАТИЗИРОВАННЫМ ПРИВОДОМ

Автор: Лимаренко Г.Н.
Название: МЕТОДОЛОГИЯ ПРОЕКТИРОВАНИЯ РЕЕЧНЫХ ПЕРЕДАЧ ДЛЯ МАШИН С АВТОМАТИЗИРОВАННЫМ ПРИВОДОМ
ISBN: 5160133623 ISBN-13(EAN): 9785160133621
Издательство: Инфра-М
Рейтинг:
Цена: 1517.00 р.
Наличие на складе: Отгружается в течение 3-7 дней
Описание: В монографии освещены вопросы проектирования, теоретического, экспериментального и опытно-производственного исследования реечных преобразователей движения и поступательных приводов на их основе в создаваемых многоцелевых автоматизированных машинах, предназначенных для технологического применения в отраслях транспортного, энергетического, атомного машиностроения, судостроения, авиакосмической и оборонной техники. Предназначена для инженерно-технических и научных работников, занимающихся разработкой и модернизацией приводов автоматизированного технологического оборудования, а также для студентов вузов, обучающихся по направлению 15.04.04 «Автоматизация технологических процессов и производств», и аспирантов.

 
 
Методы (1-й том) оптимального проектирования и расчета композиционных конструкций. В 2-х томах

Автор: Бакулин В.Н. и др.
Название: Методы (1-й том) оптимального проектирования и расчета композиционных конструкций. В 2-х томах
ISBN: 5922109685 ISBN-13(EAN): 9785922109680
Издательство: Физматлит
Рейтинг:
Цена: 424.00 р.
Наличие на складе: Невозможна поставка.
Описание: Монография посвящена разработке методов оптимального проектирования конструкций из композиционных и традиционных материалов, подверженных волновым и статическим воздействиям различной физической природы (электромагнитным, акустическим, температурным, упругим).

 
 
Направляющие системы электросвязи: Учебник для вузов. В 2-х томах. Том 2 – Проектирование, строительство и техническая эксплуатация

Автор: Андреев В. А., Портнов Э. Л., Кочановский Л. Н.
Название: Направляющие системы электросвязи: Учебник для вузов. В 2-х томах. Том 2 – Проектирование, строительство и техническая эксплуатация
ISBN: 5991201412 ISBN-13(EAN): 9785991201414
Издательство: Горячая линия - Телеком
Рейтинг:
Цена: 990.00 р.
Наличие на складе: Невозможна поставка.

 
 
ОСНОВЫ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ

Автор: Колдаев В. Д.
Название: ОСНОВЫ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
ISBN: 5819904583 ISBN-13(EAN): 9785819904589
Издательство: Инфра-М
Рейтинг:
Цена: 2029.00 р.
Наличие на складе: Отгружается в течение 3-7 дней
Описание: В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхронного автомата, явление состязаний элементов памяти и гонок в структурном автомате, проблемы и перспективы автоматизации проектирования, системы искусственного интеллекта.Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Пособие также будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования.

 
 
Логические основы проектирования дискретных устройств

Автор: Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д.
Название: Логические основы проектирования дискретных устройств
ISBN: 5922108115 ISBN-13(EAN): 9785922108119
Издательство: Физматлит
Рейтинг:
Цена: 1366.00 р.
Наличие на складе: Невозможна поставка.
Описание: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями.

 
 
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний

Автор: Бибило П.Н., Романов В.И.
Название: Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
ISBN: 5971011561 ISBN-13(EAN): 9785971011569
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 783.00 р.
Наличие на складе: Невозможна поставка.
Описание: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если - то". Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.

 
 

Автор: Соловьев В. В., Климович А.
Название: Логическое проектирование цифровых систем на основе программируемых логических интегральных схем. -2 е изд., стереотип.
ISBN: 5991204748 ISBN-13(EAN): 9785991204743
Издательство: Горячая линия - Телеком
Рейтинг:
Цена: 792.00 р.
Наличие на складе: Невозможна поставка.

 
 


ООО "Фактор Книга" Тел:(495) 980-12-16, rus.logobook.ru
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете
    Мобильная версия