This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.
This book constitutes the refereed proceedings of the 4th International Conference on Audio-and Video-Based Biometric Person Authentication, AVBPA 2003, held in Guilford, UK in June 2003.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
The two-volume set (LNCS 6728 and 6729) constitutes the refereedproceedings of the International Conference on Swarm Intelligence, ICSI2011, held in Chongqing, China, in June 2011.
Collaborative Networks A Tool for Promoting Co-creation and Innovation The collaborative networks paradigm offers powerful socio-organizational mec- nisms, supported by advanced information and communication technologies for p- moting innovation.
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013.
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012.
This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013.
This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.
This book constitutes the thoroughly refereed post-workshop proceedings of the 19th International Workshop on Security Protocols, held in Cambridge, UK, in March 2011.
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
Stochastic local search (SLS) algorithms are established tools for the solution of computationally hard problems arising in computer science, business adm- istration, engineering, biology, and various other disciplines.
These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011.
This two-volume set CCIS 173 and CCIS 174 constitutes the extended abstracts of the posters presented during the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 12 other thematically similar conferences.
This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013.
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.
This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011.
These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011.
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009.
This volume constitutes the proceedings of the 8th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2013, held in Salamanca, Spain, in September 2013.
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.