Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lire la suite
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite
Integrated Management and Biocontrol of Vegetable and Grain Crops Nematodes
The second volume of the IMPD series describes aspects related to most important phytoparasitic nematodes, considering the ...
Lire la suite
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Lire la suite
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524)
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lire la suite
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lire la suite
Integrative Oncology : Incorporating Complementary Medicine into Conventional Cancer Care
Integrative Oncology: Incorporating Complementary Medicine into Conventional Cancer Care is a platform from which accomplished ...
Lire la suite
Intelligence and Security Informatics : IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
Lire la suite
Intelligence and Security Informatics : Techniques and Applications
This book, INTELLIGENCE and SECURITY INFORMATICS: TECHNIQUES & APPLICATIONS, presents a collection of works discussing terrorism ...
Lire la suite
Intelligence and Security Informatics: Biosurveillance
The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, ...
Lire la suite
Intelligent Algorithms for Packing and Cutting Problem / Yunqing Rao, Qiang Luo
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
Lire la suite
Intelligent Algorithms in Ambient and Biomedical Computing
The rapid growth in electronic systems in the past decade has boosted research in the area of computational intelligence. ...
Lire la suite
Intelligent Algorithms in Ambient and Biomedical Computing
The rapid growth in electronic systems in the past decade has boosted research in the area of computational intelligence. ...
Lire la suite
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suite
Intelligent Computing Theories and Application
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
Lire la suite
Intelligent Data Engineering and Automated Learning - IDEAL 2005
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Lire la suite
Intelligent Decision-making Support Systems
The book brings together up-to-date information on the theory and application of i-DMSS. Readers will learn about the foundations, ...
Lire la suite
Intelligent Distributed Computing, Systems and Applications : Proceedings of the 2nd International Symposium on Intelligent Distributed Computing – IDC 2008, Catania, Italy, 2008
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and ...
Lire la suite
Intelligent Information Processing III
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
