Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
PROCEEDING OF THE 2007 ACMSIGPLAN SYMPOSIUM ON PRICIPLES AND PRACTICE OF PARALLEL PROGRAMMING
2007 年出版274 页ISBN：9781595936028
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
Lecture Notes in Computer Science 3349 Shared Memory Parallel Programming with OpnMP 5th Internation
WOMPAT 20042005 年出版149 页ISBN：354024560X
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN：0876267266
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Artificial Intelligence 3625 Inductive Logic Programming 15th International Confere
ILP 20052005 年出版427 页ISBN：3540281770
Lecture Notes in Artificial Intelligence 4455 Inductive Logic Programming 16th International Confere
ILP 20062007 年出版456 页ISBN：9783540738466
Lecture Notes in Artificial Intelligence 3194 Inductive Logic Programming 14th International Confere
ILP 20042004 年出版361 页ISBN：3540229418
Parallel programming in C with MPI and OpenMP = 并行程序设计 C、MPI 与 OpenMP
Michael J. Quinn2005 年出版526 页ISBN：730211157X
本书以C语言为基础，结合MPI和OpenMP进行并行程序设计，不仅介绍了各种并行算法的原理，而且给出了C语言的实现代码，是一本优秀的并行程序设计教材。...
