E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Truth Maintenance Systems	Jo�o Pav�o MartinsMichael Reinfrank	Springer	9783540475507	1991
TT Viruses	Ethel-Michele de VilliersHarald zur Hausen	Springer	9783540709725	2009
Turf Weeds and Their Control	Alfred J. Turgeon (ed.)	CSSA ASA	9780891185789	1994
Turfgrass	D. V. Waddington, R. N. Carrow and R. C. Shearman (ed.)	ASA CSSA SSSA	9780891182245	1992
Turfgrass Science	A. A. Hanson and F. V. Juska (ed.)	ASA	9780891182092	1969
Turing Machines with Sublogarithmic Space	Andrzej Szepietowski	Springer	_	1994
Two-Dimensional Wavelets and their Relatives	Antoine et al	CUP	9780511543395	2004
Typed Lambda Calculi and Applications	Pawe? Urzyczyn	Springer	_	2005
Typed Lambda Calculi and Applications	Philippe de GrooteJ. Roger Hindley	Springer	_	1997
Typed Lambda Calculi and Applications	Mariangiola Dezani-CiancagliniGordon Plotkin	Springer	_	1995
Typed Lambda Calculi and Applications	Jean-Yves Girard	Springer	_	1999
Typed Lambda Calculi and Applications	Simona Ronchi Della Rocca	Springer	_	2007
Typed Lambda Calculi and Applications	Samson Abramsky	Springer	_	2001
Typed Lambda Calculi and Applications	Martin Hofmann	Springer	_	2003
Typed Lambda Calculi and Applications	Marc BezemJan Friso Groote	Springer	_	1993
Typed Lambda Calculi and Applications	Pierre-Louis Curien	Springer	_	2009
Typed Lambda Calculi and Applications	Luke Ong	Springer	_	2011
Types for Proofs and Programs	Jean-Christophe Filli�treChristine Paulin-MohringBenjamin Werner	Springer	_	2006
Types for Proofs and Programs	Stefano BerardiMario CoppoFerruccio Damiani	Springer	_	2004
Types for Proofs and Programs	Eduardo Gim�nezChristine Paulin-Mohring	Springer	_	1998
Types for Proofs and Programs	Paul CallaghanZhaohui LuoJames McKinnaRobert PollackRobert Pollack	Springer	_	2002
Types for Proofs and Programs	Stefano BerardiMario Coppo	Springer	_	1996
Types for Proofs and Programs	Peter DybjerBengt Nordstr�mJan Smith	Springer	_	1995
Types for Proofs and Programs	Marino MiculanIvan ScagnettoFurio Honsell	Springer	_	2008
Types for Proofs and Programs	Thierry CoquandPeter DybjerBengt Nordstr�mJan Smith	Springer	_	2000