- 博客(5)
- 资源 (3)
- 收藏
- 关注
RSS订阅转载 sql语句练习50题
Student(Sid,Sname,Sage,Ssex) 学生表Course(Cid,Cname,Tid) 课程表SC(Sid,Cid,score) 成绩表Teacher(Tid,Tname) 教师表练习内容：1.查询“某1”课程比“某2”课程成绩高的所有学生的学号；SELECT a.sid FROM (SELECT sid,score FROM S
2015-10-16 10:47:15
867
原创 网络基础知识
几句话掌握子网掩码、ip地址、主机号、网络号、网络地址、广播地址 1、191.172.16.10.33/27 中的/27也就是说子网掩码是255.255.255.224 即27个全1 2.从子网掩码255.255.255.252得出其网络位为30位，所以只有剩下的2位为主机位，主机位全零的为网络地址，主机位全1的为广播地址，剩余的主机号码为主机地址范围 3.公有地址（Pub
2015-08-25 12:32:55
231
转载 有关期刊投稿
1 计算机学报 北京 中国计算机学会等2 软件学报 北京 中国科学院软件研究所3 计算机研究与发展 北京 中国科学院计算技术研究所等4 自动化学报 北京 中国科学院等5 计算机科学 重庆 国家科技部西南信息中心6 控制理论与应用 广州 中国科学院系统科学研究所等7
2015-08-18 17:11:58
2735
原创 安装并启用ispin
结合百度文库里面《SPIN安装步骤》和《SPIN安装及模型验证实验报告》两篇文章可以知道安装了cygwin后应该勾选什么选项，最好把有gcc-core和gcc-g++，还有x11里面的都装上，启用ispin是打开cygwin终端，输入startx，然后在出来的小窗口里面输入ispin即可。
2015-07-10 00:15:31
1056
From NuSMV to SPIN Experiences with model checking.pdf
2015-06-16
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人