formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
Microprogrammable Parallel Computer MUNAP and Its Applications
Takanobu Baba1987 年出版291 页ISBN：
SYSTEMS ANALYSIS AND DESIGN FOR COMPUTER APPLICATIONS
D.MILLINGTON1981 年出版224 页ISBN：
Process Control Computer Technology:A Programmed Introduction
Peter Schafer1978 年出版297 页ISBN：
COMPUTER MUSIC MODELING AND RETRIEVAL INTERNATIONAL SYMPOSIUM
CMMR 20032004 年出版247 页ISBN：3540209220
PROBLEM SOLVING WITH C++ THE OBJECT OF PROGRAMMING FIFTH EDITION
（美）萨维奇（Savitch，W.）著2006 年出版936 页ISBN：7040183625
本书是畅销书作家Walter Savitch的一部力作，涵盖了C++和基本程序设计方法的内容，帮助学生深刻理解基本程序设计工具以构造自定义类。本版编写体例适用于教学，各章内容相对独立且不失连贯性。内容清晰，编写方式...
Lecture Notes in Computer Science 3624 Approximation
Randomization and Combinatorial Cptimization Algorithms and Techniques2005 年出版494 页ISBN：3540282394
