ISBN: 9783540791232
TITLE: Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings : 4966
AUTHOR: Bernhard Beckert
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 31 Mar 2008
Popular Trending Products
ISBN: 9783540865735TITLE: Arithmetic of Finite Fields : Second International Workshop, WAIFI 2008, S…
ISBN: 9783540879923TITLE: Scalable Uncertainty Management : Second International Conference, SUM 200…
ISBN: 9783540899815TITLE: Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy,…
ISBN: 9783540852032TITLE: Electronic Government : 7th International Conference, EGOV 2008, Torino, I…
ISBN: 9783540694984TITLE: Arithmetic of Finite Fields : Second International Workshop, WAIFI 2008, S…
