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