Integrated Cytology of Cerebrospinal Fluid is a practical guide to this method used in the diagnosis of different pathologies. ...
Lire la suiteOne of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suiteIt addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suiteThe second volume of the IMPD series describes aspects related to most important phytoparasitic nematodes, considering the ...
Lire la suiteBiophysics represents perhaps one of the best examples of interdisciplinary research areas, where concepts and methods from ...
Lire la suiteIntegrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update ...
Lire la suiteGrowing populations and rising standards of living exert stress on water supply and the quality of drinking water. In wastewater ...
Lire la suiteThis book introduced a whole range of specific definitions, objectives and constraints regarding the various aspects of water ...
Lire la suiteThis volume comprises the proceedings of the 10th Oxford Conference held at Lake Louise, Alberta, Canada, in September, 2006. ...
Lire la suiteThis book attempts to present some current research progress and results on the interplay of fuzzy logic and chaos theory. ...
Lire la suiteCurrently the necessary information exists in a multitude of forms and formats geographically and physically scattered over ...
Lire la suiteThis book constitutes the refereed proceedings of the First European Conference on Intelligence and Security Informatics, ...
Lire la suiteThis book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
Lire la suiteInternational Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Lire la suiteA Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- ...
Lire la suiteThis book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held ...
Lire la suiteIntroduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suiteThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lire la suite