By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Joerg H. Siekmann. The…

Statistics is strongly tied to applications in different scientific disciplines, and the most challenging statistical problems arise from problems in the sciences.

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented…

This two volume set LNCS 7825 and LNCS 7826 constitutes the refereed proceedings of the 18th International Conference on Database Systems for Advanced Applications, DASFAA 2013, held in Wuhan, China…

E-reporting offers a comprehensive solution, integrating internal reporting and published financial statements and using state-of-the art internet technology. This book is a hands-on guide to successfully transforming corporate reporting and…

Dem Vergleich zwischen der historischen Entwicklung im Norden und Suden Amerikas seit ihrer Unabhangigkeit, einem bislang vernachlassigten Forschungsgebiet, widmet sich der vorliegende Band. Dabei werden nicht nur die Kontraste im…