E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Variety Protection	Rod V. Frakes (ed.)	CSSA	9780891185802	1969
Vascular Disruptive Agents for the Treatment of Cancer	Tim Meyer	Springer	9781441966094	2010
VDM '87 VDM � A Formal Method at Work	Dines Bj�rnerCliff B. JonesM�che�l Mac an AirchinnighErich J. Neuhold	Springer	_	1987
VDM '88 VDM � The Way Ahead	Robin E. BloomfieldLynn S. MarshallRoger B. Jones	Springer	_	1988
VDM '90 VDM and Z � Formal Methods in Software Development	D. Bj�rnerC. A. R. HoareH. Langmaack	Springer	_	1990
VDM '91 Formal Software Development Methods	S�ren PrehnHans Toetenel	Springer	_	1991
VDM'91 Formal Software Development Methods	S. PrehnW. J. Toetenel	Springer	_	1991
Vector and Parallel Processing � VECPAR�98	Vicente Hern�ndezJos� M. L. M. PalmaJack J. Dongarra	Springer	_	1999
Vector and Parallel Processing � VECPAR 2000	Jos� M. L. M. PalmaJack DongarraVicente Hern�ndez	Springer	_	2001
Vector and Parallel Processing � VECPAR'96	Jos� M. L. M. PalmaJack Dongarra	Springer	_	1997
Vector Biology, Ecology and Control	Prof. Peter W. Atkinson	Springer	9789048124589	2010
Ventilation for Environmental Tobacco Smoke	Brian A. Rock	Elsevier	9780123708861	2006
Verbal and Nonverbal Communication Behaviours	Anna EspositoMarcos Faundez-ZanuyEric KellerMaria Marinaro	Springer	_	2007
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction	Anna EspositoNikolaos G. BourbakisNikolaos AvourisIoannis Hatzilygeroudis	Springer	_	2008
Verification of Object-Oriented Software. The KeY Approach	Bernhard BeckertReiner H�hnlePeter H. Schmitt	Springer	_	2007
Verification Techniques for System-Level Design	Masahiro Fujita, Indradeep Ghosh and Mukul Prasad	Elsevier	9780123706164	2008
Verification, Induction, Termination Analysis	Simon SieglerNathan Wasser	Springer	_	2010
Verification, Model Checking, and Abstract Interpretation	Radhia Cousot	Springer	_	2005
Verification, Model Checking, and Abstract Interpretation	Lenore D. ZuckPaul C. AttieAgostino CortesiSupratik Mukhopadhyay	Springer	_	2003
Verification, Model Checking, and Abstract Interpretation	Agostino Cortesi	Springer	_	2002
Verification, Model Checking, and Abstract Interpretation	Francesco LogozzoDoron A. PeledLenore D. Zuck	Springer	_	2008
Verification, Model Checking, and Abstract Interpretation	Viktor KuncakAndrey Rybalchenko	Springer	9783642279409	2012
Verification, Model Checking, and Abstract Interpretation	Bernhard SteffenGiorgio Levi	Springer	_	2004
Verification, Model Checking, and Abstract Interpretation	Neil D. JonesMarkus M�ller-Olm	Springer	_	2009
Verification, Model Checking, and Abstract Interpretation	Byron CookAndreas Podelski	Springer	_	2007