This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.…
About The Book Part of the new Ladybird Expert series, Quantum Mechanics is a clear, simple and entertaining introduction to the weird, mind-bending world of the very, very small.Written by physicist and broadcaster Professor Jim Al-Khalili, it explo…
"With dedication to the structure, rhythm, and rhyme of his craft, Kipling created poetry that, when read aloud, sings to its audience in every phase. Sharpe's…
Essentials of Human Nutrition offers a broad, quality survey of the field, charting the involvement and impact of nutrition across different age groups, and from the…
Book two in this hilarious new series for young readers finds Alfie and the gang scrambling to complete their school exams--and solve the mystery of the…
"An outstanding introduction to Whitman's life and work. This superb volume can be used to teach literature or to show a variety of poetic devices and…
The governor of Gaul has always been a "creative" accountant. Now he's under investigation by Vexatius Sinusititis--or he was, until someone poisons the investigator. In order…
Julius Caesar resorts to psychological warfare to defeat the little Gaulish village: he's sent expert troublemaker Tortuous Convolulus to set friend against friend. Jealousy soon spreads…
Brown and DeFelice present an international thriller starring the Dreamland unit, a team that must stop a notorious group of assassins code-named the Wolves from disrupting…