E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Temporal Logic in Specification	B. BanieqbalH. BarringerA. Pnueli	Springer	9783540468110	1989
Temporal, Spatial, and Spatio-Temporal Data Mining	John F. RoddickKathleen Hornsby	Springer	_	2001
Temporally Distributed Symptoms in Technical Diagnosis	Klaus N�kel	Springer	_	1991
Teratology in the Twentieth Century Plus Ten	Harold Kalter	Springer	_	2010
Term Indexing	Peter Graf	Springer	_	1995
Term Rewriting	Hubert ComonJean-Pierre Jounnaud	Springer	_	1995
Term Rewriting and Applications	J�rgen Giesl	Springer	_	2005
Term Rewriting and Applications	Frank Pfenning	Springer	_	2006
Term Rewriting and Applications	Franz Baader	Springer	_	2007
Termination Proofs for Logic Programs	Lutz Pl�mer	Springer	_	1990
Testing of Communicating Systems	Ferhat KhendekRachida Dssouli	Springer	_	2005
Testing of Communicating Systems	Roland GrozRobert M. Hierons	Springer	_	2004
Testing of Communicating Systems	Dieter HogrefeAnthony Wiles	Springer	_	2003
Testing of Communicating Systems	M. �mit UyarAli Y. DualeMariusz A. Fecko	Springer	_	2006
Testing of Software and Communicating Systems	Alexandre PetrenkoMargus VeanesJan TretmansWolfgang Grieskamp	Springer	_	2007
Testing of Software and Communicating Systems	Kenji SuzukiTeruo HigashinoAndreas UlrichToru Hasegawa	Springer	_	2008
Testing of Software and Communication Systems	Manuel N��ezPaul BakerMercedes G. Merayo	Springer	_	2009
Testing Software and Systems	Alexandre PetrenkoAdenilso Sim�oJos� Carlos Maldonado	Springer	_	2010
Testing Software and Systems	Burkhart WolffFatiha Za�di	Springer	_	2011
Testing Software and Systems	Brian NielsenCarsten Weise	Springer	9783642346910	2012
Testing Techniques in Software Engineering	Paulo BorbaAna CavalcantiAugusto SampaioJim Woodcook	Springer	_	2010
Testing � Practice and Research Techniques	Leonardo BottaciGordon Fraser	Springer	_	2010
Tests and Proofs	Bernhard BeckertReiner H�hnle	Springer	_	2008
Tests and Proofs	Catherine Dubois	Springer	_	2009
Tests and Proofs	Yuri GurevichBertrand Meyer	Springer	_	2007