Mathematical foundations books

12436 books were found.

Numeros

Numeros
Author: Aaron Carr ISBN: 9781621276098 Format: Hardback	$71.62
Read More >>

Fuzziness in Database Management Systems

Fuzziness in Database Management Systems
Author: Patrick Bosc ISBN: 9783662118054 Format: Paperback	$336.35
"The volume ""Fuzziness in Database Management Systems"" is a highly informative, well-organized and up-to-date... Read More >>

Boundary Value Problems in Linear Viscoelasticity

Boundary Value Problems in Linear Viscoelasticity
Author: John M. Golden , George A.C. Graham ISBN: 9783662061589 Format: Paperback	$145.17
The universal adoption of the term ""Viscoelasticity"", intended to convey behaviour combining proper ties both... Read More >>

Intelligent Systems and Interfaces

Intelligent Systems and Interfaces
Author: Horia-Nicolai Teodorescu , Daniel Mlynek ISBN: 9781461369806 Format: Paperback	$580.77
The field of ""intelligent interfaces and systems"" has seen a fast growth last decade. Moreover, the contributors... Read More >>

Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Formal Grammar: 17th and 18th International Conferences,...
Author: Glyn Morrill , Mark-Jan Nederhof ISBN: 9783642399978 Format: Paperback	$145.17
Read More >>

The Argument of Mathematics

The Argument of Mathematics
Author: Andrew Aberdein , Ian J Dove ISBN: 9789400765337 Format: Hardback	$290.37
The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places... Read More >>

Reasoning Web. Semantic Technologies for Intelligent Data Access: 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings

Reasoning Web. Semantic Technologies for Intelligent...
Author: Sebastian Rudolph , Georg Gottlob ISBN: 9783642397837 Format: Paperback	$131.97
Read More >>

Fractions with Fish

Fractions with Fish
Author: Maeve T Sisk ISBN: 9781433993091 Format: Paperback	$24.16
Read More >>

The Business World

The Business World
Author: Jeremiah Semien ISBN: 9781489588197 Format: Paperback	$34.19
In this book; the information on how to do what I am (Jeremiah Semien) is doing to make it; in the enrtainment business;... Read More >>

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems
Author: Neeraj Kumar Singh ISBN: 9781447152590 Format: Hardback	$290.37
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop... Read More >>

Proceedings Of The 12th Asian Logic Conference

Proceedings Of The 12th Asian Logic Conference
Author: Rodney G Downey (Victoria Univ Of Wellington, New Zealand) , Jorg Brendle (Kobe University, Japan) ISBN: 9789814449267 Format: Hardback	$297.56
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume... Read More >>

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving
Author: Melvin Fitting ISBN: 9781461275152 Format: Paperback	$263.97
There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many... Read More >>

In Search of Infinity

In Search of Infinity
Author: N.Ya. Vilenkin ISBN: 9781461269151 Format: Paperback	$145.17
The concept of infinity has been for hundreds of years one of the most fascinating and elusive ideas to tantalize... Read More >>

Math Bootcamp for Grades K-1 to K-4

Math Bootcamp for Grades K-1 to K-4
Author: M Phil Kalman Toth M a ISBN: 9781491078303 Format: Paperback	$44.75
Put Your Child On The Road To Success In School & An Early Start To College! We Live In A Competitive Online World... Read More >>

Fractions with Fish

Fractions with Fish
Author: Maeve Sisk ISBN: 9781433993107 Format: Paperback	$129.10
Fascinating fish are a fun way to teach about fractions. Readers will love learning about their favorite kinds of... Read More >>

Kurt Gödel: Essays for his Centennial

Kurt Gödel: Essays for his Centennial
Author: Solomon Feferman (Stanford University, California) , Charles Parsons (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Massachusetts) ISBN: 9781107683464 Format: Paperback	$113.85
Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from... Read More >>

Lambda Calculus with Types

Lambda Calculus with Types
Author: Henk Barendregt (Radboud Universiteit Nijmegen) , Wil Dekkers (Radboud Universiteit Nijmegen) ISBN: 9780521766142 Format: Hardback	$209.59
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL),... Read More >>

Unveiling God's Presence in the Bible Acts of the Holy Trinity Volume II

Unveiling God's Presence in the Bible Acts of the Holy...
Author: Tommy C Seay Sr ISBN: 9781628391060 Format: Paperback	$36.93
Unveiling God's Presence in the Bible: Acts of the Holy Trinity is a book that will stir up the pure minds of every... Read More >>

Network Anomaly Detection: A Machine Learning Perspective

Network Anomaly Detection: A Machine Learning Perspective...
Author: Dhruba Kumar Bhattacharyya , Jugal Kumar Kalita ISBN: 9781466582088 Format: Hardback	$231.00
With the rapid rise in the ubiquity and sophistication of Internet technology and the accompanying growth in the... Read More >>

Handbook of Finite Fields

Handbook of Finite Fields
Author: Gary L. Mullen , Daniel Panario ISBN: 9781439873786 Format: Hardback	$462.00
Read More >>

Score with Basketball Math

Score with Basketball Math
Author: Stuart A P Murray ISBN: 9781464402951 Format: Paperback	$30.44
Read More >>

Lambda Calculus with Types

Lambda Calculus with Types
Author: Henk Barendregt (Radboud Universiteit Nijmegen) , Wil Dekkers (Radboud Universiteit Nijmegen) ISBN: 9781139032636 Format: Undefined	$435.60
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL),... Read More >>

Descriptive Set Theory and Dynamical Systems

Descriptive Set Theory and Dynamical Systems
Author: M. Foreman (University of California, Irvine) , A. S. Kechris (California Institute of Technology) ISBN: 9781107325999 Format: Undefined	$435.60
This volume, first published in 2000, contains a collection of survey papers by leading researchers covering a wide... Read More >>

Score with Basketball Math

Score with Basketball Math
Author: Stuart A P Murray ISBN: 9780766041783 Format: Hardback	$73.74
""Learn and review math skills while also learning about the history of basketball""-- Read More >>

Algebraic Curves in Cryptography

Algebraic Curves in Cryptography
Author: San Ling (Nanyang Technological University, Singapore) , Huaxiong Wang (Nanyang Technological University, Singapore) ISBN: 9781420079463 Format: Hardback	$231.00
Systematically addressing the many applications of algebraic geometry to cryptography and coding theory, this book... Read More >>

Page 264 of 498 ... 259 260 261 262 263 264 265 266 267 268 ...

Sub Categories for

Mathematical foundations

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now