全部 仅显示有全文权限
学科
数学 (11)
计算机科学技术 (5)
信息与系统科学相关工程与技术 (4)
电子与通信技术 (3)
物理学 (3)
信息科学与系统科学 (3)
水利工程 (2)
生物学 (2)
机械工程 (2)
地球科学 (2)
统计学 (2)
材料科学 (2)
化学工程 (1)
化学 (1)
经济学 (1)
自然科学相关工程与技术 (1)
管理学 (1)
核科学技术 (1)
力学 (1)
安全科学技术 (1)
药学 (1)
能源科学技术 (1)
环境科学技术及资源科学技术 (1)
基础医学 (1)
动力与电气工程 (1)
图书类型
专著 (32)
出版时间
2002 (1)
2000 (2)
1999 (3)
1998 (5)
1997 (2)
1996 (3)
1995 (2)
1993 (14)
共计:32种图书 , 显示 1到10
导出 荐购: 全选 | 自选
作者: 张健著
ISBN: 7030083644
出版社: 科学出版社
出版日期: 2000-10
简介: 本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
作者: 白春礼等著
ISBN: 7030054016
出版社: 科学出版社
出版日期: 1996-09
简介: 本书详细论述了当前十分活跃的研究领域三链核酸研究的历史、现状、最新科研成果和发展方向,尤其对三链核酸的结构和生物化学方面进行了较为详细的探讨和论述。作者根据自己在这一领域的研究成果,并参考了数百篇国内外文献编写了本书。
本书适合大学高年级学生、研究生及科研和教学人
作者: 乔中,王光远著
ISBN: 7030053354
出版社: 科学出版社
出版日期: 1996-10
简介: 本书系统地介绍了作者近年来在不确定性数学规划——模糊随机规划理论方面的研究成果.书中前两章分别介绍了不确定性数学规划产生的工程背景、研究现状以及建立模糊随机规划理论所需要的有关模糊数、模糊随机变量方面的基本知识.第三章论述了模糊随机线性规划的基本理论与方法.为了建立模糊随机非线性
作者: 袁亚湘,孙文瑜著
ISBN: 703005413X
出版社: 科学出版社
出版日期: 1997-01
简介: 本书全面、系统地介绍了无约束最优化、约束最优化和非光滑最优化的理论和计算方法,它包括了近年来国际上关于优化研究的最新成果.
本书可作研究生教材,可供从事计算数学、应用数学、运筹学和计算技术的科研人员参考.
作者: 吴微著
ISBN: 7030039874
出版社: 科学出版社
出版日期: 1993-12
简介: 本书研究近年来非线性问题的一大热门——分枝问题,即研究非线性方程的解的个数和稳定性随参数的变化的问题。这方面结果是对非线性动力系统进一步研究(例如系统的终极状态、吸引子、混沌等等)的基础。我们特别注意到带有各种对称性的非线性方程,并采用扩展方程方法作为本书的框架,这样在理论上常常
作者: 韩正之
ISBN: 7030039807
出版社: 科学出版社
出版日期: 1993-12
简介: 论述控制系统的几何理论,研究了大系统的分散控制,讨论分散固定模分类、分散干扰解耦的相容性一系列新课题。
作者: 王明新著
ISBN: 7030039793
出版社: 科学出版社
出版日期: 1993-12
简介: 内容包括:抛物型方程的行波解、半线行抛物型方程的初边值等问题、方程组正平衡解分支与稳定性等。
作者: 张丰收,葛凌宵著
ISBN: 7030066812
出版社: 科学出版社
出版日期: 1998-10
简介:
作者: 王利生著
ISBN: 7030088662
出版社: 科学出版社
出版日期: 2002-07
简介: 本书介绍了油气田开发和石油化工领域进行高压相平衡的传递性质研究的基本准则、研究背景及应用;回顾了有关热力学模型的研究进展;介绍了立方扰动硬链方程的开发及其应用于高压油气藏流体相平衡预测的研究进展。
作者: 张登国编著
ISBN: 7030069579
出版社: 科学出版社
出版日期: 1998-11
简介:
跳至

返回顶部