Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
HEALTH FITNESS MANAGEMENT A COMPREHENSIVE PESOURCE FOR MANAGING AND OPERATING PROGRAMS AND FACILITIE
1998 年出版528 页ISBN:0880115599
GEOMETRY AND THERMODYNAMICS COMMON PROBLEMS OF QUASI-CRYSTALS
LIQUID CRYSTALS2222 年出版466 页ISBN: