Electronic Books

Total Books: 181 - 200 /1272

Artificial Intelligence Applications and Innovations

This book constitutes the refereed proceedings of two International Workshops held as parallel events of the 16th IFIP WG ...

Artificial Intelligence Applications and Innovations

This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...

Artificial Intelligence Applications and Innovations II

Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent ...

Artificial Intelligence Techniques for Computer Graphics

This volume contains both invited and selected extended papers from the last 3IA Conference (3IA’2008), together with an ...

Artificial Intelligence and Simulation

This volume is the proceedings of AIS 2004. The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference ...

Artificial Intelligence and Soft Computing

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...

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

Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...

Artificial Intelligence in HCI

This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...

Artificial Intelligence in Higher Education : A Practical Approach / Prathamesh Padmakar Churi, Shubham Joshi, Mohamed Elhoseny, Amina Omrane

Highlights the broad field of artificial intelligence applications in education, regarding any type of artificial intelligence ...

Artificial Intelligence in Medicine / Niklas Lidströmer, Hutan Ashrafian

Provides a structured and analytical guide to the use of artificial intelligence in medicine. Covering all areas within medicine, ...

Artificial Intelligence. IJCAI 2019 International Workshops : Macao, China, August 10–12, 2019, Revised Selected Best Papers

This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial ...

Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, ...

Artificial Market Experiments with the U-Mart System

Economics went through great development in the 20th century. This development, which was based mainly on mathematical methods, ...

Artificial Markets Modeling

Agent-based computational modeling with its intrinsic multidisciplinary approach is gaining increasing recognition in the ...

Artificial Neural Network-based Optimized Design of Reinforced Concrete Structures / Won‐Kee Hong

Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures ...

Atlas of Mineral Deposits Distribution in China (2020)

This book includes instruction of national mineral database 2020 and atlas of national mineral deposits distribution derived ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

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

Total Books: 181 - 200 /1272