Electronic Books

Total Books: 81 - 100 /597
Artificial Intelligence: Methodology, Systems, and Applications

The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central ...

Lee mas
Artificial Neural Networks - ICANN 2006 (vol. # 4131)

This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September ...

Lee mas
Artificial Neural Networks - ICANN 2006 (vol. # 4132)

This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September ...

Lee mas
Artificial Neural Networks: Biological Inspirations – ICANN 2005

The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial ...

Lee mas
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...

Lee mas
Aspects of Automatic Text Analysis

This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis ...

Lee mas
Aspectual Inquiries

The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...

Lee mas
Attitudes and Changing Contexts

In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes ...

Lee mas
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

Lee mas
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

Lee mas
Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Lee mas
Automated Reasoning with Analytic Tableaux and Related Methods

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

Lee mas
Autonomous Intelligent Systems: Agents and Data Mining

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

Lee mas
Autonomous Intelligent Systems: Multi-Agents and Data Mining

MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...

Lee mas
Autonomous Intelligent Systems: Multi-Agents and Data Mining

MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...

Lee mas
Biological and Medical Data Analysis (vol. # 4345)

This book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ...

Lee mas
Business Process Management Workshops (vol. # 3812)

Six parallel Business Process Management workshops were held on September 5th, 2005,The topics of the workshops ranged from ...

Lee mas
C++ /CLI : The Visual C++ Language for .NET

C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...

Lee mas
CASCOM: Intelligent Service Coordination in the Semantic Web

A general architecture for service delivery and coordination in intelligent agent-based peer-to-peer (IP2P) environments, ...

Lee mas
CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

Lee mas
Total Books: 81 - 100 /597