Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds.

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

Usability engineering nork Nielsen, Jakob 1957-

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

Gates how Microsoft's mogul reinvented an industry--and made himself the richest man in America nork Manes, Stephen 1949-

Object-oriented software development practical guide. nork Lorenz, Mark

Hard drive Bill Gates and the making of the Microsoft empire nork Wallace, James 1947-, Erickson, Jim 1944-

Object-oriented software development a practical guide nork Lorenz, Mark

The first book of personal computing nork Kraynak, Joe

Code complete a practical handbook of software construction nork McConnell, Steve