Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Short protocols in cell biology science a compendium of methods from Current protocols in cell biolo
Juan S. Bonifacino ; Mary Dasso ; Joe B. Harford ; Jennifer Lippincott-Schwartz ; Kenneth M. Yamada2004 年出版802 页ISBN：0471483397
Lecture Notes in Computer Science 3806 Web Information Systems Engineering-WISE 2005 6th Internation
2005 年出版771 页ISBN：3540300171
Lecture Notes in Computer Science 4831 Web Information Systems Engineering-WISE 2007 8th Internation
2007 年出版675 页ISBN：9783540769927
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
CHEMICAL ENGINEERING METHODS AND TECHNOLOGY NON-PHOSGENE POLYCARBONATE FROM CO2 INDUSTRIALIZATION OF
SHINSUKE FUKUOKA2012 年出版315 页ISBN：1614708773
