In the past two decades, an increasing number of ecologists have started to investigate the importance of biodiversity for ...
Lire la suite
This book sets an agenda for an ongoing research initiative to solve one of the most vexing problems encountered in computer ...
Lire la suiteIt is now widely recognized that intangible capital has been a crucial element in the growth performance of these economies ...
Lire la suite
Due to tough competition and increased customer-orientation, companies must improve their management of revenue objectives. ...
Lire la suite
This book, "Integrated Chemical Microsensor Systems in CMOS Technology", provides a comprehensive treatment of the highly ...
Lire la suite
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by ...
Lire la suite
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite
The second volume of the IMPD series describes aspects related to most important phytoparasitic nematodes, considering the ...
Lire la suite
Biophysics represents perhaps one of the best examples of interdisciplinary research areas, where concepts and methods from ...
Lire la suite
This book introduced a whole range of specific definitions, objectives and constraints regarding the various aspects of water ...
Lire la suite
Currently the necessary information exists in a multitude of forms and formats geographically and physically scattered over ...
Lire la suite
This book constitutes the refereed proceedings of the First European Conference on Intelligence and Security Informatics, ...
Lire la suite
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
Lire la suite
A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- ...
Lire la suite
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suite
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lire la suite
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
Lire la suite