Skip to main content
Elsevier
View Cart
openUserAccount

Books in Mathematics and applied mathematics

BooksJournals
41-50 of 2229 results in All results

The Nuts and Bolts of Proofs

  • 5th Edition
  • January 5, 2023
  • Antonella Cupillari
  • English
  • Paperback
    9 7 8 - 0 - 3 2 3 - 9 9 0 2 0 - 2
  • eBook
    9 7 8 - 0 - 3 2 3 - 9 9 0 2 1 - 9
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The book offers techniques for both reading and writing proofs, discusses techniques in proving if/then statements by contrapositive and proofing by contradiction, includes the negation statement, and/or, examines various theorems, such as the if and only-if, equivalence theorems, existence theorems, and the uniqueness theorems. In addition, the use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are also covered. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics. Undergraduate students in engineering and physical science will find this book accessible as well as invaluable.

Algebraic Theory for True Concurrency

  • 1st Edition
  • January 3, 2023
  • Yong Wang
  • English
  • Paperback
    9 7 8 - 0 - 4 4 3 - 1 8 9 1 2 - 8
  • eBook
    9 7 8 - 0 - 4 4 3 - 1 8 9 1 3 - 5
Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored. This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.

A Mathematical Approach to Special Relativity

  • 1st Edition
  • September 9, 2022
  • Ahmad Shariati
  • English
  • Paperback
    9 7 8 - 0 - 3 2 3 - 9 9 7 0 8 - 9
  • eBook
    9 7 8 - 0 - 3 2 3 - 9 9 7 0 9 - 6
A Mathematical Approach to Special Relativity introduces the mathematical formalisms of special and general relativity. Developed from the author’s experience teaching physics to students across all levels, the valuable resource introduces key concepts, building in complexity and using increasingly advanced mathematical tools as it progresses. Without assuming a background in calculus, the text begins with symmetry, before delving more deeply into Galilean relativity. Throughout, the book provides examples and useful "Guides to the Literature." This unique text emphasizes the experimental consequences and verifications of the underpinning theory in order to provide students with a solid foundation in this key area.

Discrete Mathematics

  • 1st Edition
  • April 29, 2022
  • Ali Grami
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 2 0 6 5 6 - 0
  • eBook
    9 7 8 - 0 - 1 2 - 8 2 0 9 0 9 - 7
Discrete Mathematics: Essentials and Applications offers a comprehensive survey of the area, particularly concentrating on the basic principles and applications of Discrete Mathematics. This up-to-date text provides proofs of significance, keeping the focus on numerous relevant examples and many pertinent applications. Written in a simple and clear tone, the title features insightful descriptions and intuitive explanations of all complex concepts and ensures a thorough understanding of the subject matter.

Edge/Fog Computing Paradigm: The Concept, Platforms and Applications.

  • 1st Edition
  • Volume 127
  • April 21, 2022
  • Pethuru Raj + 2 more
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 2 4 5 0 6 - 4
  • eBook
    9 7 8 - 0 - 1 2 - 8 2 4 5 0 7 - 1
Advances in Computers, Volume 127 presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on Edge AI, Edge Computing, Edge Analytics, Edge Data Analytics, Edge Native Applications, Edge Platforms, Edge Computing, IoT, Internet of Things, etc.

Advanced Differential Equations

  • 1st Edition
  • April 13, 2022
  • Youssef N. Raffoul
  • English
  • Paperback
    9 7 8 - 0 - 3 2 3 - 9 9 2 8 0 - 0
  • eBook
    9 7 8 - 0 - 3 2 3 - 9 9 2 8 1 - 7
Advanced Differential Equations provides coverage of high-level topics in ordinary differential equations and dynamical systems. The book delivers difficult material in an accessible manner, utilizing easier, friendlier notations and multiple examples. Sections focus on standard topics such as existence and uniqueness for scalar and systems of differential equations, the dynamics of systems, including stability, with examples and an examination of the eigenvalues of an accompanying linear matrix, as well as coverage of existing literature. From the eigenvalues' approach, to coverage of the Lyapunov direct method, this book readily supports the study of stable and unstable manifolds and bifurcations. Additional sections cover the study of delay differential equations, extending from ordinary differential equations through the extension of Lyapunov functions to Lyapunov functionals. In this final section, the text explores fixed point theory, neutral differential equations, and neutral Volterra integro-differential equations.

Elementary Linear Algebra

  • 6th Edition
  • April 5, 2022
  • Stephen Andrilli + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 2 2 9 7 8 - 1
  • eBook
    9 7 8 - 0 - 3 2 3 - 9 8 4 2 6 - 3
