The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012.
This book constitutes the refereed proceedings of the 13th International Conference on Web-Age Information Management, WAIM 2012, held in Harbin, China in August 2012.
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Advances in Computer Games Conference, ACG 2011, held in Tilburg, The Netherlands, in November 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Virtual and Networked Organizations, Emergent Technologies, and Tools, ViNOrg 2011,held in Ofir, Portugal, in July 2011.
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012.
The present book contains contributions presented at the Fourth Symposium on Hybrid RANS-LES Methods, held in Beijing, China, 28-30 September 2011, being a continuation of symposia taking place in Stockholm (Sweden, 2005), in Corfu (Greece, 2007), and Gdansk (Poland, 2009).
This book constitutes the refereed proceedings of the 7th Brazilian Symposium on Bioinformatics, BSB 2012, held in Campo Grande, Brazil, in August 2012.
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009, co-located with the International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS.
The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012.
This book is a collection of selected papers from the 2011 International Conference on Communications, Electronics and Automation Engineering hold in Xi'an, China, August 23-25, 2012.
This book constitutes the refereed proceedings of the 18th Annual International Conference on Computing and Combinatorics, held in Sydney, Australia, in August 2012.
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012.
This volume constitutes the refereed proceedings of the Joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2012) and Statistical Techniques in Pattern Recognition (SPR 2012), held in Hiroshima, Japan, in November 2012 as a satellite event of the 21st International Conference on Pattern Recognition, ICPR 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orleans, France, during September 3-7, 2012.
This book constitutes the refereed proceedings of the 13th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Vienna, Austria, in September 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011) held in Los Angeles, CA, USA, during October 24-27, 2010.
This book consists mainly of revised papers that were presented at the Agents for Educational Games and Simulation (AEGS) workshop held on May 2, 2011, as part of the Autonomous Agents and MultiAgent Systems (AAMAS) conference in Taipei, Taiwan.
Complex systems and their phenomena are ubiquitous as they can befound in biology, finance, the humanities, management sciences,medicine, physics and similar fields.
This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2011, the Joint Conference on Computer Vision, Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), on Computer Graphics Theory and Applications (GRAPP), and on Information Visualization Theory and Applications (IVAPP), held in Vilamoura, Portugal, in March 2011.
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012.
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.
This book constitutes the refereed proceedings of the 5th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012.
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012.
Learning Technology for Education in Cloud investigates how cloud computing can be used to design applications to support real time on demand learning using technologies.
This book constitutes the refereed proceedings of the Third International Conference on Autonomous and Intelligent Systems, AIS 2012, held in Aveiro, Portugal, in June 2012, collocated with the International Conference on Image Analysis and Recognition, IACIAR 2012.
The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012.
The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012.
This book constitutes the refereed proceedings of the 5th International Workshop on Biomedical Image Registration, WBIR 2012, held in Nashville, Tennessee, USA, in July 2012.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012.
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012.
This book constitutes the refereed proceedings of the 24th International Conference on Scientific and Statistical Database Management, SSDBM 2012, held in Chania, Grete, Greece, in June 2012.
This book constitutes the proceedings of the 5th International Information Retrieval Facility Conference, IRFC 2012, held in Vienna, Austria, July 2-3, 2012.
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012.
This book constitutes the refereed proceedings of the 6th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2012, held in Delft, The Netherlands, in March 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Mobile and Ubiquitous Systems, MobiQuitous 2010, held in Sydney, Australia, in December 2010.
This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010.
This book constitutes the refereed proceedings of the 4th International Conference on Information Technologies in Biomedicine, ITIB 2012, held in Goglin, Poland, in June 2012.
This book constitutes the proceedings of the 7th International Conference on Persuasive Technology, PERSUASIVE 2012, held in Linkoping, Sweden, in June 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2011, held in Copenhagen, Denmark, in December 2011.
This book constitutes the refereed proceedings of the 4th Mexican Conference on Pattern Recognition, MCPR 2012, held in Huatulco, Mexico, in June 2012.
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdansk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, in June 2012.
This book constitutes the refereed proceedings of the 11th International Symposium on Experimental Algorithms, SEA 2012, held Bordeaux, France, in June 2012.
This book constitutes the refereed proceedings of the 8th International Conference on Data Integration in the Life Sciences, DILS 2012, held in College Park, MD, USA, on June 28-29, 2012.
This volume constitutes the thoroughly refereed conference proceedings of the 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligend Systems, IEA/AIE 2012, held in Dalian, China, in June 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Agents and Artificial Intelligence, ICAART 2011, held in Rome, Italy, in January 2011.
This two-volume-set (CCIS 293 and CCIS 294) constitutes the refereed proceedings of the International Conference on Networked Digital Technologies, NDT 2012, held in Dubai, UAE, in April 2012.