形式化 寒假任务： 《Learning Markov Decision for ModelChecking》 《Approximate Probablistic Model Checking for Programs》 《Towards a Theory for Cyber-Physical Sys ...
分类：
其他好文 时间：
2017-01-16 22:34:35
阅读次数：
262
The Top 50 Proprietary Programs that Drive You Crazy — and Their Open Source Alternatives 01 / 22 / 2013 By Josh Weikel No Comments Posted in Software ...
分类：
其他好文 时间：
2017-01-12 12:20:43
阅读次数：
397
今天无意间看到了vbs这小玩意，就突发奇想，自学了一下，倒弄出如下的小玩意，大牛勿喷！这个可用做撩妹神技也可以用于提醒自己！使用方法：复制程序到txt文本里面保存，然后改后缀为vbs，丢到C:\ProgramData\Microsoft\Windows\Start Menu\Programs\Sta ...
分类：
其他好文 时间：
2017-01-08 22:49:09
阅读次数：
406
C:\Users\DELL\AppData\Local\Programs\Python\Python35\python.exe I:/untitled1/b.py(12, 'aa', 234) <class 'tuple'>{'nn': 4, 'kk': 1} <class 'tuple'>(1, ...
分类：
其他好文 时间：
2017-01-07 00:14:28
阅读次数：
210
Debug小技巧: 转载请声明本文的引用出处：仰望大牛的小清新 1.初次编程时，在每一个if后面都写上else，这样，如果你的else原本是不应该运行的，那么就可以在else中输出此时的状态信息便于排查bug 2.不要嵌套太多的if(比如超过2层)，因为嵌套多意味着需要来回查看不同层次的条件，尝试用 ...
分类：
编程语言 时间：
2017-01-04 18:36:42
阅读次数：
259
COMPUTER ORGANIZATION AND ARCHITECTURE DESIGNING FOR PERFORMANCE NINTH EDITION In this section, we look at some of the general characteristics of and ...
分类：
其他好文 时间：
2017-01-04 12:53:07
阅读次数：
200
class Programs { public static void OP() { Student[] stuinfo = new Student[] { new Student("HB001","Tom",'男',20,new List(new Archement[... ...
分类：
其他好文 时间：
2016-12-26 00:26:38
阅读次数：
148
http://dev.mysql.com/doc/refman/5.7/en/error-messages-server.html B.3 Server Error Codes and Messages MySQL programs have access to several types of e ...
分类：
数据库 时间：
2016-12-23 16:38:45
阅读次数：
187
1. JS programs are programed by Unicode character. 1.1 JS programs are case-sensitive. HTML--non-case-sensitive. XHTML--case-sensitive. When objects a ...
分类：
Web程序 时间：
2016-12-21 20:47:53
阅读次数：
209
Say we have installed qt programs and we want to run qtcreator from the command line. What we need here is only to put a soft link to the qtcreator we ...
分类：
系统相关 时间：
2016-12-21 09:26:48
阅读次数：
251
