Byron Cook & Paul Jackson 
Computer Aided Verification [PDF ebook] 
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Across the modern IT landscape, managing infrastructure across diverse cloud platforms has become a formidable task. Ansible, a robust open-source automation tool, emerges as the ultimate weapon in y …

HPC is used to solve a number of complex questions in computational and data-intensive sciences. These questions include the simulation and modeling of physical phenomena, such as climate change, ene …

Embrace the transformative power of cloud robotics with Cloud-Powered Robotics with Raspberry Pi, your ultimate guide to building and deploying intelligent robotic applications using cutting-edge Dev …

Learn how to deploy and monitor databases in the cloud, manipulate documents, visualize data, and build applications running on Mongo DB using Node.js Key Features

• Learn the fundamentals of …

Laptops are an excellent option for seniors: they can be used anywhere, and with wireless technology, to surf the web and to keep in touch. This 8th edition of Laptops for Seniors in easy steps will …

Mac Book in easy steps, now in its seventh edition, illustrates all the clever and powerful features on this iconic device. Covering all Mac Book models, it:Demystifies Mac jargon and Mac Book versio …

The Raspberry Pi is an inexpensive programmable credit-card sized computer that plugs into your TV and a keyboard. It can be used for many of the things that your PC does, like spreadsheets, word-pro …

The Raspberry Pi is a cheap, basic, programmable credit-card sized computer that plugs into your TV and a keyboard. It can be used for many of the things that your PC does, like spreadsheets, word-pr …