Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael 1917-

Bluetooth application programming with the Java APIs by Thompson, Timothy J. (Timothy Joseph) 1976-

Changing software development learning to be agile by Kelly, Allan 1969-

Secure software development a security programmer's guide by Grembi, Jason

Table of contents only

Software development for embedded multi-core systems a practical guide using embedded Intel architecture by Domeika, Max

Table of contents only
Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access

The practical guide to defect prevention by McDonald, Marc

Hello, Android introducing Google's mobile development platform by Burnette, Ed

Two bits the cultural significance of free software by Kelty, Christopher M. 1972-

Design patterns in Ruby by Olsen, Russ

The open source alternative understanding risks and leveraging opportunities by Meeker, Heather J. 1959-