自定义博客皮肤VIP专享

*博客头图：

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

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

博客底图：

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

栏目图：

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

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

zhzhzhh的专栏

  • 博客(0)
  • 资源 (3)
  • 收藏
  • 关注
排序：
按最后发布时间
按访问量
RSS订阅

空空如也

逻辑建模工具Alloy用户手册
逻辑建模工具Alloy用户手册，这是第二版Alloy的教学材料

2009-04-28

计算机基础理论：形式语言理论简介
详细介绍形式语言理论，介绍各类文法及相应的自动机，及其相互转化的算法，介绍图灵机，不可判定性等概念。

2008-12-27

数学书：抽象和线性代数基础
讲述抽象代数基本概念群、环、域和线性代数的基本概念。

2008-12-26

空空如也

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

TA关注的人

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