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：
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN：3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN：3540230130
USING AND PROGRAMMING THE IBM PCJRR INCLUDING 77 READY-TO-RUN PROGRAMS
FREDERICK HOLTZ2222 年出版245 页ISBN：0830618309
Concepts of pattern grading : techniques for manual and computer grading second edition
Kathy K.Mullet carolyn l.moore margaret prevatt young2009 年出版220 页ISBN：1563676970
