(美)拉维·巴特拉(R.Batra)著;贺力平等译1999 年出版168 页ISBN:7500540736
(美)Rajeev Motwani,(美)Prabhakar Raghavan著,孙广中,黄宇,李世胜译2008 年出版452 页ISBN:9787040237238
本书是斯坦福—剑桥项目(Stanford-CambridgeProgram)之一。对于许多应用,随机算法是最简单可行的,或者是最快的,或者两者兼得。本书由该领域两位著名专家写成,给出了随机算法设计和分析的基本概念,适用于接近研究...
INTRODUCTION TO AUTOMATA THEORY,LANGUAGES,AND COMPUTATION (THIRD EDITION)
[美]JOHN E.HOPCROFT RAJEEV MOTWANI JEFFREY D.ULLMAN著2008 年出版535 页ISBN:9787111223924
本书介绍了形式语言、自动机理论和计算复杂性理论。
(美)拉吉夫·阿卢尔(Rajeev Alur)著2017 年出版284 页ISBN:9787111559047
本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对...
Joey George,Dinesh Batra,Joseph Valacich,Jeffrey Hoffer著2008 年出版500 页ISBN:9787302163718
本书介绍面向对象系统分析与设计的方法。