Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN:
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN:354025336X
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN:
PROCEEDINGS:VOLUME II SYMPOSIUM ON CONDENSING HEAT EXCHANGERS March 3-4
19821982 年出版388 页ISBN:
PROCEEDINGS:VOLUME II Symposium On Condensing Heat Exchangers March 3-4
19821982 年出版391 页ISBN: