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
Concepts of pattern grading : techniques for manual and computer grading second edition
Kathy K.Mullet carolyn l.moore margaret prevatt young2009 年出版220 页ISBN：1563676970
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
SYSTEMS THAT LEARN AN INTRODUCTION TO LEARNING THEORY FOR COGNITIVE AND COMPUTER SCIENTISTS
DANIEL N.OSHERSON1986 年出版208 页ISBN：
Learning OpenCV3 computer vision in C++with the openCV library
Adrian Kaehler and Gary Bradski2017 年出版992 页ISBN：1491937990
THE ART OF COMPUTER PROGRAMMING VOLUME 1：FUNDAMENTAL ALGORITHMS （THIRD EDITION）
[美]DONALD E.KNUTH著2008 年出版650 页ISBN：
