动态弹性约束的满足及其对人工智能规划的应用

本书是由施普林格出版社出版的《优秀博士论文》丛书中的一本。该丛书是以英国计算机教授与系主任会议和英国计算机协会（BCS）的名义出版的，每年从英国计算机科学博士论文中遴选最好的论文出版。     

算法分析适用数学

算法分析是指计算机方法的有效性的定量研究，它要求研究者对计算机科学及数学两个方面都有深刻的理解。本书是由美国斯坦福大学计算机科学的高级课程讲授中产生的一本专著，给出在算法分析中经常使用的一些数学方法，如组合分析技巧、复分析方法，特别强调对数学概念的准确理解，原书于1981年作为《计算机科学与应用逻辑》丛书的第1卷出版，现在按1990年第三版重印。     

化合物半导体集成电路

本书是新加坡世界科技出版公司出版的《电子学与系统专题》丛书的第29卷。《国际高速电子学与系统杂志》专刊评述了化合物半导体集成线路中最近的研究工作，本书是该专刊以书的形式的重印本，覆盖了应用、频率和材料等各个方面，涉及数字、模拟、微波和毫米波技术，用于电话线光纤光波传输的器件与集成电路、无绳无线电频率微波与毫米波通讯，     

利用数字信号处理算法的通讯系统设计

本书是施普林格出版社出版的《信息技术：传输、处理与存储丛书》中的一卷。它的第一版于1993年1月出版。这本教课书是为电气工程专业大学四年级学生设计的,它利用了具有实时DSK硬件的实际实验室实验,仔细地研究了数字信号处理（DSP）与通讯系统的理论概念。第一版时作者以较老的德州仪器模型为蓝本,这次新版对实验进行了更新,包括了TMS320C6713DSK的学者套件,同时仍保留了与其他DSP插件板的关系。     

能源节约的潜在能力——对其关系、规模、决定因素的分析

本书是由Physica-Verlag出版社和弗劳恩霍夫系统与创新研究所（ISI）共同出版的《技术、创新及政策丛书》第15卷。经济学评估研究表明，投资成本会因能量成本的节约和其他益处所降低。本书对潜在能力的大小进行评估，研究了以下三个问题：1．什么是评估潜在能力存在及规模的理论框架；2．是否存在潜在能力；3．潜在能力有多大，是什么决定了它的大小。     

高级BDD最优化

近20年来，超大规模集成（VLSI）电路和系统的计算机辅助设计（CAD）的方法和工具有了很大发展，这是科学与工业合作的重要成果，它得益于简化有序二元设计图解（BDD）的应用及Boole可满足性（SAT）的概念，并且反过来推动了后者的发展。本书较全面系统地论述了BDD最优化，给出有关概念、基本理论和方法，包括现行的各种算法、应用实例、发展趋势，讨论了它与VLSICAD的其他一些活跃领域的关系。本书在理论与实用之间架设了桥梁，弥合了两者间的空隙。     

协同计算机与认知神经网络从上至下的方法

本书是施普林格出版社出版的《协同技术》丛书中的一本，第一版于1991年出版。本书介绍了一种新颖的神经网络方法，对迄今所知的神经计算机提供一个真正的可供选择的方法。作者发现在模式识别与远离平衡的开放系统中，模式的形成非常类似，然后使用了协同技术的数学工具有系统地阐述了协同计算机的概念，最后提出了一个模式识别学习的完整与严格的理论。     

2004年科学和工程中的计算方法国际会议论文集

本书是VSP出版公司系列出版物《计算机与计算科学讲座系列》丛书的第1卷，是2004年11月19—23日在希腊举行的“科学和工程中的计算方法”国际会议（ICCMSE 2004）的论文集。该会议由欧洲科学与工程中的计算方法协会（ESCMSE）组织，目的是聚集全世界计算科学及应用领域的专家交流和探讨现代计算科学的各种技术及应用。大会包括16个邀请报告（作者为西欧、北美的权威学者）。     

交互式机器网络——复杂工业系统与生物细胞中的生成组织

本书是世界科技出版社出版的“世界科技复杂系统讲座笔记”的第3卷。它专门讨论了复杂生成系统的相似性和不同之处，无论该系统是自然的（例如生物细胞）还是人造的（例如经济系统和工业生产），必须通过模拟及基本模型来理解一个给定的供应网络对一具体事件的反应，以及它对参数改变及控制作用的瞬时响应，因为大多数的生成系统是高度随机而且是事件驱动的。     

微米和纳米尺度下的生物力学 第1卷

日本教育文化体育与科学技术部（MEXT）在2003年提出了为期4年的“微米和纳米尺度下的生物力学”研究项目。14位13本著名的研究员参加了这个项目。研究分为四个领域：细胞力学、细胞对力学刺激的响应、组织工程和计算生物力学。这四个领域就是本书的四章。该研究项目的成果将以系列丛书的方式出版，本书就是该丛书中的第一卷，本书反映13本在这个项目上的研究水平和发展方向。