自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

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

原创 Ubuntu14.04中安装python的gui(idle),并安装jieba,numpy,scipy和matplotlib

1.安装Python的GUI(IDLE)自认为python的GUI

2014-09-28 18:51:16 6038 1

原创 关于扑克牌洗牌的程序---Ubuntu LinuxC++程序/g++编写但会导致Ubuntu12.04出现Core Dumps(小心使用)

#include #include using namespace std;struct Poker{     char pt;//点数      char st;//花色     }; char Point(int i){     switch(i)     {      case 0: return 'K';      case 1: return

2013-01-27 21:18:53 759

原创 Ubuntu12.04LTS中安装和使用Spin

一、安装spin和ispin说明:本方法是建立在读者已经安装了Ubuntu Linux操作系统的基础之上的。步骤0    安装之前读者应该先下载spin和ispin的压缩文件下载地址:http://spinroot.com/spin/Src/index.html这里选择Current Version 6.2.3spin623.tar.gz (462k)和ispin.tcl, s

2013-01-27 21:07:09 1997

Principles of Model Checking

该书详细地介绍了ModelChecking的基本原理,适合于初学者

2013-01-27

空空如也

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

TA关注的人

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