Electronic Books

Total Books: 401 - 420 /1442

Computational Intelligence, Theory and Applications

This book constitutes the refereed proceedings of the 8th Dortmund Fuzzy Days, held in Dortmund, Germany, 2004. The Fuzzy-Days ...

Computational Intelligence: A Compendium

Computational Intelligence paradigms have proven effective on real-world problems in virtually all disciplines including ...

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 (vol. # 3406)

This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...

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 Logic in Multi-Agent Systems (vol. # 3487)

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...

Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...

Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...

Computational Mind: A Complex Dynamics Perspective

Computational Mind: A Complex Dynamics Perspective is a graduate–level monographic textbook in the field of Computational ...

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

Computational Science and High Performance Computing III : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and ...

Computational and Ambient Intelligence

This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...

Computational and Ambient Intelligence

This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...

Computer Aided Systems Theory – EUROCAST 2005

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

Computer Aided Systems Theory – EUROCAST 2007

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

Computer Aided Systems Theory – EUROCAST 2007

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Total Books: 401 - 420 /1442