Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lire la suite
Computational Forensics : Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, ...
Lire la suite
Computational Intelligence Paradigms : Innovative Applications
The book includes a sample of research on the innovative applications of advanced computational intelligence paradigms. The ...
Lire la suite
Computational Intelligence and Bioinformatics
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
Lire la suite
Computational Intelligence in Medical Informatics
This book deals with the application of computational intelligence in medical informatics. Addressing the various issues ...
Lire la suite
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 ...
Lire la suite
Computational Linguistics and Intelligent Text Processing (vol. # 3406)
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...
Lire la suite
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lire la suite
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lire la suite
Computational Logic in Multi-Agent Systems (vol. # 3900)
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Lire la suite
Computational Methods in Transport: Verification and Validation
The focus of this book deals with a cross cutting issue affecting all particle transport algorithms and applications; verification ...
Lire la suite
Computational Science and High Performance Computing II
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...
Lire la suite
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 ...
Lire la suite
Computer Aided Engineering Design
This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
Lire la suite
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Lire la suite
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
