Record:   Prev Next
作者 Herde, Christian
書名 Efficient solving of large arithmetic constraint systems with complex Boolean structure [electronic resource] : proof engines for the analysis of hybrid discrete-continuous systems / by Christian Herde
出版項 Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
國際標準書號 9783834899491 (electronic bk.)
9783834814944 (paper)
book jacket
Record:   Prev Next