FREE SHIPPING OVER $100

To any Australian address

AUSTRALIAN OWNED & OPERATED

Supporting local authors, readers and publishers

Mathematical foundations Books

Mathematical logic

Number systems

Set theory

Add to Cart The item has been added

Automation of Reasoning

"Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof:...

RRP:

$227.00

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

C++ Toolbox for Verified Computing I

Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the...

RRP:

$194.00

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

Numerical Toolbox for Verified Computing I

As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the...

RRP:

$220.00

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

Iteration Theories

This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research...

RRP:

$227.00

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

The Logic of Partial Information

One must be able to say at all times - in stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put...

RRP:

$220.00

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

Kolmogorov Complexity and Computational Complexity

The mathematical theory of computation has given rise to two important ap proaches to the informal notion of "complexity": Kolmogorov complexity, usu ally a complexity measure for a single object...

RRP:

$227.00

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

Numerical Linear Algebra, Digital Signal Processing and Parallel Algorithms

RRP:

$227.00

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

Structural Complexity II

RRP:

$233.00

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

Regulated Rewriting in Formal Language Theory

RRP:

$227.00

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

Approximation of Functions of Several Variables and Imbedding Theorems

This English translation of my book "PribliZenie Funkcir Mnogih Peremennyh i Teoremy Vlozel1iya" is identical in content with the Rus sian original, published by "Nauka" in 1969. However, I have...

RRP:

$162.00

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

Finite Element Methods for Navier-Stokes Equations

The material covered by this book has been taught by one of the authors in a post-graduate course on Numerical Analysis at the University Pierre et Marie Curie of Paris. It is an extended version of...

RRP:

$200.00

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

Nonlinear Approximation Theory

The first investigations of nonlinear approximation problems were made by P.L. Chebyshev in the last century, and the entire theory of uniform approxima tion is strongly connected with his name. By...

RRP:

$194.00

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

Discontinuous Galerkin Methods

A class of finite element methods, the Discontinuous Galerkin Methods (DGM), has been under rapid development recently and has found its use very quickly in such diverse applications as...

RRP:

$428.00

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

High Performance Computing in Science and Engineering 99

Prof. Dr. Egon Krause Aerodynamisches Institut, RWTH Aachen Wiillnerstr. 5 u. 7, D-52062 Aachen Prof. Dr. Willi Jager Interdisziplinares Zentrum fiir Wissenschaftliches Rechnen Universitat Heidelberg...

RRP:

$227.00

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

Applied Computational Electromagnetics

@EOI: AEI rEOMETPEI Epigram of the Academy of Plato in Athens Electromagnetism, the science of forces arising from Amber (HAEKTPON) and the stone of Magnesia (MArNHLIA), has been the fOWldation of...

RRP:

$184.00

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

Schema Matching and Mapping

Requiring heterogeneous information systems to cooperate and communicate has now become crucial, especially in application areas like e-business, Web-based mash-ups and the life sciences. Such...

RRP:

$241.00

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

Ernst Zermelo - Collected Works/Gesammelte Werke

Ernst Zermelo: A glance at his life and work.- Ernst Zermelo's curriculum vitae.- Zermelo 1901.- Zermelo 1904.- Zermelo 1908a.- Zermelo 1908b.- Zermelo 1909a.- Zermelo 1909b.- Zermelo 1913.- Zermelo...

RRP:

$321.00

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

Cognitive Reasoning

Conceptual Theory of Cognitive Reasoning.- Introductory Explanation.- Basic System of Concepts.- Constructing a Model of a Cognizing Agent.- Cognitive Reasoning Framework.- Logic Foundation.-...

RRP:

$362.00

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

Advanced Computational Methods in Science and Engineering

A Model-Order Reduction Approach to Parametric Electromagnetic Inversion.- Shifted-Laplacian Preconditioners for Heterogeneous Helmholtz Problems.- On Numerical Issues in Time Accurate Laminar...

RRP:

$442.00

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

Domain Decomposition Methods in Science and Engineering XVIII

Plenary Presentations.- A Domain Decomposition Approach for Calculating the Graph Corresponding to a Fibrous Geometry.- Adaptive Multilevel Interior-Point Methods in PDE Constrained Optimization.-...

RRP:

$324.00

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

Studies in Complexity and Cryptography

This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic...

RRP:

$162.00

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

Fuzzy Optimization

RRP:

$442.00

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

Scientific Computing in Electrical Engineering SCEE 2008

Scienti?c Computing in Electrical Engineering (SCEE) is an international c- ference series, which started as a national German meeting held in Darmstadt (1997) and Berlin (1998), both under the...

RRP:

$442.00

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

Abstract State Machines, Alloy, B and Z

ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu´ ebec,during February22-25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing...

RRP:

$191.00

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

Numerical Mathematics and Advanced Applications 2009

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) was held from June 29-July 3, 2010, in Uppsala, Sweden. This was the eighth conference in a series of biannual...

RRP:

$442.00

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

