Lecture Notes in Computer Science 4797 Database Programming Languages 11th International Symposium
DBPL 20072007 年出版262 页ISBN：9783540759867
Lecture Notes in Computer Science 3622 Advanced Functional Programming 5th International School
AFP 20042005 年出版359 页ISBN：3540285407
Design of machinery an introduction to the synthesis and analysis of mechanisms and machines
Robert L. Norton2003 年出版811 页ISBN：7111112474
全书分2篇，第一篇为机构运动学，主要介绍运动学基础、连杆机构综合图解少和解析法、连杆机构的运动分析、凸轮机构设计、齿轮和轮系设计；第2篇为机械动力学，主要介绍动力学基础、动力分析、平衡、发动机动力学、...
可靠性与维修性工程概论 An Introduction to Reliability and Maintainaility Engineering 英文 eng
（美）埃贝灵（Ebeling，C.E.）著2008 年出版486 页ISBN：9787302177548
本书是在国外被广泛采用的可靠性工程方面的入门教材，对概念、模型、方法等的阐述清晰易懂。内容主要有3部分：第1部分为基本模型，包括失效分布与模型、系统可靠性、可靠性物理模型、可靠性与维修性设计、可用性...
An introduction to XML query processing and keyword search = XML 数据查询和检索技术
Jiaheng Lu2013 年出版292 页ISBN：7302285632
本书系统、全面地阐述了最新的关于XML数据检索和查询方面的研究成果，包括XML数据的编码、索引、模式匹配，结果估计，关键词检索，查询改写等方面内容。本书主要强调内容的先进性，将作者最新的XML数据查询和检索的...
temporal logic and temporal logic progamming
duan zhenhua2222 年出版196 页ISBN：7030166515
本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
Lecture Notes in Computer Science 4719 Datatype-Generic Programming International Spring School
SSDGP 20062007 年出版369 页ISBN：9783540767855
COMPUTATIONAL CHEMISTRY:INTRODUCTION TO THE THEORY AND APPLICATION OF MOLECULAR AND QUANTUM MECHANIC
ERROL G.LEWARS2011 年出版664 页ISBN：7030332997
2003年第1版以来直到2009年底的重要进展，都已纳入本书新版中。重要的概念（例如，分子力学、从头计算、半经验及密度泛函理论）都辅以其扼要的历史背景和顶尖科学家的人物介绍。计算化学基础理论构架的阐述都配以...
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
