形式逻辑
金岳霖
社会学的邀请
[美] 乔恩·威特 & 林聚任 等
大学的邀请 (1)
A Philosophy of Software Design
John Ousterhout
A Philosophy of Software Design (2)
密码学
[德]韦尔施巴赫
计算机科学丛书 (1)
The Short Introduction to LaTeX2e (Chinese Simplified)
未知