This book constitutes the refereed proceedings of the Second International Conference on Geometric Science of Information, GSI 2015, held in Palaiseau, France, in October 2015. The 80 full papers presented were carefully reviewed and selected from 110 submissions and are organiz…
This book constitutes the refereed proceedings of the Second International Conference on Geometric Science of Information, GSI 2015, held in Palaiseau, France, in October 2015. The 80 full papers presented were carefully reviewed and selected from 110 submissions and are organiz…
The new RISC-V Edition of Computer Organization and Design features the RISC-V open source instruction set architecture, the first open source architecture designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. W…
In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms a…
In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms a…
The target of SQL tuning is the improvement of the existing execution plan. The authors discuss the removal of brakes in the execution plan. Such "brakes" or bottlenecks can be recognized by a formal analysis of the execution plan. For this purpose no data model knowledge is nee…
Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of Complexity Theory. Our idea behind this book is to summarize such results which might otherwise not be easily accessibl…
This undergraduate textbook provides an introduction to graph theory, which has numerous applications in modeling problems in science and technology, and has become a vital component to computer science, computer science and engineering, and mathematics curricula of universities…
This is a step-by-step, tutorial guide designed to help readers transition from beginners to more experienced developers using clear explanations. The variety of examples will help readers build, secure, and host real-time web applications. If you are a developer who wants to us…
This book provides precise descriptions and instructions which enable users, students and consultants to understand Microsoft Dynamics AX rapidly. Microsoft offers Dynamics AX as its premium ERP solution, supporting large and mid-sized organizations with a complete business mana…
