ЭКОНОМИЧЕСКАЯ ЭФФЕКТИВНОСТЬ ДЕЯТЕЛЬНОСТИ РЕГИОНАЛЬНОГО НАУЧНОГО КОМПЛЕКСА
- 出版社ИЗДАТЕЛЬСТВО 《НАУКА》ЛЕНИНГРАДСКОЕ ОТДЕЛЕНИЕ
- 标注页数158 页
- 文件页数157 页
- 文件大小7.32 MB
- 出版时间1986
Making CEGAR More Efficient in Software Model CheckingTian, Cong; Duan, Zhenhua; Duan, Zhao · IEEE Transactions on Software Engineering · 2014
Framed temporal logic programmingZhenhua Duan; Xiaoxiao Yang; Maciej Koutny · 2008
A logic for biological systemsZhenhua Duan; Mike Holcombe; Alex Bell · 2000
Operational semantics of Framed TempuraXiaoxiao Yang; Zhenhua Duan · 2008
New books: Publishers' announcementsZhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Dingzhu · Journal of Medieval History · 1975
Secure communications with strange planet protocolCong Tian, Zhenhua Duan, Jin Liu · 2014
An extended strange planet protocolLiu, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan · Journal of Combinatorial Optimization · 2015
最新Photoshop CS2入门与提高知新文化编著 · 科学出版社；科学出版社 · 2007
环境影响评价实训教程宋保平，彭林主编；张素珍副主编 · 北京：中国环境科学出版社科学出版社 · 2016
环境监测“十三五”发展与改革研究中国环境监测总站编著 · 北京：中国环境科学出版社科学出版社 · 2016
绿色低碳能源曾胜，靳景玉，毛跃一著 · 北京：中国环境科学出版社科学出版社 · 2016
区域电力生态系统调控理论与实证研究吕连宏，罗宏著 · 北京：中国环境科学出版社科学出版社 · 2016
软件技术基础胡维华主编；本书编委会编著 · 杭州：浙江科学技术出版社；北京：科学出版社 · 2004
小学生百科知识问答 1陈效一，张溉主编 · 哈尔滨：黑龙江科学技术出版社；广州：广东科技；南昌：江西科学技术；北京：科学普及出版社 · 1991
小学生百科知识问答 3陈效一，张溉主编 · 哈尔滨：黑龙江科学技术出版社；广州：广东科技；南昌：江西科学技术；北京：科学普及出版社 · 1991