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