1
民族院校哲学社会科学与民族院校改革发展

Cover is for reference only
Main Authors: 雷召海 (主编); 吴尽昭 (主编)
Published: 民族出版社
Publication Dates: 2014
Call Number: C53/1613-1
Book
Save to List
Saved in:
2
交互式马尔可夫链 并发系统的设计、验证与评价

Cover is for reference only
Main Authors: 吴尽昭 (著); 王永祥 (著); 覃广平 (著)
Published: 科学出版社
Publication Dates: 2007
Call Number: O211.62/6876
Book
Save to List
Saved in:
3
进程代数 对称与动作细化

Cover is for reference only
Main Authors: 王永祥 (著); 吴尽昭 (著); 蒋建民 (著)
Published: 科学出版社
Publication Dates: 2007
Call Number: TP301.6/1133
Book
Save to List
Saved in:
4
模型检测

Cover is for reference only
Main Authors: 美 克拉克 Clarke, Edmund M (著); 美 Grumberg Orna (著); 美 Peled Doron A (著)
Group Author: 吴尽昭 (1965-) (译); 何安平 (译); 高新岩 (1976-) (译)
Published: 电子工业出版社
Publication Dates: 2018
Call Number: TP274/4254-1
Book Online Online
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —