计算复杂性与算法分析

吴兴玲，黄成泉，罗里波编著2009 年出版152 页ISBN：9787564702014

本书论述了形式语言的基本内容，包括有限自动机、下推机和图灵机的基础理论，讨论了如分治策略、动态规划、回溯法、贪心法以及概率算法等算法的基本技术，同时，也给出了计算复杂性理论的基本知识。...

小鹿的故事

（美）罗里克丝著；郭一淞译1978 年出版128 页ISBN：

南北极

（英国）罗里·麦克著；曾纪文译2006 年出版48 页ISBN：7115154457

本书以生动而逼真的图片，通俗易懂的文字，介绍了南北极的相关知识。

人生的危机

（美）史罗里·布洛尼克著；黄静洁顾虹译1990 年出版258 页ISBN：7850145903

西德游记

（苏）柯罗里柯夫（Юр.Корольков）撰；陈用仪译1951 年出版119 页ISBN：

重力精选法

阿·卡·柯罗里科夫著；刘孟星，潘梓良译1957 年出版205 页ISBN：

西德游记

苏·柯罗里柯夫著；陈用仪译1951 年出版119 页ISBN：

基础物理学手册

钟兆娴，罗里熊著1983 年出版355 页ISBN：7113·453

模型论及其在计算机科学中的应用

北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

游击队员廖尼亚

（苏）柯罗里科夫（Юр.Корольков）著；高长荣译1958 年出版447 页ISBN：10009·342