Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN：1615207299
MATHEMATICS OF SHAPE DESCRIPTION A Morphological Approach to Image Processing and Computer Graphics
2008 年出版254 页ISBN：9780470823071
Lecture Notes in Computer Science 4572 Security and Privacy in Ad-hoc and Sensor Networks 4th Europe
ESAS 20072007 年出版247 页ISBN：9783540732747
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
