HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
我喜欢的学校 通过孩子们的心声反思当今教育 children and young people's reflections on an education for the 21st century
（英）Catherine Burke，（英）Ian Grosvenor著；祝莉丽，张娜译2006 年出版183 页ISBN：7501953295
《我喜欢的学校》一书从学生的角度，描述了学校改革的新视野。该书的写作首先源于国外的一项研究，该研究采取征文的形式收集了大量儿童的图画和作文，描述了中小学生心目中理想的学校，然后邀请专家从教育教学的专...
EXTREME PROGRAMMING EXPLAINED：EMBRACE CHANGE
[美]贝克著2003 年出版190 页ISBN：7508313143
本书被奉为“极限编程的圣经”，它是极限编程的创始人Kent Beck呕心沥血之作，并获得当年的Jolt大奖。本书共分三部分，第1部分是问题提出部分，包括前9章，为读者提出了一个关于极限编程的大体概念。第2部分是方案提...
FUNDAMENTALS OF STRUCTURED PROGRAMMING USING FORTRAN WITH SF/K AND WATFIV-S
R.C.HOLT AND J.N.P.HUME1977 年出版349 页ISBN：0879093021
ANSI FORTRAN IV WITH FORTRAN 77 EXTENSIONS:A STRUCTURED PROGRAMMING APPROACH SECOND EDITION
J.W.PERRY COLE1978 年出版694 页ISBN：
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN：3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN：9783540721994
Lecture Notes in Computer Science 4279 Programming Languages and Systems 4th Asian Symposium
APLAS 20062006 年出版423 页ISBN：9783540489375
Lecture Notes in Computer Science 3676 Generative Programming and Component Engineering 4th Internat
GPCE 20052005 年出版448 页ISBN：3540291385
