This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
اقرأ المزيدThis ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
اقرأ المزيدThis ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
اقرأ المزيدThis ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
اقرأ المزيدThis book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
اقرأ المزيدExamines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, ...
اقرأ المزيدThe concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
اقرأ المزيدMathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدComputer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...
اقرأ المزيدThis volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
اقرأ المزيدContains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...
اقرأ المزيدThe conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
اقرأ المزيدThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيدThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيدThis book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
اقرأ المزيدThe design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
اقرأ المزيد