Lecture Notes in Computer Science 3134 Extreme Programming and Agile Methods-XP/Agile Universe 2004
2004 年出版233 页ISBN：354022839X
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
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：
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN：3540255478
社会主义经济学通论 中国转型期经济问题研究 research on the economic problems of transition period in China
谷书堂主编2006 年出版740 页ISBN：7040199718
本书是在第二版的基础上，维持由原有四部分组成的框架结构，而在内容、视角、分析方法等方面进行了充实、丰富、深化和提高。第一篇经济转型和体制选择着重讨论作为中国的理论经济学所应具有的性质和目标，并特别...
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
