Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
Nanoscale Calibration Standards and Methods Dimensional and Related Measurements in the Micro-and Na
Gunter Wilkening2005 年出版522 页ISBN：
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN：981022804X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
Shari'a and Social Engineering The Implementation of Islamic Law in Contemporary Aceh
Indonesia2013 年出版335 页ISBN：0199678846
Lecture Notes in Computer Science 4495 Advanced Information Systems Engineering 19th International C
CAiSE 20072007 年出版606 页ISBN：9783540729877
Lecture Notes in Computer Science 3520 Advanced Information Systems Engineering 17th International C
CAiSE 20052005 年出版584 页ISBN：3540260951
Lecture Notes in Computer Science 3084 Advanced Information Systems Engineering 16th International C
CAiSE 20042004 年出版596 页ISBN：3540221514
Lecture Notes in Artificial Intelligence 4335 Engineering Self-Organising Systems 4th International
ESOA 20062007 年出版211 页ISBN：9783540698678
