APLAS is a premiere forum...

The scope of the conference encompassed the theory and practice of all aspects of...

In dem Band werden Entstehung und Entwicklung der grundlegenden Begriffe der Analysis von der Antike bis heute ausführlich behandelt. Eingebettet sind diese Informationen in die Beschreibung historischer und kultureller Ereignisse, die Lebensläufe bedeutender Mathematiker und der von ihnen entwickelten Teilgebiete der Analysis....

Data management has evolved over the years from being strictly associated with database systems, through active databases, to being a topic that has grown beyond the scope of a single field encompassing multiple aspects: distributed systems, event-driven systems, and peer-to-peer and streaming systems. The present collection of works,...

The three volume set LNCS 6453, LNCS 6454, and LNCS 6455 constitutes the refereed proceedings of the 6th International Symposium on Visual Computing, ISVC 2010, held in Las Vegas, NV, USA, in November/December 2010. The 93 revised full papers and 73 poster papers presented together with 44 full and 6 poster papers of 7 special tracks were...

The goal is to provide a...

Identity management is put...

This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, edited by five of his academic descendants. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of focused research areas, essays reflecting on...

Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context of search find application in the most diverse areas of computer science and discrete mathematics. On the other hand, fault-tolerance is a...

"Modeling" has become one of the primary concerns in modern Software Engineering. The reason is simple: starting development processes from clear and succinct models has proven to foster not only quality but also productivity. With the advance of modeling there also came a desire for automatic code generation from models....

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory...