Mathematical foundations Books

Mathematical logic
Number systems
Set theory
Sidebar Sidebar Sidebar
  • Extremal Polynomials and Riemann Surfaces Extremal Polynomials and Riemann Surfaces
    Add to Cart The item has been added

    Extremal Polynomials and Riemann Surfaces

    The problems of conditional optimization of the uniform (or C-) norm for polynomials and rational functions arise in various branches of science and technology. Their numerical solution is...
    $92.00

    Add to Cart The item has been added
  • Supercavitation Supercavitation
    Add to Cart The item has been added

    Supercavitation

    This collection is dedicated to the 70th jubilee of Yu. N. Savchenko, and presents experimental, theoretical, and numerical investigations written by an international group of well-known authors. The...
    $227.00

    Add to Cart The item has been added
  • Innovations for Shape Analysis Innovations for Shape Analysis
    Add to Cart The item has been added

    Innovations for Shape Analysis

    The concept of 'shape' is at the heart of image processing and computer vision, yet researchers still have some way to go to replicate the human brain's ability to extrapolate meaning from the most...
    $227.00

    Add to Cart The item has been added
  • Cylindric-like Algebras and Algebraic Logic Cylindric-like Algebras and Algebraic Logic
    Add to Cart The item has been added

    Cylindric-like Algebras and Algebraic Logic

    Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski's quest for finding structure in logic...
    $227.00

    Add to Cart The item has been added
  • On Fuzziness On Fuzziness
    Add to Cart The item has been added

    On Fuzziness

    The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful...
    $335.00

    Add to Cart The item has been added
  • Nonlinear Dynamical Systems in Engineering Nonlinear Dynamical Systems in Engineering
    Add to Cart The item has been added

    Nonlinear Dynamical Systems in Engineering

    This book presents and extend different known methods to solve different types of strong nonlinearities encountered by engineering systems. A better knowledge of the classical methods presented in...
    $270.00

    Add to Cart The item has been added
  • Mathematics of Fuzzy Sets and Fuzzy Logic Mathematics of Fuzzy Sets and Fuzzy Logic
    Add to Cart The item has been added

    Mathematics of Fuzzy Sets and Fuzzy Logic

    This book presents a mathematically-based introduction into the fascinating topic of Fuzzy Sets and Fuzzy Logic and might be used as textbook at both undergraduate and graduate levels and also as...
    $335.00

    Add to Cart The item has been added
  • Algebraic Geodesy and Geoinformatics Algebraic Geodesy and Geoinformatics
    Add to Cart The item has been added

    Algebraic Geodesy and Geoinformatics

    While preparing and teaching 'Introduction to Geodesy I and II' to undergraduate students at Stuttgart University, we noticed a gap which motivated the writing of the present book: Almost every topic...
    $482.00

    Add to Cart The item has been added
  • Ontology Engineering in a Networked World Ontology Engineering in a Networked World
    Add to Cart The item has been added

    Ontology Engineering in a Networked World

    The Semantic Web is characterized by the existence of a very large number of distributed semantic resources, which together define a network of ontologies. These ontologies in turn are interlinked...
    $122.00

    Add to Cart The item has been added
  • Numerical Analysis of Multiscale Problems Numerical Analysis of Multiscale Problems
    Add to Cart The item has been added

    Numerical Analysis of Multiscale Problems

    The 91st London Mathematical Society Durham Symposium took place from July 5th to 15th 2010, with more than 100 international participants attending. The Symposium focused on Numerical Analysis of...
    $122.00

    Add to Cart The item has been added
  • Model Order Reduction Model Order Reduction
    Add to Cart The item has been added

    Model Order Reduction

    The idea for this book originated during the workshop "Model order reduction, coupled problems and optimization" held at the Lorentz Center in Leiden from S- tember 19-23, 2005. During one of the...
    $335.00

    Add to Cart The item has been added
  • Advances in Mathematical Fluid Mechanics Advances in Mathematical Fluid Mechanics
    Add to Cart The item has been added

    Advances in Mathematical Fluid Mechanics

    The present volume celebrates the 60th birthday of Professor Giovanni Paolo Galdi and honors his remarkable contributions to research in the ?eld of Mathematical Fluid Mechanics. The book contains a...
    $324.00

    Add to Cart The item has been added
  • Pattern Calculus Pattern Calculus
    Add to Cart The item has been added

    Pattern Calculus

    Over time, basic research tends to lead to specialization - increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and...
    $348.00

    Add to Cart The item has been added
  • Simula Research Laboratory Simula Research Laboratory
    Add to Cart The item has been added

    Simula Research Laboratory

    When researchers gather around lunch tables, at conferences, or in bars, there are some topics that are more or less compulsory. The discussions are about the ho- less management of the university or...
    $220.00

    Add to Cart The item has been added
  • Plasticity and Creep of Metals Plasticity and Creep of Metals
    Add to Cart The item has been added

    Plasticity and Creep of Metals

    This book serves both as a textbook and a scientific work. As a textbook, the work gives a clear, thorough and systematic presentation of the fundamental postulates, theorems and principles and their...
    $270.00

    Add to Cart The item has been added
  • Logic, Rationality, and Interaction Logic, Rationality, and Interaction
    Add to Cart The item has been added

    Logic, Rationality, and Interaction

    This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition,...
    $122.00

    Add to Cart The item has been added
  • Rough Sets and Knowledge Technology Rough Sets and Knowledge Technology
    Add to Cart The item has been added

    Rough Sets and Knowledge Technology

    This book constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Knowledge Technology, RSKT 2012, held in Chengdu, China during August 2012, as one of the...
    $122.00

    Add to Cart The item has been added
  • One-Dimensional Finite Elements One-Dimensional Finite Elements
    Add to Cart The item has been added

    One-Dimensional Finite Elements

    This textbook presents finite element methods using exclusively one-dimensional elements. The aim is to present the complex methodology in an easily understandable but mathematically correct...
    $92.00

    Add to Cart The item has been added
  • Sparse Grids and Applications Sparse Grids and Applications
    Add to Cart The item has been added

    Sparse Grids and Applications

    In the recent decade, there has been a growing interest in the numerical treatment of high-dimensional problems. It is well known that classical numerical discretization schemes fail in more than...
    $184.00

    Add to Cart The item has been added
  • Descriptional Complexity of Formal Systems Descriptional Complexity of Formal Systems
    Add to Cart The item has been added

    Descriptional Complexity of Formal Systems

    This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers...
    $92.00

    Add to Cart The item has been added
  • Languages Alive Languages Alive
    Add to Cart The item has been added

    Languages Alive

    This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on...
    $116.00

    Add to Cart The item has been added
  • Intelligent Computer Mathematics Intelligent Computer Mathematics
    Add to Cart The item has been added

    Intelligent Computer Mathematics

    This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic...
    $122.00

    Add to Cart The item has been added
  • Controlled Natural Language Controlled Natural Language
    Add to Cart The item has been added

    Controlled Natural Language

    This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers...
    $122.00

    Add to Cart The item has been added
  • Application and Theory of Petri Nets Application and Theory of Petri Nets
    Add to Cart The item has been added

    Application and Theory of Petri Nets

    This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012...
    $92.00

    Add to Cart The item has been added
  • Formal Methods for Model-Driven Engineering Formal Methods for Model-Driven Engineering
    Add to Cart The item has been added

    Formal Methods for Model-Driven Engineering

    This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...
    $92.00

    Add to Cart The item has been added
  • Advances in Combinatorics Advances in Combinatorics
    Add to Cart The item has been added

    Advances in Combinatorics

    This volume, as Andrew M. Odlzyko writes in the foreword, "commemorates and celebrates the life and achievements of an extraordinary person." Originally conceived as an 80th birthday tribute to...
    $227.00

    Add to Cart The item has been added
  • How the World Computes How the World Computes
    Add to Cart The item has been added

    How the World Computes

    This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised...
    $122.00

    Add to Cart The item has been added
  • Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
    Add to Cart The item has been added

    Formal Techniques for Distributed Systems

    This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1...
    $122.00

    Add to Cart The item has been added
  • Correct Reasoning Correct Reasoning
    Add to Cart The item has been added

    Correct Reasoning

    This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation...
    $92.00

    Add to Cart The item has been added
  • Tests and Proofs Tests and Proofs
    Add to Cart The item has been added

    Tests and Proofs

    This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated...
    $83.00

    Add to Cart The item has been added
  • Model Based Parameter Estimation Model Based Parameter Estimation
    Add to Cart The item has been added

    Model Based Parameter Estimation

    This judicious selection of articles combines mathematical and numerical methods to apply parameter estimation and optimum experimental design in a range of contexts. These include fields as diverse...
    $184.00

    Add to Cart The item has been added
  • Facing the Multicore-Challenge II Facing the Multicore-Challenge II
    Add to Cart The item has been added

    Facing the Multicore-Challenge II

    This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment...
    $83.00

    Add to Cart The item has been added
  • Stability Loss and Buckling Delamination Stability Loss and Buckling Delamination
    Add to Cart The item has been added

    Stability Loss and Buckling Delamination

    This book investigates stability loss problems of the viscoelastic composite materials and structural members within the framework of the Three-Dimensional Linearized Theory of Stability (TDLTS). The...
    $324.00

    Add to Cart The item has been added
Mathematical foundations