6,076円 Simplicial Global Optimization is centered on deterministic covering methods partitioning feasible region by simplices. This book looks into the advantages of simplicial partitioning in global optimization through applications where the search space may be significantly reduced while taking into ...

10,331円 Traditionally a subject of number theory, continued fractions appear in dynamical systems, algebraic geometry, topology, and even celestial mechanics. The rise of computational geometry has resulted in renewed interest in multidimensional generalizations of continued fractions. Numerous classical...

13,796円 This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the...

12,154円 Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different appl...

10,331円 Total Domination in Graphs gives a clear understanding of this topic to any interested reader who has a modest background in graph theory. This book provides and explores the fundamentals of total domination in graphs. Some of the topics featured include the interplay between total domination in ...

12,154円 The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immen...

3,641円 John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD, and other areas of computer graphics. Covering all the mathematical techniques required to resolve geometric problems and design com...

8,507円 This second edition of Mathematical Olympiad Treasures contains a stimulating collection of problems in geometry and trigonometry, algebra, number theory, and combinatorics. It encourages readers to think creatively about techniques and strategies for solving real-world problems, with new section...

6,076円 The book provides the first full length exploration of fuzzy computability. It describes the notion of fuzziness and present the foundation of computability theory. It then presents the various approaches to fuzzy computability. This text provides a glimpse into the different approaches in this a...

6,076円 This textbook provides a progressive approach to the teaching of software engineering. First, readers are introduced to the core concepts of the object-oriented methodology, which is used throughout the book to act as the foundation for software engineering and programming practices, and partly f...

7,900円 This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems shoul...

496円 An Elementary Treatise On Fourier's Series (Differential Calculus) and Spherical, Cylindrical, and Ellipsoidal Harmonics, With Applications To Problems In Mathematical Physics. By William Elwood Byerly, Ph.D., Professor Of Mathematics In Harvard University ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~...