The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computat…
Transforming Enterprise Cloud Services addresses the fundamental ideology of Cloud Services and how enterprises in commercial, federal, and defense industries can transform their current information technology and management models to adopt this new method. It goes beyond the me…
This multi-author contributed proceedings volume contains recent advances in several areas of Computational and Applied Mathematics. Each review is written by well known leaders of Computational and Applied Mathematics. The book gives a comprehensive account of a variety of topi…
Modern multimedia systems are becoming increasingly multiprocessor and heterogeneous to match the high performance and low power demands placed on them by the large number of applications. The concurrent execution of these applications causes interference and unpredictability in…
Kinematics is an exciting area of computational mechanics which plays a central role in a great variety of fields and industrial applications. Apart from research in pure kinematics, the field offers challenging problems of practical relevance that need to be solved in an interd…
