Computer-Mediated Communication for Linguistics and Literacy:Technology and Natural Language Educati
2010 年出版374 页ISBN：9781605668680
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN：071676864X
Lecture Notes in Computer Science 3882 Database Systems for Advanced Applications 11th International
DASFAA 20062006 年出版923 页ISBN：3540333371
Lecture Notes in Computer Science 4542 Requirements Engineering:Foundation for Software Quality 13th
REFSQ 20072007 年出版383 页ISBN：9783540730309
Lecture Notes in Computer Science 3453 Database Systems for Advanced Applications 10th International
DASFAA 20052005 年出版929 页ISBN：3540253343
SYSTEMS THAT LEARN AN INTRODUCTION TO LEARNING THEORY FOR COGNITIVE AND COMPUTER SCIENTISTS
DANIEL N.OSHERSON1986 年出版208 页ISBN：
Proceedings of Third Intermational Conference for Toung Computer Scientists July 15-17，1993，Beijing，
Jianping Wu，Jin Yang，Wen Gao，Tamin Li1993 年出版907 页ISBN：7302008884
