-
501
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
Published in Springer eBooks. (2011)Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource -
502
-
503
-
504
-
505
-
506
Availability, Reliability and Security for Business, Enterprise and Health Information Systems IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop, ARES 2011, Vienna...
Published in Springer eBooks. (2011)Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
507
Beyond Deep Blue Chess in the Stratosphere
Published in Springer eBooks. (2011)Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
508
-
509
-
510
Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Published in Springer eBooks. (2011)Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource


