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：
PROPOSED STANDARD CODE FOR CONCRETE REACTOR VESSELS AND CONTAINMENTS (Proposed Section III
Division 2) ASME Boiler and Pressure Vessel Code1973 年出版357 页ISBN：
PHYSICS OF ELECTROLYTES VOLUME 2 THERMODYNAMICS AND ELECTRODE PROCESSES IN SOLID STATE ELECTROLYTES
J.HLADIK2222 年出版1163 页ISBN：0123498023
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
PROBLEMS IN DISTRIBUTIONS AND PARTIAL DIFFERENTIAL EQUATIONS NORTH-HOLLAND MATHEMATICS STUDIES 143
C.ZUILY2222 年出版245 页ISBN：0444702482
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN：354036014X
Democratization and Conflict Management/Prevention In Southeast Asia in the 21st Century
Pranee Thiparat2001 年出版336 页ISBN：9741314655
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN：354029810X
STUDIES IN THE NATURAL SCIENCES VOLUME 8 PROGRESS IN LASERS AND LASER FUSION
ARNOLD PERLMUTTER1975 年出版416 页ISBN：0306369087
