Distributed Computing and Internet Technology : 12th International Conference,ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
Theory and Applications of Formal Argumentation : Third International Workshop,TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected
Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks,ALGOSENSORS 2015, Patras, Gre
Approximation and Online Algorithms : 13th International Workshop,WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Rapid Mashup Development Tools : First International Rapid Mashup Challenge,RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Pap
Big Data Analytics in the Social and Ubiquitous Context : 5th International Workshop on Modeling Social Media,MSM 2014, 5th International Workshop on
Functional and Logic Programming : 13th International Symposium,FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Verified Software: Theories,Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Sele
Evaluation of Novel Approaches to Software Engineering : 10th International Conference,ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selec
Information Technology for Management : Federated Conference on Computer Science and Information Systems,ISM 2015 and AITM 2015, Lodz, Poland, Septem
Structured Object-Oriented Formal Language and Method : 5th International Workshop,SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected
Measurement,Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münste
