Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3807 Web Information Systems Engineering-WISE 2005 Workshops WISE
2005 年出版275 页ISBN:354030018X
ARTIFICIAL INTELLIGENCE and STRUCTURAL ENGINEERING
B.H.V.TOPPING1991 年出版320 页ISBN:
Lecture Notes in Computer Science 3277 Job Scheduling Strategies for Parallel Processing 10th Intrna
JSSPP 20042005 年出版317 页ISBN:3540253300