Coordination Models and Languages : 14th International Conference,COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
Information Security Theory and Practice. Security,Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: 6th Ifip Wg 11.2 Intern
Algorithm Theory -- SWAT 2012 : 13th Scandinavian Symposium and Workshops,Helsinki, Finland, July 4-6, 2012, Proceedings
Natural Language Processing and Information Systems : 17th International Conference on Applications of Natural Language to Information Systems,NLDB 2
Combinatorial Pattern Matching : 23rd Annual Symposium,CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings
Applied Cryptography and Network Security : 10th International Conference,ACNS 2012, Singapore, June 26-29, 2012, Proceedings
Automated Reasoning : 6th International Joint Conference,IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Intelligent Computer Mathematics : 11th International Conference,AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11
Transactions on Edutainment VIII
Information Security and Privacy : 17th Australasian Conference,ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings
User Modeling,Adaptation, and Personalization : 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012 Proceedings
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics
