PREDICATE CALCULUS AND PROGRAM SEMANTICS
EDSGER W.DIJKSTRA，CAREL S.SCHOLTEN1990 年出版220 页ISBN：7506210444
PARALLEL MIMD COMPUTATION：THE HEP SUPERCOMPUTER AND ITS APPLICATIONS
J.S.KOWALIK2222 年出版411 页ISBN：0262111012
Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN：0792393710
BREAKING RACIAL BARRIERS:AFRICAN AMERICANS IN THE HARMON FOUNDATION COLLECTION
1997 年出版126 页ISBN：0764903322
Parallel-Vector Equation Solvers for Finite Element Engineering
Duc Thai Nguyen2001 年出版344 页ISBN：9780306466403;0306466406
SYMPOSIA OF THE GIOVANNI LORENZINI FOUNDATION VOLUME 2 GENETIC ENGINEERING
H.W.BOYER AND S.NICOSIA2222 年出版300 页ISBN：0444800654
大学计算机基础 ＝ UNIVERSITY COMPUTER FOUNDATION
邓海，曾日波主编；罗翠兰，彭志宏副主编2015 年出版282 页ISBN：711538729X
本书以Windows 7和Office 2010为平台向读者介绍计算机的基础知识和基本操作，共分为8章，分别介绍计算机基础知识，Windows 7操作系统，Office 2010办公软件与应用多媒体技术计算机网络与Internet,计算机信息安全，程...
