Microprocessors & System Design

Nonlinear and Adaptive Control Design
Nonlinear and Adaptive Control Design

Using a pedagogical style along with detailed proofs and illustrative examples, this book opens a vi

Miroslav Krstic

Embedded DSP Processor Design, Volume 2: Application Specific Instruction Set Processors (Systems on Silicon)
Embedded DSP Processor Design, Volume 2: Application Specific Instruction Set Processors (Systems on Silicon)

在线阅读本书This book provides design methods for Digital Signal Processors and Application Specific Instr

Dake Liu

Design Patterns for Embedded Systems in C: An Embedded Software Engineering Toolkit
Design Patterns for Embedded Systems in C: An Embedded Software Engineering Toolkit

A recent survey stated that 52% of embedded projects are late by 4-5 months. This book can help get

Bruce Powel Douglass

Isabelle/HOL
Isabelle/HOL

《Isabelle/HOL》内容简介:This textbook-like tutorial is a self-contained introduction to interactive proof

Tobias Nipkow