Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Continue reading
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Continue reading
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 ...
Continue reading
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Integrative Oncology : Incorporating Complementary Medicine into Conventional Cancer Care
Integrative Oncology: Incorporating Complementary Medicine into Conventional Cancer Care is a platform from which accomplished ...
Continue reading
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, ...
Continue reading
Intelligence and Security Informatics : Techniques and Applications
This book, INTELLIGENCE and SECURITY INFORMATICS: TECHNIQUES & APPLICATIONS, presents a collection of works discussing terrorism ...
Continue reading
Intelligence and Security Informatics: Biosurveillance
The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
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. ...
Continue reading
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Continue reading
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 ...
Continue reading
Intelligent Data Engineering and Automated Learning - IDEAL 2005
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Intelligent Information Processing III
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
