Computer Science

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 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Metho...

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

Non è facile definire che cosa sia un problema inverso anche se, ogni giorno facciamo delle operazioni mentali che sono dei metodi inversi. Ad esem...

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 open access book explores the synergy between AI and education, highlighting its potential impact on pedagogical practices. It navigates the e...

This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence in Education, AIED 2011, held in Auc...

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...

Information visualization is the act of gaining insight into data, and is carried out by virtually everyone. It is usually facilitated by turning ...

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...

BlogTalk, the International Conference on Social Software, brings together different groups of people using and advancing the Internet and its usag...

ThisbookpresentsselectedandrevisedpapersoftheSecondWorkshoponAd- tive and Learning Agents 2009 (ALA-09), held at the AAMAS 2009 conference in Budap...

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...

With great pleasure we would like to present the third volume of the journal Trans- tions on Edutainment. This journal, part of the Springer series...

In the multi-agent systems area, linking theory to practical applications is still a fertile research topic. The aim of the workshop on Declarative...

The 33rd Annual German Conference on Arti?cial Intelligence (KI 2010) took place at the Karlsruhe Institute of Technology KIT, September 2124, 2010...

th This volume contains the papers presented at the 13 International Conference on Discovery Science (DS 2010) held in Canberra, Australia, October...

Ever since the historical discovery of the now-famous Lorenz system in 1963, a large number of nonlinear systems that can produce chaos have been -...

This volume composes the proceedings of the Second International Conference on Computational Collective IntelligenceTechnologies and Applications (...