This book constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence in Education, AIED 2013, held in Memphis, TN, USA in July 2013.
This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013.
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.
This book constitutes the refereed proceedings of the 12th EuropeanConference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013, held in Utrecht, The Netherlands, in July 2013.
This book constitutes the refereed proceedings of the Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2013, held in Beijing, China, in August 2013 in conjunction with the International Joint Conference on Artificial Intelligence (IJCAI 2013).
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013.
This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013.
This book constitutes the refereed proceedings of the 6th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2013, held in Funchal, Madeira, Portugal, in June 2013.
This volume constitutes the refereed proceedings of the 6th International Conference on Multimedia Communications, Services and Security, MCSS 2013, held in Krakow, Poland, in June 2013.
This book constitutes the refereed proceedings of the International Conference on Intelligent Information Systems, IIS 2013, held in Warsaw, Poland in June 2013.
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013.
This book constitutes the refereed proceedings of the 6 th International Conference on Knowledge Science, Engineering and Management, KSEM 2013, held in Dalian City, China, in August 2013.
This book constitutes the refereed proceedings of the 20th International Conference on Computer Networks, CN 2013, held in Lwowek Slaski, Poland, in June 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012, held in Valencia, Spain, in June 2012.
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.
This book constitutes the proceedings of the 6th International Conference on Nonlinear Speech Processing, NOLISP 2013, held in Mons, Belgium, in June 2013.
This book constitutes the proceedings of the 23rd International Conference on Information Processing in Medical Imaging, IPMI 2013, held in Asilomar in June/July 2013.
This book constitutes the refereed proceedings of the 18th International Conference on Applications of Natural Language to Information Systems, held in Salford, UK, in June 2013.
This book constitutes the refereed proceedings of the 6th International Conference on Brain Inspired Cognitive Systems, BICS 2013, held in Beijing, China in June 2013.
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on User Modeling, Adaption, and Personalization, held in Rome, Italy, in June 2013.
This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013.
This book constitutes the refereed proceedings of the second International Conference on Biomimetic and Biohybrid Systems, Living Machines 2013, held in London, UK, in July/August 2013.
This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, held in Valencia, Spain, in June 2013.
This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013.
The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, held in Mallorca, Spain, in June 2013.
This volume contains 11 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce.
The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, held in Mallorca, Spain, in June 2013.
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2012, held in Vilamoura, Portugal, in February 2012.
This book constitutes the refereed proceedings of the 14th Conference on Artificial Intelligence in Medicine, AIME 2013, held in Murcia, Spain, in May/June 2013.
This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2013, held in Amsterdam, The Netherlands, in June 2013.
This book constitutes the refereed proceedings of the 14th International Conference on Web-Age Information Management, WAIM 2013, held in Beidaihe, China, in June 2013.
This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Metaheuristics, HM 2013, held in Ischia, Italy, in May 2013.
This book constitutes the refereed proceedings of the 12th International Symposium on Experimental Algorithms, SEA 2013, held in Rome, Italy, in June 2013.
