Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems : 7th IFIP WG 11.2 International Workshop,WIST 2013, Heraklio
Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction,Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Natural and Artificial Computation in Engineering and Medical Applications : 5th International Work-Conference on the Interplay Between Natural and Ar
Natural and Artificial Models in Computation and Biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computati
Application and Theory of Petri Nets and Concurrency : 34th International Conference,PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
High Performance Computing for Computational Science - VECPAR 2012 : 10th International Conference,Kope, Japan, July 17-20, 2012, Revised Selected Pa
Supercomputing : 28th International Supercomputing Conference,ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Developments in Language Theory : 17th International Conference,DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings
Advances in Brain Inspired Cognitive Systems : 6th International Conference,BICS 2013, Beijing, China, June 9-11, 2013. Proceedings
Natural Language Processing and Information Systems : 18th International Conference on Applications of Natural Language to Information Systems,NLDB 2
User Modeling,Adaption, and Personalization : 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013. Proceedings
The Nature of Computation: Logic,Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Procee
