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：
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN：354026003X
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
CASES IN COLLECTIVE BARGAINING AND INDUSTRIAL RELATIONS:A DECISIONAL APPROACH SIX EDITION
STERLING H.SCHOEN AND RAYMOND L.HILGERT2222 年出版487 页ISBN：0256069905
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN：354029810X
STUDIES IN ELECTRICAL AND ELECTRONIC ENGINEERING 45 PULSE WIDTH MODULATED(PWM)POWER SUPPLIES
VALTER QUERCIOLI1993 年出版310 页ISBN：0444897909
Power electronics applied to industrial systems and transport Switching power supplies (Volume 3)
Nicolas Patin2015 年出版170 页ISBN：1785480027
