Symbian OS C++ for Mobile Phones
Richard Harrison
Download - Immediately Available
Format: eBook (PDF)
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Mark Aagaard
Download - Immediately Available
Format: eBook (PDF)
Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Michael Douglas Harrison
Download - Immediately Available
Format: eBook (PDF)