Link Prediction in Social Networks : Role of Power Law Distribution
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
Programming with Scala : Language Exploration
Location-Based Mobile Games : Design Perspectives
Machine Ethics : From Machine Morals to the Machinery of Morality
Agents for Games and Simulations II : Trends in Techniques,Concepts and Design
Lectures on Logic and Computation : ESSLLI 2010,Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Not
Advances in Data Mining. Applications and Theoretical Aspects : 12th Industrial Conference,ICDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings
Deontic Logic in Computer Science : 11th International Conference,DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Arithmetic of Finite Fields : 4th International Workshop,WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings
Formal Verification of Object-Oriented Software : International Conference,FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Advances in Bioinformatics and Computational Biology : 7th Brazilian Symposium on Bioinformatics,BSB 2012, Campo Grande, Brazil, August 15-17, 2012