Electronic Books

Total Books: 1441 - 1460 /3144

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 ...

Total Books: 1441 - 1460 /3144