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 ...
Continue reading
Computational Methods in Systems Biology (vol. # 3082)
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Continue reading
Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...
Continue reading
Computational Science - ICCS 2006 (vol. # 3991)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2006 (vol. # 3992)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2006 (vol. # 3993)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2006 (vol. # 3994)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Continue reading
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 ...
Continue reading
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Continue reading
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Continue readingComputational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic ...
Continue reading
Computational and Ambient Intelligence
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
Continue reading
Computational and Ambient Intelligence
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
Continue reading
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 ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue reading
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 ...
Continue reading
