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