Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN：
COMMUNICATING WITH MICROCOMPUTERS AN INTRODUCTION TO THE TECHNOLOGY OF MAN-COMPUTER COMMUNICATION
IAN H.WITTEN2222 年出版163 页ISBN：0127607501
Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20052005 年出版410 页ISBN：3540261524
Lecture Notes in Computer Science 3990 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20062006 年出版300 页ISBN：3540343067
Lecture Notes in Computer Science 4510 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20072007 年出版390 页ISBN：9783540723967
Lecture Notes in Computer Science 3011 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20042004 年出版415 页ISBN：354021836X
THE ANALYSTICAL ENGINE AN INTRODUCTION TO COMPUTER SCIENCE USING HYPERCARD 2.1 SECOND EDITION
RICK DECKER STUART HIRSHFIELD1994 年出版391 页ISBN：0534936962
INTRODUCTION TO BUSINESS STATISTICS A COMPUTER INTEGRATED，DATA ANALYSIS APPROACH 5TH EDITION
ALAN H.KVANLI，ROBERT J.PAVUR AND C.STEPHEN GUYNES2000 年出版1087 页ISBN：0324012071
