hn_hybiao
这家伙很懒,什么也没写
Computation Proof Machine Mathematics Enters a New Age
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - th
其它 7 0 PDF 2021-04-19 01:04:03
Is Parallel Programming Hard And If So What Can You Do About It
IsParallelProgrammingHard,And,IfSo,WhatCanYouDoAboutIt
Java 47 0 PDF 2019-07-30 05:07:45
bugzilla简体中文汉化包bugzilla.zh_CN.4.4rc2.20130401
翻译自bugzilla.zh-TW.4.4rc2.20130401繁体中文包,http://www.bugzilla.org/download/.适用于bugzilla3.6.134.0.114.2.74.4.1版本。使用方法:将解压后的zh-CN文件夹拷贝到bugzillan安装目录中的templ
Web服务器 39 0 RAR 2019-07-08 01:07:53
ReasonsandPersons
This book challenges, with several powerful arguments, some of our deepest beliefs about rationality, morality, and personal identity. The author clai
讲义 29 0 MOBI 2019-01-10 07:01:08
A Little Java A Few Patterns
Java is a new object-oriented programming language that was developed by Sun Microsystems for programming the Internet and intelligent appliances. In
其他 122 0 pdf 2018-12-28 14:12:41
Linux Programming Interface
The Linux Programming Interface (TLPI) is the definitive guide to the Linux and UNIX programming interface—the interface employed by nearly every appl
Linux 165 0 PDF 2018-12-14 14:12:22