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
A PROBLEM SOLVING APPROACH TO NURSING CARE PLANS A PROGRAM SECOND EDITION
BARBARA ANN VITALE NANCY SCHULTZ LATTERNER PATRICIA MARY NUGENT1978 年出版134 页ISBN：080165243X
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
HEALTH FITNESS MANAGEMENT A COMPREHENSIVE PESOURCE FOR MANAGING AND OPERATING PROGRAMS AND FACILITIE
1998 年出版528 页ISBN：0880115599
EMPHASIS ART:A QUALITATIVE ART PROGRAM FOR ELEMENTARY AND MIDDLE SCHOOLS SIXTH EDITION
1997 年出版362 页ISBN：0673997367
