Microprocessors & System Design
Nonlinear and Adaptive Control Design
Using a pedagogical style along with detailed proofs and illustrative examples, this book opens a vi
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
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
Isabelle/HOL
《Isabelle/HOL》内容简介：This textbook-like tutorial is a self-contained introduction to interactive proof