This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

Beginning Sensor Networks with Arduino and Raspberry Pi teaches you how to build sensor networks with Arduino, Raspberry Pi, and XBee radio modules, and even shows you how to turn your Raspberry Pi into a MySQL database server to store your sensor data!

First you'll learn about the different types of sensors and...

If you're like many users, you may have a digital camera, plenty of snapshots, and a copy of Photoshop Elements, Adobe's consumer-level image editing software. But as anyone who's just come back from vacation with hundreds of digital photos knows, getting all those photos printed and organized is another matter altogether. Many...

Do research papers make you nervous? Don’t panic! This task isn’t as overwhelming as it may seem––and conducting good research is an important skill to have. With How to Write a Great Research Paper, you’ll see how easy and rewarding it can be to explore a...

Macromedia's Web tools are well known and widely used. The idea of a certification method to ensure that Web developers are confident and competent with these tools is a logical move, especially because many people now style themselves as Web design experts. Macromedia's Dreamweaver 8 is one of the most widely used tools for...