Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN:3540236112
Methods in Enzymology Volume 400 Phase II Conjugation Enzymes and Transport Systems
Helmut Sies2005 年出版695 页ISBN:
Lecture Notes in Computer Science 4638 Engineering Stochastic Local Search Algorithms Designing
Implementing and Analyzing Effective Heuristics2007 年出版223 页ISBN:9783540744450
CAD84 6th International Conference and Exhibition on Computers in Design Engineering
1984 年出版607 页ISBN:0048014407
Handbook of research on emerging advancements and technologies in software engineering
Imran Ghani ; Wan Mohd Nasir Wan Kadir ; Mohammad Nazir Ahmad2014 年出版688 页ISBN:1466660267