Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con

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

TPHOLs 20012001 年出版394 页ISBN：354042525X

Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S

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

FMCO 2006 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy

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

FMCO 2005 Amsterdam2222 年出版0 页ISBN：

PROCEEDINGS OF THE REGIONAL SEMINARS ON OCCUPATIONAL HEALTH AND ERGONOMIC APPLICATIONS IN SAFETY CON

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

1978 年出版193 页ISBN：

orthogonal polarization in lasers physical phenomena and engineering applications = 激光器的正交偏振 物理效应和工程

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

2222 年出版0 页ISBN：

APPLICATIONS-IN-BASIC-MARKETINGCLIPPINGS-FROM-THE-POPULAR-BUSINESS-PRESS-2004-2005-EDITION

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

2222 年出版0 页ISBN：

MECHANISMS OF ACTION AND THERAPEUTIC APPLICATIONS OF BIOLOGICALS IN CANCER AND IMMUNE DEFICIENCY DIS

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

1989 年出版406 页ISBN：0845126997

ADVANCED TECHNOLOGIES IN MODERN ROBOTIC APPLICATIONS

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

Chenguang Yang，Hongbin Ma and Mengyin Fu2016 年出版419 页ISBN：7030473523

本书汇总了作者们近年来在近代机器人应用方面开发的先进技术，尤其是遥操作、视觉伺服和智能控制。在遥操作方面，除了触觉反馈，运动捕捉等技术，本书还着重于下一代的人机交互界面，如基于手势和基于脑电信号的人机...

Applications of nuclear microprobes in the life sciences : an efficient analytical technique for res

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

1998 年出版274 页ISBN：9810223625

计算机视觉中的多视图几何 原书第2版＝MULTIPLE VIEW GEOMETRY IN COMPUTER VISION SECOND EDITION

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

（澳）理查德·哈特利2020 年出版0 页ISBN：