Electronic Books

Total Books: 141 - 160 /655

Computational Collective Intelligence : 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings

This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...

Computational Earthquake Physics, Part I

The book is divided into two parts: The present volume - Part I - focuses on microscopic simulation, scaling physics, dynamic ...

Computational Intelligence and Security (vol. # 3802)

The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...

Computational Intelligence: Research Frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures

The book presents the expertise and experiences of leading researchers spanning a diverse spectrum of computational intelligence ...

Computational Linguistics and Intelligent Text Processing : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural ...

Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Computer Music Modeling and Retrieval (vol. # 3310)

This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...

Computer Music Modeling and Retrieval. Sense of Sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...

Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Computer Vision - ACCV 2006 (vol. # 3851)

proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer ...

Computer Vision – ACCV 2007

Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...

Computer Vision – ACCV 2007

Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...

Computer-Human Interaction : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, ...

Computers Helping People with Special Needs : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Computers Helping People with Special ...

Computers and Games : 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...

Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...

Total Books: 141 - 160 /655