Implementation and Application of Automata : 18th International Conference,CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Descriptional Complexity of Formal Systems : 15th International Workshop,DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
Intelligent Computer Mathematics : MKM,Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedi
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition : 10th International Conference,EPCE 2013, Held as Part of HCI Interna
Computer Vision Systems : 9th International Conference,ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Statistical Language and Speech Processing : First International Conference,SLSP 2013, Tarragona, Spain, July 29-31, 2013, Proceedings
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering,Held at ICTAC 2013, Shanghai
Digital Forensics and Cyber Crime : 4th International Conference,ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers
Information Technologies for Performing Arts,Media Access, and Entertainment : Second International Conference, ECLAP 2013, Porto, Portugal, April 8-
Industrial Applications of Holonic and Multi-Agent Systems : 6th International Conference,HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013, P
Data Warehousing and Knowledge Discovery : 15th International Conference,DaWaK 2013, Prague, Czech Republic, August 26-29, 2013, Proceedings
Networked Systems : First International Conference,NETYS 2013, Marrakech, Marocco, May 2-4, 2013, Revised Selected Papers
