INTRODUCTION TO AUTOMATA THEORY，LANGUAGES，AND COMPUTATION （THIRD EDITION）

[美]JOHN E.HOPCROFT RAJEEV MOTWANI JEFFREY D.ULLMAN著2008 年出版535 页ISBN：9787111223924

本书介绍了形式语言、自动机理论和计算复杂性理论。

ADMINISTRATION AND MANAGEMENT IN CRIMINAL JUSTICE A SERVICE QUALITY APPROACH

JENNIFER M.ALLER M.ALLEN RAJEEV SAWHNEY2010 年出版529 页ISBN：1412950813

信息物理融合系统（cps）原理

（美）拉吉夫·阿卢尔（Rajeev Alur）著2017 年出版284 页ISBN：9787111559047

本书主要介绍信息物理融合系统的基本理论，包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科，从不同侧面对...

随机算法

（美）Rajeev Motwani，（美）Prabhakar Raghavan著，孙广中，黄宇，李世胜译2008 年出版452 页ISBN：9787040237238

本书是斯坦福—剑桥项目（Stanford-CambridgeProgram）之一。对于许多应用，随机算法是最简单可行的，或者是最快的，或者两者兼得。本书由该领域两位著名专家写成，给出了随机算法设计和分析的基本概念，适用于接近研究...

VLSI的统计分析和优化 时序和功耗 影印版

（美）Srivastava著2007 年出版290 页ISBN：7030188500

本书介绍了集成电路的统计CAD工具的相关知识。主要面向CAD工具开发人员，集成电路工艺技术人员，以及相关学科的学生和研究人员。书中介绍了统计时序和功耗分析技术中的最新研究成果，并结合参数化的产量作为设计...

Lost in translation barriers to incentives for translational research in medical sciences

Rakesh K. Srivastava ; Wojciech Maksymowicz ; Wlodek Lopaczynski2014 年出版742 页ISBN：9814489065