High Order Difference Methods for Time Dependent PDE

When are High Order Methods Effective?.- Well-posedness and Stability.- Order of Accuracy and the Convergence Rate.- Approximation in Space.- Approximation in Time.- Coupled Space-Time Approximations...

RRP:

$233.00

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

From Nano to Space

Roland Bulirsch - 75th Birthday.- Roland Bulirsch - 75th Birthday.- Academic Genealogy of Roland Bulirsch.- Academic Genealogy of Roland Bulirsch.- Mathematics and Applications in Nanoscale.- Circuit...

RRP:

$214.00

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

Logics of Specification Languages

Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to the CafeOBJ Logic.- Casl -...

RRP:

$346.00

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

Singular Integral Equations

The present book deals with the finite-part singular integral equations, the multidimensional singular integral equations and the non-linear singular integral equations, which are currently used in...

RRP:

$428.00

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

Kolmogorov's Heritage in Mathematics

In this book, several world experts present (one part of) the mathematical heritage of Kolmogorov. Each chapter treats one of his research themes or a subject invented as a consequence of his...

RRP:

$111.00

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

Robust Numerical Methods for Singularly Perturbed Differential Equations

Ordinary Differential Equations.- The Analytical Behaviour of Solutions.- Numerical Methods for Second-Order Boundary Value Problems.- Parabolic Initial-Boundary Value Problems in One Space Dimension...

RRP:

$294.00

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

Bézier and B-Spline Techniques

This book provides a solid and uniform derivation of the various properties Bezier and B-spline representations have, and shows the beauty of the underlying rich mathematical structure. The book...

RRP:

$194.00

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

Hierarchical and Geometrical Methods in Scientific Visualization

This book emerged from a DoE/NSF-sponsored workshop, held in Tahoe City, California, October 2000. About fifty invited participants presented state-of-the-art research on topics such as: - terrain ...

RRP:

$357.00

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

New trends in turbulence. Turbulence

Following a longstanding tradition of the Les Houches Summer Schools, this book uses a pedagogically presented and accessible style to treat 2D and 3D turbulence from the experimental, theoretical...

RRP:

$442.00

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

The Classical Decision Problem

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a...

RRP:

$303.00

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

Challenges in Scientific Computing - CISC 2002

Higher Order Discontinuous Galerkin Methods for Flow and Transport in Porous Media.- Macroscopic Models of Fluids with Microstructure.- The Fictitious Boundary Method for the Implicit Treatment of...

RRP:

$241.00

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

Domain Decomposition Methods in Science and Engineering XVI

Domain decomposition is an active research area concerned with the development, analysis, and implementation of coupling and decoupling strategies in mathematical and computational models of natural...

RRP:

$357.00

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

A Computational Differential Geometry Approach to Grid Generation

RRP:

$375.00

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

Galerkin Finite Element Methods for Parabolic Problems

This book provides insight into the mathematics of Galerkin finite element method as applied to parabolic equations. The revised second edition has been influenced by recent progress in application...

RRP:

$303.00

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

Geometric Numerical Integration

This book covers numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds and problems with highly oscillatory solutions. It presents...

RRP:

$442.00

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

Felix Hausdorff - Gesammelte Werke Band 5

RRP:

$205.00

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

Parameterized Complexity Theory

RRP:

$194.00

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

Finite Model Theory

This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite...

RRP:

$375.00

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

Automatic Differentiation

The Fourth International Conference on Automatic Di?erentiation was held July20-23inChicago,Illinois.Theconferenceincludedaonedayshortcourse, 42 presentations, and a workshop for tool developers...

RRP:

$357.00

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

Risk and Asset Allocation

Discusses in the practical and theoretical aspects of one-period asset allocation, i.e. market Modeling, invariants estimation, portfolia evaluation, and portfolio optimization in the prexence of...

RRP:

$221.00

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

Elements of Finite Model Theory

Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.

RRP:

$162.00

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

Adaptive Mesh Refinement-Theory and Applications

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and science. Originally developed for computational fluid dynamics applications...

RRP:

$357.00

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

Newton Methods for Nonlinear Problems

This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite and in infinite dimension. Its focus is on local and global Newton...

RRP:

$233.00

Add to Cart The item has been added

Items 337 to 384 of 2186 total

3
4
5
6
7
8
9
10
11
12
13

Mathematical foundations

PRE-SALES

If you have any questions before making a purchase chat with our online operators to get more information.

or find our Questions & Answers

AFTER-SALES

If you have need any help about the After-Sales issues, please contact us.

New Releases
For Dummies
School Textbooks And Teacher Resources
Lonely Planet
Star Wars
Minecraft
ADHD Books
Pokemon Books And Graphic Novels
Little Golden Books
How To Draw
Peppa Pig
Children's Activity books
Bluey
Trending Books
Kids Easter Books
Apple Park
Bigjigs
Peter Rabbit
Australian
ABIA award winners
Harry Potter
Alex Cross
Grug