Intelligent systems a modern approach di Grosan, Crina

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Making sense of agile project management balancing control and agility di Cobb, Charles G. 1945-

Social modeling for requirements engineering

Testo
Testo

Markov decision processes and the belief-desire-intention model bridging the gap for autonomous agents di Simari, Gerardo I.

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Distributed game development harnessing global talent to create winning games di Fields, Tim

RP joins list of countries targeted by cyber attacks di Montecillo, Paolo G.

Teamwork in multi-agent systems a formal approach di Dunin-Kȩplicz, Barbara, Verbrugge, Rineke

Available for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access thru EZproxy

Arithmetic optimization techniques for hardware and software design di Kastner, Ryan