国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。

带有截屏,调出网页源文件,全屏,的IE浏览器

C++ 访问DOM中文文档IHTML

想让你的IE浏览器支持IE吗，请用安装这款软件吧

轻轻一点，就可以恢复到IE原来的状态， @echo off cls color 2f echo. echo ================================================ echo 注意！ echo 请在开始修复前，关闭所有浏览器及其他应用程序窗口！ echo ================================================ echo. echo 准备好后按任意键继续…… pause>nul echo. echo 开始修复 IE 及相关的系统设置项目…… echo. reg add "HKLM\Software\Microsoft\Windows\CurrentVersion\Policies\System" /f /v DisableRegistryTools /t REG_DWORD /d 00000000>nul 2>nul reg add "HKCU\Software\Microsoft\Windows\CurrentVersion\Policies\System" /f /v DisableRegistryTools /t REG_DWORD /d 00000000>nul 2>nul reg add "HKLM\Software\CLASSES\.reg" /f /ve /d regfile>nul 2>nul echo 恢复EXE文件打开方式

一个windows下用来设置ie兼容的脚本，方便批量设置，不用每台机器都设置一遍了； 一个windows下用来设置ie兼容的脚本，方便批量设置，不用每台机器都设置一遍了

双击自动清理IE缓存，有助有小白进行自动清理IE缓存信息，方便快捷。

CCIE R&S路由与交换 CCIE SP 服务提供商认证考试指南

这是个基于IE内核的浏览器，使用 WIN32 API + ATL 开发。 编译环境 Visual Studio C++ 2013 ， 因此生成程序的体积是非常小，只有300多K， 但是具备了现代浏览器的基本功能，采用了多线程+多进程方式的方式来显示网页。 开发这个程序只用了两三个月时间， 时间很仓促而且个人精力有限，又是使用纯WIN32 API开发，因此功能有限。 以后若有需要再增加功能。 这个浏览器的对应BLOG文章： http://blog.csdn.net/fanxiushu/article/details/21837859 描述了这个浏览器开发的技术难点，希望能起到抛砖引玉的作用，给有需要的朋友提供一点帮助。

基于IE内核的浏览器的源代码，C++语言开发，WIN32 API，VS2013工具编译。 对应的博客文章 http://blog.csdn.net/fanxiushu/article/details/21837859 有兴趣可下载下去看看。