Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
USING AND PROGRAMMING THE IBM PCJRR INCLUDING 77 READY-TO-RUN PROGRAMS
FREDERICK HOLTZ2222 年出版245 页ISBN:0830618309
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
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
CONFERENCE RECORD OF THE TENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
2222 年出版312 页ISBN:0897910907
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