5,469円 This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scienti...

12,154円 This monograph aims to promote original mathematical methods to determine the invariant measure of two-dimensional random walks in domains with boundaries. Such processes arise in numerous applications and are of interest in several areas of mathematical research, such as Stochastic Networks, Ana...

2,726円 Dieses Buch ist ein wichtiges studienbegleitendes Hilfsmittel für alle die Mathematik-Lehrveranstaltungen besuchen. Die Lektüre dieses Buch ermöglicht Ihnen, begriffliche Sicherheit für Mathematik-Vorlesungen und Prüfungen aufzubauen. Die Lektüre jedes Kapitel dieses Buches erlaubt Ihnen, einen Ü...

14,658円 The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This second edition is a complete rewrite of the first...

6,076円 "Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic de...

6,076円 This book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017, held in Hsinchu, Taiwan, in March 2017. The 35 full papers presented together with three invited talks were carefully reviewed and selected from 83 submissions. The papers are orga...

14,585円 Starting with an introduction to the numerous features of Mathematica®, this book continues with more complex material. It provides the reader with lots of examples and illustrations of how the benefits of Mathematica® can be used. Composed of eleven chapters, it includes the following: A chapte...

14,585円 This book is divided into two parts, the first of which seeks to connect the phase transitions of various disciplines, including game theory, and to explore the synergies between statistical physics and combinatorics. Phase Transitions has been an active multidisciplinary field of research, bring...

6,076円 Aimed toward upper undergraduate and graduate students in mathematics, this book examines the foremost forms of graph labelings including magic, harmonious, and graceful labelings. An overview of basic graph theory concepts and notation is provided along with the origins of graph labeling. Common...

7,292円 This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since...

12,154円 This book collects the works presented at the 8th International Conference on Complex Networks (CompleNet) 2017 in Dubrovnik, Croatia, on March 21-24, 2017. CompleNet aims at bringing together researchers and practitioners working in areas related to complex networks. The past two decades has wit...

13,369円 This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose ...