Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...
  • Recent Progress in Ring and Factorization Theory

    Graz, Austria, July 10–14, 2023

    Series series Springer Nature Proceedings excluding Computer Science
    This proceedings volume gathers a selection of cutting-edge research in both commutative and non-commutative ring theory and factorization theory. The papers were presented at the Conference on Rings and Factorization held at the University of Graz, Austria, July 10–14, 2023. The volume covers a wide range of topics including multiplicative ideal theory, Dedekind, Prüfer, Krull, and Mori rings, ... Read more

    $242.99 USD

People who read this also enjoyed

  • Lambda Calculus with Types

    Series series Perspectives in Logic
    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 first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... Read more

    $89.99 USD

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    by Bart Jacobs ...
    Series Book 59 - Cambridge Tracts in Theoretical Computer Science
    The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... Read more

    $164.99 USD

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Read more

    Free

  • Commutative Algebra

    Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions

    Series series Mathematics and Statistics (R0)
    This volume presents a multi-dimensional collection of articles highlighting recent developments in commutative algebra. It also includes an extensive bibliography and lists a substantial number of open problems that point to future directions of research in the represented subfields. The contributions cover areas in commutative algebra that have flourished in the last few decades and are not yet ... Read more

    $89.09 USD

  • Logic and Algebra

    Edited by Aldo Ursini ...
    Series series Lecture Notes in Pure and Applied Mathematics
    ""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s. ... Read more

    $385.99 USD

  • Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

    Series Book 2 - Springer Nature Proceedings Computer Science
    Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: ... Read more

    Free

  • Computability and Randomness

    by André Nies ...
    Series Book 51 - Oxford Logic Guides
    The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic ... Read more

    $56.99 USD

  • Combinatorics of Permutations

    by Miklos Bona ...
    Series series Discrete Mathematics and Its Applications
    A CHOICE "Outstanding Academic Title," the first edition of this bestseller was lauded for its detailed yet engaging treatment of permutations. Providing more than enough material for a one-semester course, Combinatorics of Permutations, third edition continues to clearly show the usefulness of this subject for both students and researchers.The research in combinatorics of permutations has ... Read more

    $84.99 USD

  • P-adic Aspects Of Modular Forms

    The aim of this book is to give a systematic exposition of results in some important cases where p-adic families and p-adic L-functions are studied. We first look at p-adic families in the following cases: general linear groups, symplectic groups and definite unitary groups. We also look at applications of this theory to modularity lifting problems. We finally consider p-adic L-functions for GL(2) ... Read more

    $42.99 USD

  • Markov Models & Optimization

    by M.H.A. Davis ...
    Series series Chapman & Hall/CRC Monographs on Statistics and Applied Probability
    This book presents a radically new approach to problems of evaluating and optimizing the performance of continuous-time stochastic systems. This approach is based on the use of a family of Markov processes called Piecewise-Deterministic Processes (PDPs) as a general class of stochastic system models. A PDP is a Markov process that follows deterministic trajectories between random jumps, the latter ... Read more

    $280.99 USD