Argumentation in Multi-Agent Systems :4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers
This volume presents the latest developments in the growing area of research at the interface of argumentation theory and ...
Continue reading
Artificial Intelligence and Soft Computing - ICAISC 2008 : 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence and Soft Computing, ...
Continue reading
Artificial Intelligence for Customer Relationship Management
This book describes a number of applications of Artificial Intelligence in the field of Customer Relationship Management ...
Continue reading
Artificial Intelligence for Customer Relationship Management : Keeping Customers Informed
Providing a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, ...
Continue reading
Artificial Intelligence in Education
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Continue reading
Artificial Intelligence in Education
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Continue reading
Artificial Intelligence with Python / Teik Toe Teoh, Zheng Rong
Introduces readers to various topics and examples of programming in Python, as well as key concepts in artificial intelligence. ...
Continue reading
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 ...
Continue reading
Artificial Neural Networks with Java : Tools for Building Neural Network Applications / Igor Livshin
Covers the internals of front and back propagation and helps you understand the main principles of neural network processing. ...
Continue reading
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 ...
Continue reading
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
Continue reading
Assembly Language for x86 Processors / KIP R. IRVINE
Focuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace ...
Continue readingAssembly language for x86 processors / Kip R. Irvine
Focuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace ...
Continue reading
Automata, Languages and Programming (vol. # 3580)
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
Continue reading
Automata, Languages and Programming (vol. # 4051)
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
Continue reading
Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Continue reading
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 ...
Continue reading
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue reading
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Continue reading
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Continue reading
