Mathematical Theory of Computation

This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberr...

This book constitutes the proceedings of the 9th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2010, held in ...

LNCS 6382 is the ?rst volume of the proceedings of the Fifth International Symposium on Intelligence Computation and Applications (ISICA 2010)held ...

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by ...

This volume contains the selected peer-reviewed revised articles that were p- st sented at the 21 International Symposium on Implementation and App...

This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paph...

The complexity of genome evolution has given birth to exciting challenges for computational biologists. A various range of algorithmic, statistical...

The BPM Conference series has established itself as the premier forum for - searchersintheareaofbusinessprocessmanagementandprocess-awareinfor- tio...

The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 1417, 2010 in Tozeur, Tunisia. It c...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundatio...

This LNCS volume contains the papers presented at the First Swarm, Evolutionary and Memetic Computing Conference (SEMCCO 2010) held during December...

The two volume set LNCS 6443 and LNCS 6444 constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONI...

This book deals with several topics in algebra useful for computer science applications and the symbolic treatment of algebraic problems, pointing ...

th The 18 International Conference on Conceptual Structures (ICCS 2010) was the latest in a series of annual conferences that have been held in Eur...

This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switz...

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Metho...

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in...

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applicatio...

This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The ...

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in...

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in Ju...

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Fast Software Encryption, held in L...

Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only hav...

Egon B.. orger Tribute to Egon B.. orger on th the Occasion of his 60 Birthday 1 2 Jean-Raymond Abrial and Uwe Glasser .. 1 jrabrial@neuf. fr 2 gla...