傳值CCS和π-演算互模擬等價的驗證理論和算法

定　價：￥28.00

作　者：	李舟軍
出版社：	國防科技大學出版社
叢編項：	國防科學技術(shù)大學全國優(yōu)秀博士學位論文叢書
標　簽：	方法

購買這本書可以去

中國圖書網(wǎng) (￥25.20)

ISBN：	9787810991520	出版時間：	2005-04-01	包裝：	平裝
開本：	16開	頁數(shù)：	165	字數(shù)：

內(nèi)容簡介

　　全書共分11章，內(nèi)容包括：緒論、局域熱動平衡的輻射輸運方程和平均不透明度、等離子體輻射吸收系統(tǒng)和原子輻射躍進理論、粒子占據(jù)數(shù)的計算、原子及其離子的能級結(jié)構(gòu)和光學振子強度、電子與原子的碰撞和譜線的電子碰撞展寬等。

作者簡介

　　男，1963年9月出生于湖南省湘鄉(xiāng)縣。1984年武漢大學計算機系本科畢業(yè)，1986年國防科技大學計算機系研究生畢業(yè)留校工作，1999年在本校獲得博士學位?，F(xiàn)任國防科技大學計算機學院教授、博士生導(dǎo)師，歐洲理論計算機科學協(xié)會會員，ICYCS'2001和BASIC'2001等國際會議的程序委員會委員。長期從事計算機科學理論的教學和研究工作。先后承擔和主持多個國家自然科學基金和國家863計劃項目。在《中國科學》等刊特和ICALP'98等理論計算機科學的國際會議上發(fā)表論文40多篇，其中SCI收錄6篇，EI收錄10余篇。