Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Getting Started with Arduino: Edition 2

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Computer Networking and its Fundamentals (VIEH GROUP)

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Programming Persistent Memory: A Comprehensive Guide for Developers

Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

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

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

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

System Performance Tuning: Help for Unix Administrators, Edition 2

Foundations of Probabilistic Programming

Composite Mathematics For Class 6

Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

The Art of DevOps Engineering

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

Office 365: Migrating and Managing Your Business in the Cloud

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Composite Mathematics For Class 7

Cisco Networking All-in-One For Dummies