التقنية والكمبيوتر

Computational Logic in Multi-Agent Systems : 15th International Workshop,CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Practical Analysis of Algorithms

Foundations of Security Analysis and Design VII : FOSAD 2012 / 2013 Tutorial Lectures

Formal Methods in Macro-Biology : First International Conference,FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Advances in Autonomous Robotics Systems : 15th Annual Conference,TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

Formal Modeling and Analysis of Timed Systems : 12th International Conference,FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Computer Performance Engineering : 11th European Workshop,EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Web Reasoning and Rule Systems : 8th International Conference,RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

Reachability Problems : 8th International Workshop,RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Cloud Computing and Services Science : Third International Conference,CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

Multiagent System Technologies : 12th German Conference,MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings

Serious Games Development and Applications : 5th International Conference,SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings