Transactions on Aspect-Oriented Software Development XI
Web and Wireless Geographical Information Systems : 13th International Symposium,W2GIS 2014, Seoul, South Korea, April 4-5, 2013, Proceedings
The Calculus of Computation : Decision Procedures with Applications to Verification
Software Product Management and Pricing : Key Success Factors for Software Organizations
Optimal Time-Domain Noise Reduction Filters: A Theoretical Study
Cloud Computing : Web-Based Dynamic IT Services
A Hybrid Deliberative Layer for Robotic Agents : Fusing DL Reasoning with HTN Planning in Autonomous Robots
Public Key Infrastructures,Services and Applications : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected P
Agent-Oriented Software Engineering XI : 11th International Workshop,AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions
Haptic and Audio Interaction Design : 6th International Workshop,HAID 2011, Kusatu, Japan, August 25-26, 2011. Proceedings
Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures
