This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009.The 19 revised full
This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised
This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009.The 19 revised full papers and t
Volumes CCIS 51 and LNCS 5812 constitute the proceedings of the Fourth Interational Symposium on Intelligence Computation and Applications, ISICA 2009, held in Huangshi, China, during October 23-25.IS
This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009.The 15 revi
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches
This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in Februa
This book constitutes the refereed proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009, held in Novy Smokovec, High Tatras, Slovakia, in August 2
This book constitutes the refereed proceedings of the 12th International Symposium on Recent Advances in Intrusion Detection, RAID 2009, held in Saint-Malo, Brittany, France, in September 2009.The 17
This book constitutes the refereed proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Hamburg, Germany, in September 2009.The 25 ful
The objective of this state-of-the-art survey is to give a coherentoverview of the main topics and results achieved by the Network of Excellence REWERSE on "Reasoning on the Web", funded by the Europe
This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference
This book constitutes the refereed proceedings of the bienially held International Conference on Computer Analysis of Images and Patterns, CAIP 2009, which took place in Munster, Germany, September 2-
This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 2009.The 28 full papers were caryfully sel
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNM
This book constitutes the thoroughly refereed post-conference proceedings of the first International Workshop on Quality of Context, QuaCon 2009, held in Stuttgart, Germany, in June 2009.The 11 revise
This book constitutes the refereed proceedings of the 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, held in Nice, France in September/October 2009.The 35 revised full papers, 1
This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory, SAGT 2009, held in Paphos, Cyprus, in October 2009.The 29 revised full papes presented
This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.The book presents the fol
This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009.The 21 papers for oral presentatio
This book constitutes the refereed proceedings of the twelfth International Conference, on Discovery Science, DS 2009, held in Porto, Portugal, in October 2009.The 35 revised full papers presented wer
This book constitutes the refereed proceedings of the 5th Asia Information Retrieval Symposium, AIRS 2009, held in Sapporo, Japan, in October 2009.The 18 revised full papers and 20 revised poster pape
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2009, held in Kuopio, Finland, in April 2009.Th
This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 200
This book constitutes the refereed proceedings of the 8th International Conference on Web-Based Learning, ICWL 2009, held in Aachen, Germany, in August 2009.The 38 revised full papers and 14 short pap
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 a
This book constitutes the refereed proceedings of the 8th International Conference on Electronic Government, EGOV 2009, held in Linz, Austria, in August/September 2008 within the DEXA 2009 conference
This book constitutes the refereed proceedings of the 6th International XML Database Symposium, XSym 2009, held in Lyon, France, in August 2009 in conjunction with the International Conference on Very
This book constitutes the refereed proceedings of the 20th International Conference on Database and Expert Systems Applications, DEXA 2009, held in Linz, Austria, in August/September 2009.The 35 revis
This book constitutes the refereed proceedings of the 13th IMA International Conference on the Mathematics of Surfaces held in York, UK in September 2009.The papers in the present volume include seven
The two volume set LNCS 5726 and LNCS 5727 constitutes the refereed proceedings of the 12th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2009, held in Uppsala, Sweden, in
The two volume set LNCS 5726 and LNCS 5727 constitutes the refereed proceedings of the 12th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2009, held in Uppsala, Sweden, in
This book constitutes the refereed proceedings of the 8th International Workshop, IWDW 2009, held in Guildford, Surrey, UK, August 24-26, 2009.The 25 revised full papers, including 4 poster presentati
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s
This book constitutes the refereed proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2009 held in Linz, Austria in August/September 2009.The 36 revise
This book constitutes the refereed proceedings of the 16th String Processing and Information Retrieval Symposium, SPIRE 2009 held in Saariselka, Finland in August 2009.The 34 revised full papers were
This book constitutes the workshop proceedings of the 14th International Conference on Database Systems for Advanced Applications, DASFAA 2009, held in Brisbane, Australia, in April 2009.The volume co
This Festschrift volume, published in honor of John Mylopoulos on the occasion of his retirement from the University of Toronto, contains 25 high-quality papers, written by leading scientists in the f
This book constitutes the proceedings of the Third International Conference on GeoSensor Networks, GSN 2009, held in Oxford, UK, on July 13-14, 2009. The 15 contributions presented together with 2 inv
This book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, held in Verona, Italy, July 1-3, 200