*Textbook and Academic Authors Association (TAA) Textbook Excellence Award Winner, 2024*Elementary Linear Algebra, Sixth Edition provides a solid introduction to both the computational and theoretical aspects of linear algebra, covering many important real-world applications, including graph theory, circuit theory, Markov chains, elementary coding theory, least-squares polynomials and least-squares solutions for inconsistent systems, differential equations, computer graphics and quadratic forms. In addition, many computational techniques in linear algebra are presented, including iterative methods for solving linear systems, LDU Decomposition, the Power Method for finding eigenvalues, QR Decomposition, and Singular Value Decomposition and its usefulness in digital imaging.

Advances in Computers

  • 1st Edition
  • Volume 126
  • March 24, 2022
  • Suyel Namasudra
  • English
  • Hardback
    9 7 8 - 0 - 3 2 3 - 9 8 8 5 5 - 1
  • eBook
    9 7 8 - 0 - 3 2 3 - 9 8 8 5 6 - 8
Advances in Computers, Volume 126 presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on VLSI for Super-Computing: Creativity in R+D from Applications and Algorithms to Masks and Chips, Bulk Bitwise Execution Model in Memory: Mechanisms, Implementation, and Evaluation, Embracing the Laws of Physics: Three Reversible Models of Computation, WSNs in Environmental Monitoring: Data Acquisition and Dissemination Aspects, Energy efficient implementation of tensor operations using dataflow paradigm for machine learning, and A Run-Time Job Scheduling Algorithm for Cluster Architectures with DataFlow Accelerators.

Data Prefetching Techniques in Computer Systems

  • 1st Edition
  • Volume 125
  • February 24, 2022
  • Pejman Lotfi-Kamran + 1 more
  • English
  • Hardback
    9 7 8 - 0 - 3 2 3 - 8 5 1 1 9 - 0
  • eBook
    9 7 8 - 0 - 3 2 3 - 8 5 1 2 0 - 6
Data Prefetching Techniques in Computer Systems, Volume 125 provides an in-depth review of the latest progress on data prefetching research. Topics covered in this volume include temporal prefetchers, spatial prefetchers, non-spatial-temporal prefetchers, and evaluation of prefetchers, with insights on possible future research direction. Specific chapters in this release include Introduction to Data Prefetching, Spatial Prefetching Techniques, Temporal Prefetching Techniques, Domino prefetching scheme, Bingo prefetching method, and The Champion prefetcher.

Numerical Control: Part A

  • 1st Edition
  • Volume 23
  • February 15, 2022
  • Emmanuel Trélat + 1 more
  • English
  • Hardback
    9 7 8 - 0 - 3 2 3 - 8 5 0 5 9 - 9
  • eBook
    9 7 8 - 0 - 3 2 3 - 8 5 3 3 9 - 2
Numerical Control: Part A, Volume 23 in the Handbook of Numerical Analysis series, highlights new advances in the field, with this new volume presenting interesting chapters written by an international board of authors. Chapters in this volume include Numerics for finite-dimensional control systems, Moments and convex optimization for analysis and control of nonlinear PDEs, The turnpike property in optimal control, Structure-Preserving Numerical Schemes for Hamiltonian Dynamics, Optimal Control of PDEs and FE-Approximation, Filtration techniques for the uniform controllability of semi-discrete hyperbolic equations, Numerical controllability properties of fractional partial differential equations, Optimal Control, Numerics, and Applications of Fractional PDEs, and much more.

Related subjects

Abstract harmonic analysis

Algebra and number theory

Algebraic geometry

Algebraic topology

Analysis

Applied mathematics

Approximations and expansions

Associative rings and algebras

Biomathematics

Calculus of variations and optimal control optimization

Category theory homological algebra

Commutative rings and algebras

Computer science

Convex sets and related geometric topics

Differential geometry

Discrete mathematics combinatorics

Field theory and polynomials

Finite differences and functional equations

Fourier analysis

Functional analysis

Functions of a complex variable

General mathematical systems

General topology

Geometry

Global analysis analysis of manifolds

Group theory and generalizations

Integral equations

Integral transforms operational calculus

Linear and multilinear algebra matrix theory

Logic

Manifolds and cell complexes

Mathematical economics and game theory

Mathematical logic and foundations

Mathematical programming

Mathematics general

Mathematics history and biography

Measure and integration

Number theory

Numerical analysis

Operator theory

Order lattices ordered algebraic structures

Ordinary differential equations

Partial differential equations

Real functions

Sequences series summability

Set theory

Several complex variables and analytic spaces

Special functions

Systems theory control

Topological groups lie groups