E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Automated Reasoning with Analytic Tableaux and Related Methods	Harrie de Swart	Springer	_	1998
Automated Reasoning with Analytic Tableaux and Related Methods	Bernhard Beckert	Springer	_	2005
Automated Reasoning with Analytic Tableaux and Related Methods	Roy Dyckhoff	Springer	_	2000
Automated Reasoning with Analytic Tableaux and Related Methods	Nicola Olivetti	Springer	_	2007
Automated Technology for Verification and Analysis	Farn Wang	Springer	_	2004
Automated Technology for Verification and Analysis	Susanne GrafWenhui Zhang	Springer	_	2006
Automated Technology for Verification and Analysis	Ahmed BouajjaniWei-Ngan Chin	Springer	_	2010
Automated Technology for Verification and Analysis	Kedar S. NamjoshiTomohiro YonedaTeruo HigashinoYoshio Okamura	Springer	_	2007
Automated Technology for Verification and Analysis	Sungdeok (Steve) ChaJin-Young ChoiMoonzoo KimInsup LeeMahesh Viswanathan	Springer	_	2008
Automated Technology for Verification and Analysis	Doron A. PeledYih-Kuen Tsay	Springer	_	2005
Automated Technology for Verification and Analysis	Supratik ChakrabortyMadhavan Mukund	Springer	_	2012
Automated Technology for Verification and Analysis	Zhiming LiuAnders P. Ravn	Springer	_	2009
Automated Technology for Verification and Analysis	Tevfik BultanPao-Ann Hsiung	Springer	_	2011
Automatic Ambiguity Resolution in Natural Language Processing	Alexander Franz	Springer	_	1996
Automatic Differentiation: Techniques and Applications	Louis B. Rall	Springer	978-3-540-38776-3	1981
Automatic Generation of Computer Animation	Ruqian LuSongmao Zhang	Springer	_	2002
Automatic Verification Methods for Finite State Systems	Joseph Sifakis	Springer	_	1990
Automatic Verification of Sequential Infinite-State Processes	Olaf Burkart	Springer	_	1997
Automotive Software � Connected Services in Mobile Networks	Manfred BroyIngolf H. Kr�gerMichael Meisinger	Springer	_	2006
Autonomic and Trusted Computing	Laurence T. YangHai JinJianhua MaTheo Ungerer	Springer	_	2006
Autonomic and Trusted Computing	Chunming RongMartin Gilje JaatunFrode Eika SandnesLaurence T. YangJianhua Ma	Springer	_	2008
Autonomic and Trusted Computing	Juan Gonz�lez NietoWolfgang ReifGuojun WangJadwiga Indulska	Springer	_	2009
Autonomic and Trusted Computing	Bin XiaoLaurence T. YangJianhua MaChristian Muller-SchloerYu Hua	Springer	_	2007
Autonomic and Trusted Computing	Bing XieJuergen BrankeS. Masoud SadjadiDaqing ZhangXingshe Zhou	Springer	_	2010
Autonomic and Trusted Computing	Jose M. Alcaraz CaleroLaurence T. YangF�lix G�mez M�rmolLuis Javier Garc�a VillalbaAndy Xiaolin LiYan Wang	Springer	_	2011