This book constitutes the refereed proceedings of the 16th International Conference on Applications of Natural Language to Information Systems, held in Alicante, Spain, in June 2011.
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.
This book constitutes the refereed proceedings of the International Conference on Theory and Practice of Digital Libraries, TPDL 2011 - formerly known as ECDL (European Conference on Research and Advanced Technology for Digital Libraries) - held in Berlin, Germany, in September 2011.
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011.
This two-volume-set constitutes the refereed proceedings of the 6th International Conference on Future Information Technology, FutureTech 2011, held in Crete, Greece, in June 2011.
This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011.
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011.
This two-volume-set constitutes the refereed proceedings of the 6th International Conference on Future Information Technology, FutureTech 2011, held in Crete, Greece, in June 2011.
This book constitutes the refereed proceedings of the 12th Algorithms and Data Structures Symposium, WADS 2011, held in New York, NY, USA, in August 2011.
This book constitutes the thoroughly refereed post-conferenceproceedings of the first two international workshops on computationalmodels of collaboration in distributed systems: CARE 2009, held assatellite event of the 22nd Australasian Joint Conference on ArtificialIntelligence AI09 in Melbourne, Australia, in December 2009 and CARE2010, held in conjunction with the International Conference onIntelligent Agent Technology (IAT) in Toronto, Canada, in August 2010.
This book constitutes the refereed proceedings of the 23rd International Conference on Scientific and Statistical Database Management, SSDBM 2011, held in Portland, OR, USA, in July 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008.
This two-volume set (CCIS 201 and CCIS 202) constitutes the refereed proceedings of the International Conference on Computer Science and Education, CSE 2011, held in Qingdao, China, in July 2011.
The purpose of the 12th Conference Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2011) held on July 6-8, 2011 in Sydney, Australia was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information sciences, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.
This book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpellier, France, in June/July 2011.
This book constitutes the refereed proceedings of the 13th Conference on Artificial Intelligence in Medicine, AIME 2011, held in Bled, Slovenia, in July 2011.
This book constitutes the refereed proceedings of the 18th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2011, held in Gdansk, Poland, in June 2011.
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 book constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, India, in February 2011.
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 thoroughly refereed post-proceedings of the 16th International Workshop on Security Protocols, SP 2008, held in Cambridge, UK, in April 2008.
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.
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.
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.
The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011.
The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011.
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.
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 refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011.
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 refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, 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.
This book constitutes the refereed proceedings of the Third International Conference on Wireless, Mobile Networks, WiMo 2011, and of The Third International Conference on Computer Networks and Communications, CoNeCo 2011, held in Ankara, Turkey, 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 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.
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, 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.
