The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Mathematical & Statistical Software

Most popular at the top

  • Mathematics for the Analysis of Algorithmsby Daniel H. Greene; Donald E. Knuth

    Springer 2009; US$ 29.95

    This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, emphasizing the more difficult notions. The authors cover recurrence relations, operator methods,... more...

  • An Introduction to Formal Languages and Machine Computationby Song Y. Yan

    World Scientific Publishing Company 1998; US$ 154.00

    This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum... more...

  • Proceedings of the 7th and 8th Asian Logic Conferencesby Rod Downey; Mariko Yasugi; Decheng Ding; Ting Shih Ping; Qiu Yu Hui

    World Scientific Publishing Company 2003; US$ 227.00

    The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this... more...

  • The Diagonal Infinityby H.M. Hubey

    World Scientific Publishing Company 1998; US$ 107.00

    Contains information on topics such as: Cantor Theorem/Paradox, Diagonal of Diagonalization, Hilbert's First Problem, Algebra of Scaling, Multivalued Logics, Chaos in Logic, Knife-edge and Bang-Bang Logics, Liar Paradox and many more. more...

  • Monte Carlo and Quasi-Monte Carlo Methods 2000by

    Springer Berlin Heidelberg 2011; US$ 189.00

    This volume represents the refereed proceedings of the Fourth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing (MCQMC 2000) which was held at Hong Kong Baptist Uni­ versity from November 27 to December 1, 2000. The program of this con­ ference was arranged by a committee consisting of Kurt Binder (Univer­... more...

  • Compstatby

    Physica-Verlag HD 2012; US$ 199.00

    This COMPSTAT 2002 book contains the Keynote, Invited, and Full Contributed papers presented in Berlin, August 2002. A companion volume including Short Communications and Posters is published on CD. The COMPSTAT 2002 is the 15th conference in a serie of biannual conferences with the objective to present the latest developments in Computational Statistics... more...

  • Automated Theorem Provingby Monty Newborn

    Springer New York 2012; US$ 154.00

    This new book carefully describes how automated reasoning is performed. It introduces all necessary analytical and mathematical tools to discuss basic inference rules of binary resolution and binary factoring. Two computer programs and source code are provided to use as examples. Advanced students, professionals and researchers in computer science,... more...

  • Excel 2010 for Engineering Statisticsby Thomas J. Quirk

    Springer International Publishing 2013; US$ 69.99

    Statistical theory and formulas are explained in clear language without bogging you down in mathematical fine points You will be told each step of the way, not only how to use Excel, but also why you are doing each step ? so you can learn the techniques to apply Excel beyond this book You will learn both how to write statistical formulas and... more...

  • Words, Semigroups, and Transductionsby Masami Ito; Gheorghe Paun; Sheng Yu

    World Scientific Publishing Company 2001; US$ 187.00

    This is an excellent collection of papers dealing with combinatorics on words, codes, semigroups, automata, languages, molecular computing, transducers, logics, etc., related to the impressive work of Gabriel Thierrin. This volume is in honor of Professor Thierrin on the occasion of his 80th birthday. Contents: Some Operators on Families of Fuzzy Languages... more...

  • Modal Logicby Patrick Blackburn; Maarten de Rijke; Yde Venema

    Cambridge University Press 2001; US$ 84.00

    A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. more...