0
首頁
0
熱門排行
0
個人書房
借閱次數:
0
Efficient solving of large arithmetic constraint systems with complex Boolean structure proof engines for the analysis of hybrid discrete-continuous systems /
作者:by Christian Herde.
出版者:Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden
出版地:Wiesbaden :
語文:英語
電子資源:
http://dx.doi.org/10.1007/978-3-8348-9949-1
ISBN/ISSN/ISRC:9783834899491 (electronic bk.) ; 9783834814944 (paper)
作者:
Herde, Christian.
索書號:004.015113
館藏
簡介
作者簡介
書架附近的資料
借這本書的人也借過下面這些書