Electronic Books

Total Books: 1 - 20 /152

25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Advanced Computational Intelligence Paradigms in Healthcare

This book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...

Advanced Concepts for Intelligent Vision Systems

This volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...

Advanced Concepts for Intelligent Vision Systems : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent ...

Advances in Information Retrieval

This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...

Advances in Information Retrieval

This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...

Advances in Information Retrieval (vol. # 3408)

These volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, ...

Advances in Information Retrieval (vol. # 3936)

The These proceedings contain the refereed papers and posters presented at the 28 Annual European Conference on Information ...

Advances in Knowledge Discovery and Data Mining (vol. # 3518)

This book constitutes the refereed proceedings of the 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining, ...

Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry : Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings

The purpose of this third edition of the International Conference on Mass Data Analysis of Signals and Images in Medicine, ...

Advances in Multimedia Information Processing - PCM 2008 : 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th Pacific Rim Conference on Multimedia, PCM 2008, held in Tainan, ...

Advances in Natural Language Processing

This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL ...

Advances in Nonlinear Speech Processing

This book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear ...

Advances in Nonlinear Speech Processing

This book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear ...

Advances in Visual Information Systems

The visual information systems paradigm continues to evolve, and the unrelenting exponential growth in the amount of digital ...

Advances in Visual Information Systems

The visual information systems paradigm continues to evolve, and the unrelenting exponential growth in the amount of digital ...

Agile Software Engineering

This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...

Anaphora: Analysis, Algorithms and Applications

This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...

Anaphora: Analysis, Algorithms and Applications

This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...

Total Books: 1 - 20 /152