Internetworking with TCP/IP Volume III:Client-Server Programming And Applications BSD Socket Version
Douglas E.Comer and David L.Stevens1998 年出版519 页ISBN:7302029482
Parallel programming in C with MPI and OpenMP = 并行程序设计 C、MPI 与 OpenMP
Michael J. Quinn2005 年出版526 页ISBN:730211157X
本书以C语言为基础,结合MPI和OpenMP进行并行程序设计,不仅介绍了各种并行算法的原理,而且给出了C语言的实现代码,是一本优秀的并行程序设计教材。...
EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE
NICHOLAS RESCHER2222 年出版140 页ISBN:
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN:0521876591
PROLOG PROGRAMMING:A TUTORIAL INTRODUCTION
CARLTON MCDONALD MASOUD YAZDANI2222 年出版210 页ISBN:0632012463
SRINIVAS DEVADAS ABHIJIT GHOSH KURT KEUTZER1994 年出版405 页ISBN:0070165009