Lecture Notes in Computer Science 2346 Innovative Internet Computing Systems Second International Wo
IICS 20022002 年出版253 页ISBN：3540437908
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
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：
RAISE THE FLOOR:WAGES AND POLICIES THAT WORK FOR ALL OF US
HOLLY SKLAR LARYSSA MYKYTA SUSAN WEFALD2001 年出版244 页ISBN：0896086836
The design of design essays from a computer scientist = 设计原本 计算机科学巨匠（英文版）
Frederick P. Brooks2011 年出版424 页ISBN：7111325031
GARY L.GAILE CORT J.WILLMOTT2222 年出版482 页ISBN：9027716188
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
