DESIGN FOR GOOD READING:A READING SKILLS PROGRAM LEVEL A NEW EDITION
MELBA SCHUMACHER GEORGE B.SCHICK BERNARD SCHMIDT1969 年出版0 页ISBN：
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
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
STEPPING INTO CAD A Technical Drafting Workbook Using The AutoCAD TM Microcomputer Program
1986 年出版256 页ISBN：0934035059
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
CONFERENCE RECORD OF THE TENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
2222 年出版312 页ISBN：0897910907
