The book represents a snapshot of the current status of research in reaction dynamics, focusing especially on accurate time-dependent ...
Continue readingTheory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Continue readingThis book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in ...
Continue readingThe papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
Continue readingReports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Continue readingThis book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Continue readingThis edition guides the reader through successful planning and implementation of a thesis project and provides students in ...
Continue readingYou'll discover how to build a side-by-side cybersecurity fusion center on both Microsoft Azure and Amazon Web Services ...
Continue reading3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...
Continue readingTime Series Analysis With Applications in R, Second Edition, presents an accessible approach to understanding time series ...
Continue readingThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Continue readingThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Continue readingTo support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue readingMost topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Continue readingThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Continue readingProvides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Continue readingThis book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Continue readingTowards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...
Continue reading