The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Continue reading
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Continue reading
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue reading
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Continue reading
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Continue reading
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
Continue reading
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...
Continue reading
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. ...
Continue reading
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Continue reading
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Continue reading
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Continue reading
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Continue reading
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Continue reading
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...
Continue reading
This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer ...
Continue reading
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Continue reading
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Continue reading