Mathematical Theory of Computation

The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier (France), June 2426 2009. About...

This book constitutes the proceedings of the 5th International Workshop on Algorithms and Computation, WALCOM 2011, held in New Delhi, India, in Fe...

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, he...

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool s...

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Membrane Computing, CMC11, held i...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th I...

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, h...

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Sy...

S-Cubes Foundations for the Internet of Services Todays Internet is standing at a crossroads. The Internet has evolved from a source of information...

This volume contains the papers presented at ALGOSENSORS 2010, the 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Net...

The 4th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2010) took place in Big Island, Hawaii, USA, December...

Conceptual modeling represents a recent approach to creating knowledge. It has emerged in response to the computer revolution, which started in the...

This book constitutes the refereed proceedings of the 20th Irish Conference on Artificial Intelligence and Cognitive Science, AICS 2009, held in Du...

th It is with great pleasure that I present the selected papers from the 4 Int- national Sanskrit Computational Linguistics Symposium (4i-SCLS) to ...

ASIACRYPT 2010 was held in the Swiss otel Merchant Court in Singapore, d- ing December 5-9, 2010. The conference was sponsored by the International...

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected ...

The 4th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2010) took place in Big Island, Hawaii, USA, December...

The 36th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2010) took place in Zar´ os, Crete, Greece, June 2830, 2010. Ab...

This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier S...

Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their appl...

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30Apri...

This volume contains the papers presented at 6th Conference on Geometric Modeling and Processing (GMP 2010) held in Castro Urdiales, Spain during J...

Thepresentvolumewasdevotedto thethirdeditionofthe InternationalSym- sium on Algorithmic Game Theory (SAGT), an interdisciplinary scienti?c event in...

This book constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in M...