Lecture Notes in Computer Science 4805 On the Move to Meaningful Internet Systems 2007:OTM 2007 Work
2007 年出版757 页ISBN：9783540768876
Lecture Notes in Computer Science 3762 On the Move to Meaningful Internet Systems 2005:OTM 2005 Work
2005 年出版1228 页ISBN：3540297391
Lecture Notes in Computer Science 3292 On the Move to Meaningful Internet Systems 2004:OTM 2004 Work
2004 年出版885 页ISBN：3540236643
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
Lecture Notes in Computer Science 4277 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版1009 页ISBN：3540482695
Lecture Notes in Computer Science 4278 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版2013 页ISBN：3540482733
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
数据建模 分析与设计的工具和技术 Tools and Techniques for Analysis and Design
（美） Steve Hoberman著；贾爱霞，程耀译2004 年出版377 页ISBN：7111143086
本书包括了作者在数据建模工作中创建和使用的一些电子表格，即书中所述的工具；这二十多个工具经过精心调试，用于改进数据库、数据仓库和操作型应用程序的速度、准确性、适应性和一致性。...
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
