交互式马尔可夫链 并发系统的设计、验证与评价

本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...

数学就是这么有趣 饮食离不开数学

本书从儿童角度着眼，将饮食和数学联系起来，深入浅出地讲述了日常生活中饮食方面的数学知识，并介绍了其中的奥妙和许多饮食常识，比如牛奶的成分，食物的热量，冰箱的温度，微波炉如何让食物变熟、可乐为什么不能多......

线性代数一本通

一本小小的紫色概率书

高等数学一本通

新世纪高等院校精品教辅:本书以教材为依据，对知识点与解题方法进行分类，归纳大量常见题型与考研试题，进行典型例题解析，并对教材中练习进行讲解。...

概率统计一本通

本书为《概率论与数理统计教程》教材的配套图书，全书设有“学习目的和基本要求”、“基本内容与学习重点”、“典型例题解析”、“知识网络”、“本章自测题”等栏目，旨在帮助学生掌握本课题。...

化学故事一本通

本书包括：第一章、小心你会爱上它；第二章、谁在变魔术；第三章、生活乐无穷；第四章、哪些事你不知道；第五章、不宜混搭的食物；第六章、破解西方隐秘传说。...

新物理知识一本通

本书系“新百科知识一本通丛书”中的一本。本书介绍了力学、功和能、热学、光学、电磁学等方面，全书结构严谨、图文并茂，是一本普及物理知识的好读本。...

MBA联考数学一本通关

本书按照09年MBA联考新大纲要求编写。对常考题型进行了10类分析，对典型例题做了详细解答，并总结了历年数学考试所有试题。

我的第一本数学童话 神探聪聪