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
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 948 HIGH-TC SUPERCONDU
1988 年出版106 页ISBN：0892529830
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 718 FIBER OPTIC AND LA
1986 年出版295 页ISBN：0892527536
PROCEEDINGS OF SPIE-THE INTERNAITONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 549 IMAGE QUALITY:AN OV
1985 年出版166 页ISBN：0892525843
Proceedings of SPIE-The International Society for Optical Engineering Volume 721 Fiber Optics in Adv
1987 年出版132 页ISBN：0892527560
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 431 REAL TIME SIGNAL P
2222 年出版301 页ISBN：0892524669
