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
Lecture Notes in Computer Science 141 GAG:A Practical Compiler Generator
1982 年出版156 页ISBN：3540115919
Concepts of pattern grading : techniques for manual and computer grading second edition
Kathy K.Mullet carolyn l.moore margaret prevatt young2009 年出版220 页ISBN：1563676970
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：
INTRODUCTION TO BUSINESS STATISTICS A COMPUTER INTEGRATED APPROACH FOURTH EDITION
ALAN H.KVANLI C.STEPHEN GUYNES ROBERT J.PAVUR1986 年出版964 页ISBN：
WHO MOVED MY CHEESE? AN A-MAZING WAY TO DEAL WITH CHANGE IN YOUR WORK AND IN YOUR LIFE
2002 年出版96 页ISBN：0399144463
