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
ANSI FORTRAN IV WITH FORTRAN 77 EXTENSIONS:A STRUCTURED PROGRAMMING APPROACH SECOND EDITION
J.W.PERRY COLE1978 年出版694 页ISBN：
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：
