搜索包含 Herde 的图书 - 暨南大学图书馆 - page 1_大拱桥--暨南大学学生门户

百货商场蹭课公选课专业介绍图书馆珠区图书馆校卡消费同乡会 CET查分不服跑个分找室友

首页综合讨论区校本部珠海校区华文学院深圳校区南校区答疑通知信息公示规章制度

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Herde 的图书(共1本)

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [electronic resource] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

0
索取号：
作者：Herde、 Christian.、SpringerLink (Online service)、
出版社：Wiesbaden : Vieweg+Teubner, 2011.

信息栏

请关注本站的微博：

官方QQ群/2015新生群：

最新商品

[校本部]智圆行方的世界(8.00元)

[校本部]药理学实验教程(8.00元)

[校本部]"十二五"普通高等教育本科国家级规划教材•卫生部"十二五"规划教材•全国高等医药教材建设研究会"十二五"规划教材•全国高等学校教材(22.00元)

[校本部]物理化学实验(12.00元)

[校本部]物理化学简明教程(13.00元)

+我要卖书 +我卖其他商品

© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号

Last Updated On 20150305 By Carbon Forum (联系我)

Processed in 1.895 ms, 6 queries, Memory usage: 2048 KBytes

粤公网安备 44030602003680号