American Mathematical Society Forlag
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Partial Order Methods in Verification (Bog, Hardback, Engelsk)
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Proof Complexity and Feasible Arithmetics (Bog, Hardback, Engelsk)
Contains papers that represent the proceedings of the DIMACS workshop on 'Feasible Arithmetics and Proof Complexity' held in April 1996 at Rutgers University in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Robert Steinberg Collected Papers (Bog, Hardback, Engelsk)
A collection of papers by Robert Steinberg. It contains his published papers on group theory, including those on 'special representations' (now called Steinberg... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Topics in Mathematical Economics and Game Theory: Essays in Honor of Robert J.Aumann (Bog, Hardback, Engelsk)
Offers a collection of essays in mathematical economics and game theory, including research on noncooperative game... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Descriptive Complexity and Finite Models (Bog, Hardback, Engelsk)
Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Open Algebraic Surfaces (Bog, Hardback, Engelsk)
Open algebraic surfaces are a synonym for algebraic surfaces that are not necessarily complete. An open algebraic surface is understood as a Zariski open set of a projective... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Spatial Deterministic Epidemics (Bog, Hardback, Engelsk)
The study of epidemic models is one of the central topics of mathematical biology. This volume presents the rigorous mathematical theory developed to analyze the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Satisfiability Problem: Theory and Applications (Bog, Hardback, Engelsk)
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This book features the application... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The 21St Hilbert Problem for Linear Fuchsian Systems (Bog, Paperback / softback, Engelsk)
Bolibrukh presents the negative solution of Hilbert's 21st problem for linear Fuchsian systems of differential equations. Methods developed by... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Single Orbit Dynamics (Bog, Paperback / softback, Engelsk)
Presents the expanded notes from ten lectures given by the author at the NSF/CBMS conference held at California State University (Bakersfield). This book includes complete proofs and illuminating discussions and gives references for further study.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Free Lattices (Bog, Hardback, Engelsk)
Explores the rich and complex structure of free lattices. This book presents an exposition of the basic theory of free lattices, projective lattices, and lattices which are bounded homomorphic images of a free lattice, as well as applications of these results to other areas.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Research in Collegiate Mathematics Education II (Bog, Paperback / softback, Engelsk)
The field of research in collegiate mathematics education has grown rapidly over the years. This book exhibits a large diversity in methods and purposes,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
