Principles of model checking gan Baier, Christel

Table of contents only

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

Bluetooth application programming with the Java APIs gan Thompson, Timothy J. 1976-

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

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

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

Manage software testing gan Farrell-Vinay, Peter

Table of contents only

Argumentation in multi-agent systems 4th international workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007 : revised selected and invited papers

Agent and multi-agent systems technologies and applications : second KES International Symposium, KES-AMSTA 2008 : Incheonn, Korea, March 26-28, 2008 : proceedings

Table of contents

Usability engineering process, products, and examples gan Leventhal, Laura M.

Table of contents only

Software testing and quality assurance theory and practice gan Naik, Kshirasagar 1959-

Table of contents only