7,900円 This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecew...

7,900円 This book explores the dynamic processes in economic systems, concentrating on the extraction and use of the natural resources required to meet economic needs. Sections cover methods for dynamic modeling in economics, microeconomic models of firms, modeling optimal use of both nonrenewable and re...

7,561円 This book presents the reader with new operators and matrices that arise in the area of matrix calculus. The properties of these mathematical concepts are investigated and linked with zero-one matrices such as the commutation matrix. Elimination and duplication matrices are revisited and partitio...

10,943円 This book investigates the contextual factors that led to Korean society becoming ‘broadband heaven’ ー the most wired nation in the world ー by scrutinizing the historical contexts surrounding the Korean Information Infrastructure (KII) project (1995–2005), which aimed to establish a nationwide ...

3,661円 How to make customers feel good about doing what you want Learn how companies make us feel good about doing what they want. Approaching persuasive design from the dark side, this book melds psychology, marketing, and design concepts to show why we’re susceptible to certain persuasive techniques. ...

12,154円 The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. However, in this important area there often exists a ...

6,076円 Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logi...

6,076円 The ultimate goal of machines is to help humans to solve problems. Such problems range between two extremes: structured problems for which the solution is totally defined (and thus are easily programmed by humans), and random problems for which the solution is completely undefined (and thus canno...

12,767円 In this book, a number of experts from various disciplines take a look at three different strands in learning to model. They examine the activity of modeling from disparate theoretical standpoints, taking into account the individual situation of the individuals involved. The chapters seek to brid...

16,083円 Since the appearance of the first edition of 'Energy Simulation in Building Design', the use of computer-based appraisal tools to solve energy design problems within buildings has grown rapidly. A leading figure in this field, Professor Joseph Clarke has updated his book throughout to reflect the...

6,076円 This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathem...

6,685円 Symmetry and Pattern in Projective Geometry is a self-contained study of projective geometry which compares and contrasts the analytic and axiomatic methods. The analytic approach is based on homogeneous coordinates, and brief introductions to Plücker coordinates and Grassmann coordinates are pre...