Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
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, ...
اقرأ المزيد
Computational Intelligence Paradigms : Innovative Applications
The book includes a sample of research on the innovative applications of advanced computational intelligence paradigms. The ...
اقرأ المزيد
Computational Intelligence and Bioinformatics
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
اقرأ المزيد
Computational Intelligence in Medical Informatics
This book deals with the application of computational intelligence in medical informatics. Addressing the various issues ...
اقرأ المزيد
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 Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computational Science and High Performance Computing II
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computer Aided Engineering Design
This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
اقرأ المزيد
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 ...
اقرأ المزيد
