ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee masThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Lee masEsterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
Lee masThis state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
Lee masThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lee masAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lee masAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lee masThis introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
Lee masThis book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. ...
Lee masThe two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
Lee masThis book deals with the application of computational intelligence in bioinformatics. Addressing the various issues of bioinformatics ...
Lee masComputational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
Lee masComputational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
Lee masThough multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
Lee masThe notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
Lee masThe book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Lee masThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lee masThis book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...
Lee masThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Lee masThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Lee mas