Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Getting Started with Arduino: Edition 2

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Computer Networking and its Fundamentals (VIEH GROUP)

Time for Verification: Essays in Memory of Amir Pnueli

Programming Persistent Memory: A Comprehensive Guide for Developers

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

IoT and Edge Computing for Architects: Implementing edge and IoT systems from sensors to clouds with communication systems, analytics, and security, Edition 2

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Exploring BeagleBone: Tools and Techniques for Building with Embedded Linux, Edition 2

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

System Performance Tuning: Help for Unix Administrators, Edition 2

Taking Your iPad to the Max, iOS 5 Edition: Maximize iCloud, Newsstand, Reminders, FaceTime, and iMessage, Edition 3

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Office 365: Migrating and Managing Your Business in the Cloud

Cisco Networking All-in-One For Dummies

Juniper QFX5100 Series: A Comprehensive Guide to Building Next-Generation Networks

Arduino Home Automation Projects

Building Wireless Sensor Networks: with ZigBee, XBee, Arduino, and Processing

Pro SharePoint 2013 App Development