Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lee mas
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, ...
Lee mas
Computational Intelligence Paradigms : Innovative Applications
The book includes a sample of research on the innovative applications of advanced computational intelligence paradigms. The ...
Lee mas
Computational Intelligence and Bioinformatics
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
Lee mas
Computational Intelligence in Medical Informatics
This book deals with the application of computational intelligence in medical informatics. Addressing the various issues ...
Lee mas
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 ...
Lee mas
Computational Linguistics and Intelligent Text Processing (vol. # 3406)
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...
Lee mas
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lee mas
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Computational Science and High Performance Computing II
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...
Lee mas
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 ...
Lee mas
Computer Aided Engineering Design
This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
Lee mas
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Lee mas
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
