Electronic Books

Total Books: 1 - 20 /152

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1 - 20 /152