The two volume set LNAI 6703 and LNAI 6704 constitutes the thoroughly refereed conference proceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, held in Syracuse, NY, USA, in June/July 2011.
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.
This two-volume set CCIS 166 and 167 constitutes the refereed proceedings of the International Conference on Digital Information and Communication Technology and its Applications, DICTAP 2011, held in Dijon, France, in June 2010.
This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011.
The two-volume set LNCS 6773-6774 constitutes the refereed proceedings of the International Conference on Virtual and Mixed Reality 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences addressing the latest research and development efforts and highlighting the human aspects of design and use of computing systems.
This book constitutes the proceedings of the First International Conference on Knowledge - Ontology - Theory (KONT 2007) held in Novosibirsk, Russia, in September 2007 and the First International Conference on Knowledge Processing in Practice (KPP 2007) held in Darmstadt, Germany, in September 2007.
This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.
This book constitutes the refereed proceedings of the Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2011, held in Beijing, China, in July 2011.
This book constitutes the thoroughly refereed proceedings of ten international workshops held in London, UK, in conjunction with the 23rd International Conference on Advanced Information Systems Engineering, CAiSE 2011, in June 2011.
This book constitutes the refereed proceedings of the 22nd International Conference on Information Processing in Medical Imaging, IPMI 2011, held at Kloster Irsee, Germany, in July 2011.
This two-volume set (CCIS 175 and CCIS 176) constitutes the refereed proceedings of the International Conference on Computer Education, Simulation and Modeling, CSEM 2011, held in Wuhan, China, in June 2011.
The two-volume set LNCS 6773-6774 constitutes the refereed proceedings of the International Conference on Virtual and Mixed Reality 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences addressing the latest research and development efforts and highlighting the human aspects of design and use of computing systems.
This two-volume set CCIS 166 and CCIS 167 constitutes the refereed proceedings of the International Conference on Digital Information and Communication Technology and its Applications, DICTAP 2011, held in Dijon, France, in June 2010.
This book constitutes the proceedings of the International Conference on Research and Education in Robotics, EUROBOT 2011, held in Prague, Czech Republic, in June 2011.
This book constitutes the thoroughly refereed post-proceedings of the 7th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2010, held in Palermo, Italy, in September 2010.
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011.
This two volume set LNCS 6791 and LNCS 6792 constitutes the refereed proceedings of the 21th International Conference on Artificial Neural Networks, ICANN 2011, held in Espoo, Finland, in June 2011.
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in Ischia, Italy, in August/September 2010.
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011.
This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence in Education, AIED 2011, held in Auckland, New Zealand in June/July 2011.
This book constitutes the refereed proceedings of the 13th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2011, held in Moscow, Russia in June 2011.
This book constitutes the refereed proceedings of the 19th International Symposium on Methodologies for Intelligent Systems, ISMIS 2011, held in Warsaw, Poland, in June 2011.
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011.
This book constitutes the refereed proceedings of the 6th International Conference on Augmented Cognition, FAC 2011, held in Orlando, FL, USA in July 2011, within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, with 11 other thematically similar conferences.
The two volume set LNAI 6703 and LNAI 6704 constitutes the thoroughly refereed conference proceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, held in Syracuse, NY, USA, in June/July 2011.
This two-volume set (CCIS 175 and CCIS 176) constitutes the refereed proceedings of the International Conference on Computer Education, Simulation and Modeling, CSEM 2011, held in Wuhan, China, in June 2011.
This book constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011.
This book constitutes the refereed proceedings of the 8th International Workshop on Self-Organizing Maps, WSOM 2011, held in Espoo, Finland, in June 2011.
This book constitutes the refereed proceedings of the 9th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2011, held in Orlando, FL, USA, in July 2011, within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, together with 11 other thematically similar conferences.
This volume constitutes the refereed proceedings of the Second International Conference on Human Centered Design, HCD 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 9 other thematically similar conferences.
This two volume set (LNCS 6791 and LNCS 6792) constitutes the refereed proceedings of the 21th International Conference on Artificial Neural Networks, ICANN 2011, held in Espoo, Finland, in June 2011.
This three-volume set LNAI 6911, LNAI 6912, and LNAI 6913 constitutes the refereed proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2011, held in Athens, Greece, in September 2011.
This book constitutes the refereed proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers, EHAWC 2011, held within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, incorporating 12 thematically similar conferences.
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Critical Information Infrastructure Security, CRITIS 2010, held in Athens, Greece in September 2010.
This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010.
This volume constitutes the refereed proceedings of the 4th International Conference on Internationalization, Design and Global Development, IDGD 2011, held in Orlando, FL, USA, in July 2011 in the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011.
The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011.
This four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 8 other thematically similar conferences.
The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011.
This book contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011.
This book constitutes the refereed proceedings of the Third Mexican Conference on Pattern Recognition, MCPR 2011, held in Cancun, Mexico, in June/July 2011.
This four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 8 other thematically similar conferences.
This three-volume set LNAI 6911, LNAI 6912, and LNAI 6913 constitutes the refereed proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2011, held in Athens, Greece, in September 2011.
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough setsand other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.
This two-volume set (CCIS 152 and CCIS 153) constitutes the refereed proceedings of the International Conference on Computer Science and Information Engineering, CSIE 2011, held in Zhengzhou, China, in May 2011.
This book constitutes the refereed proceedings of the 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, held in Montreal, Canada, in June 2011.
This book constitutes the refereed proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM 2011, held in Palermi, Italy, in June 2011.
