Compiler Construction (vol. # 3923)
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
اقرأ المزيد
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
اقرأ المزيد
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
اقرأ المزيد
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Geometry : Algorithms and Applications
This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
اقرأ المزيد
Computational Intelligence : Methods and Techniques
This book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. ...
اقرأ المزيد
Computational Intelligence and Security (vol. # 3801)
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
اقرأ المزيد
Computational Intelligence in Bioinformatics
This book deals with the application of computational intelligence in bioinformatics. Addressing the various issues of bioinformatics ...
اقرأ المزيد
Computational Intelligence in Economics and Finance
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
اقرأ المزيد
Computational Intelligence in Economics and Finance
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
اقرأ المزيد
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 (vol. # 3900)
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
اقرأ المزيد
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 : 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, ...
اقرأ المزيد
Computational Science - ICCS 2006 (vol. # 3993)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيد
Computational Science - ICCS 2006 (vol. # 3994)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيد
