Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

下载此书RAR压缩包在线购买PDF电子书

2002 年出版218 页ISBN：3540433767

FAMILY PRACTICE BOARD REVIEW SECOND EDITION

下载此书RAR压缩包在线购买PDF电子书

2222 年出版334 页ISBN：0781733928

PHARMACOLOGY EXAMINATION & BOARD REVIEW SIXTH EDITION

下载此书RAR压缩包在线购买PDF电子书

2002 年出版662 页ISBN：0838581471

Automatic Test Equipment:Hardware

下载此书RAR压缩包在线购买PDF电子书

INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1974 年出版0 页ISBN：

Implementing Configuration Management Hardware

下载此书RAR压缩包在线购买PDF电子书

Institute of Electrical and Electronics Engineers1993 年出版0 页ISBN：

DIGITAL SIGNAL PROCESSING A COMPUTER-BASED-APPROACH THIRD EDITON

下载此书RAR压缩包在线购买PDF电子书

[美]SANJIT K.MITRA著 阔永红改编2006 年出版489 页ISBN：7121023679

本书是在数字信号领域的经典教材Digital Signal Processing: A Computer-Based Approach（第三版）的基础上改编而成，内容涵盖信号与信号处理、时域中的离散时间信号和系统、变换域中的离散时间信号、变换域中的...

Microprocessor/Hardware Interfacing and Applications

下载此书RAR压缩包在线购买PDF电子书

2222 年出版413 页ISBN：

1985 DIRECTORY of the TRANSPORTATION RESEARCH BOARD

下载此书RAR压缩包在线购买PDF电子书

2222 年出版278 页ISBN：

THE DEVELOPING LABOR LAW THE BOARD

下载此书RAR压缩包在线购买PDF电子书

THE BUREAU OF NATIONAL AFFAIRS1989 年出版871 页ISBN：

Microcomputer Systems Hardware/Software Design

下载此书RAR压缩包在线购买PDF电子书

1982 年出版550 页ISBN：0810451239