自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(0)
  • 资源 (3)
  • 收藏
  • 关注

空空如也

Principles of Model Checking

模型检测方面的经典书籍,很好的一本书,留给需要的人

2013-06-06

Power Programming With Mathematica: The Kernel

Mathematica软件的非常非常好的参考书。虽然本书出版于1996年,使用的是Mathematica3.0版本,但本书对基本原理和思路的讲解非常透彻,相较于国内填鸭式的书籍强太多了。

2016-01-23

The Java Language Specification 3rd

This book attempts a complete specification of the syntax and semantics of the language.

2008-07-10

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人 TA的粉丝

提示
确定要删除当前文章?
取消 删除