E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Computer Aided Verification	Ahmed BouajjaniOded Maler	Springer	_	2009
Computer Aided Verification	Pierre Wolper	Springer	_	1995
Computer Aided Verification	Rajeev AlurThomas A. Henzinger	Springer	_	1996
Computer Aided Verification	E. Allen EmersonAravinda Prasad Sistla	Springer	_	2000
Computer Aided Verification	Alan J. HuMoshe Y. Vardi	Springer	_	1998
Computer Aided Verification	Rajeev AlurDoron A. Peled	Springer	_	2004
Computer Aided Verification	Orna Grumberg	Springer	_	1997
Computer Aided Verification	Ed BrinksmaKim Guldstrand Larsen	Springer	_	2002
Computer Aided Verification	P. MadhusudanSanjit A. Seshia	Springer	9783642314247	2012
Computer Aided Verification	G�rard BerryHubert ComonAlain Finkel	Springer	_	2001
Computer Aided Verification	Tayssir TouiliByron CookPaul Jackson	Springer	_	2010
Computer Aided Verification	Werner DammHolger Hermanns	Springer	_	2007
Computer Aided Verification	Thomas BallRobert B. Jones	Springer	_	2006
Computer Aided Verification	Costas Courcoubetis	Springer	_	1993
Computer Aided Verification	Gregor von BochmannDavid Karl Probst	Springer	_	1993
Computer Algebra	Jacques Calmet	Springer	9783540394334	1982
Computer Algebra	J. A. van Hulzen	Springer	_	1983
Computer Algebra and Geometric Algebra with Applications	Hongbo LiPeter J. OlverGerald Sommer	Springer	_	2005
Computer Algebra and Parallelism	Richard E. Zippel	Springer	9783540470267	1992
Computer Algebra in Scientific Computing	Vladimir P. GerdtErnst W. MayrEvgenii V. Vorozhtsov	Springer	_	2009
Computer Algebra in Scientific Computing	Victor G. GanzhaErnst W. MayrEvgenii V. Vorozhtsov	Springer	_	2007
Computer Algebra in Scientific Computing	Victor G. GanzhaErnst W. MayrEvgenii V. Vorozhtsov	Springer	_	2005
Computer Algebra in Scientific Computing	Victor G. GanzhaErnst W. MayrEvgenii V. Vorozhtsov	Springer	_	2006
Computer Algebra in Scientific Computing	Vladimir P. GerdtWolfram KoepfErnst W. MayrEvgenii V. Vorozhtsov	Springer	_	2010
Computer Algebra in Scientific Computing	Vladimir P. GerdtWolfram KoepfErnst W. MayrEvgenii V. Vorozhtsov	Springer	_	2012