kv32568cat

模型检测工具过程分析试剂盒 (PAT)。patisabletoscope mrefinentcheck 、 ltl 模型检查和模拟。

需要电脑上安装了AdobeAIR可以在线收听BBC广播

zotero用于管理参考文献，本质上是FireFox浏览器的插件。它突破了传统管理参考文献的思路：参考文献应该直接从浏览器获取，而不是间接性地由人工下载添加进某个管理软件中，而且参考文献中的各项信息应该由计算机和软件自动识别完成，而不是由人主观识别复制粘贴到管理软件中。它最初基于FireFox开发，

javamail.jar包以及对应的源码，该版本为1.5.2版，使用javamail.jar可以发送邮件