 
                The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, ...
Continue reading 
                The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that ...
Continue reading 
                The aim of this Volume of scientific essays is twofold. From one side, by remembering the scientific figure of Eduardo R. ...
Continue reading 
                This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Continue reading 
                The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Continue reading 
                This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Continue reading 
                This book constitutes the refereed proceedings of the 7th International Conference on Information Management and Big Data, ...
Continue reading 
                Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective ...
Continue reading 
                One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Continue reading 
                This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading 
                It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Continue reading 
                This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Continue reading 
                Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Continue reading 
                Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and ...
Continue reading 
                The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading 
                This is a groundbreaking resource that covers both algorithms and technologies of interactive videos, so that businesses ...
Continue reading 
                This book is addressed to students, researchers and academics who have barely heard of the emerging young science of Biosemiotics, ...
Continue reading 
                This book constitutes the thoroughly refereed post-proceedings of the 2004 International Workshop on Intuitive Human Interfaces ...
Continue reading 
                The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...
Continue reading 
                – semantic caching – data warehousing and semantic data mining – spatial, temporal, multimedia and multimodal semantics ...
Continue reading