Skip to main content
Search Button
United States Kobo store Gift Cards Help
Rakuten Kobo
Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Distinguished Dissertations eBook Series

Showing 1 - 12 of 12 results
Skip side bar filters

  • Automated Theory Formation in Pure Mathematics

    by Simon Colton ...
    Series series Distinguished Dissertations
    In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new ... Read more

    $89.99 USD

People who read this also enjoyed

  • Basic Mathematics

    A bestselling introduction to mathematics for absolute beginners

    by Alan Graham ...
    Do you shy away from using numbers? Basic Mathematics can help. An easy-to-follow guide, it will ensure you gain the confidence you need to tackle maths and overcome your fears. It offers simple explanations of all the key areas, including decimals, percentages, measurements and graphs, and applies them to everyday situations, games and puzzles to give you understanding quickly and enjoyably.NOT ... Read more

    $3.99 USD

  • Number-Crunching

    Taming Unruly Computational Problems from Mathematical Physics to Science Fiction

    by Paul J. Nahin ...
    More stimulating mathematics puzzles from bestselling author Paul NahinHow do technicians repair broken communications cables at the bottom of the ocean without actually seeing them? What's the likelihood of plucking a needle out of a haystack the size of the Earth? And is it possible to use computers to create a universal library of everything ever written or every photo ever taken? These are ... Read more

    $21.59 USD

  • Symmetry and Pattern in Projective Geometry

    by Eric Lord ...
    Symmetry and Pattern in Projective Geometry is a self-contained study of projective geometry which compares and contrasts the analytic and axiomatic methods. The analytic approach is based on homogeneous coordinates, and brief introductions to Plücker coordinates and Grassmann coordinates are presented. This book looks carefully at linear, quadratic, cubic and quartic figures in two, three and ... Read more

    $53.99 USD

  • Facets of Combinatorial Optimization

    Festschrift for Martin Grötschel

    Edited by Michael Jünger, Gerhard Reinelt ...
    Series series Mathematics and Statistics (R0)
    Martin Grötschel is one of the most influential mathematicians of our time. He has received numerous honors and holds a number of key positions in the international mathematical community. He celebrated his 65th birthday on September 10, 2013. Martin Grötschel’s doctoral descendant tree 1983–2012, i.e., the first 30 years, features 39 children, 74 grandchildren, 24 great-grandchildren and 2 great ... Read more

    $89.99 USD

  • Ordering Block Designs

    Gray Codes, Universal Cycles and Configuration Orderings

    by Megan Dewar, Brett Stevens ...
    Series series Mathematics and Statistics (R0)
    The study of combinatorial block designs is a vibrant area of combinatorial mathematics with connections to finite geometries, graph theory, coding theory and statistics. The practice of ordering combinatorial objects can trace its roots to bell ringing which originated in 17th century England, but only emerged as a significant modern research area with the work of F. Gray and N. de Bruijn.These ... Read more

    $58.99 USD

  • Worked Examples in Nonlinear Continuum Mechanics for Finite Element Analysis

    by Javier Bonet, Antonio J. Gil, Richard D. Wood ...
    Many processes in materials science and engineering, such as the load deformation behaviour of certain structures, exhibit nonlinear characteristics. The computer simulation of such processes therefore requires a deep understanding of both the theoretical aspects of nonlinearity and the associated computational techniques. This book provides a complete set of exercises and solutions in the field ... Read more

    $57.99 USD

  • Structural Information and Communication Complexity

    24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers

    Edited by Shantanu Das, Sebastien Tixeuil ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017, held in Porquerolles, France, in June 2017.The 21 full papers presented were carefully reviewed and selected from 41 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and ... Read more

    $49.99 USD

  • Autonomous Agents and Multiagent Systems

    AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

    Edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar ...
    Series series Springer Nature Proceedings Computer Science
    This book features a selection of best papers from 13 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017.The 17 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They cover specific topics, both theoretical and applied, in the general area of autonomous ... Read more

    $49.99 USD

  • Combinatorics on Words

    10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

    Edited by Dirk Nowotka, Florin Manea ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS 2015, held in Kiel, Germany, in September 2015 under the auspices of the EATCS.The 14 revised full papers presented were carefully reviewed and selected from 22 submissions. The main object in the contributions are words, finite or infinite sequences of symbols over a finite ... Read more

    $49.99 USD

  • Combinatorial Optimization and Applications

    11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

    Edited by Xiaofeng Gao, Hongwei Du, Meng Han ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10627 and 10628 constitutes the refereed proceedings of the 11th International Conference on Combinatorial Optimization and Applications, COCOA 2017, held in Shanghai, China, in December 2017.The 59 full papers and 19 short papers presented were carefully reviewed and selected from 145 submissions. The papers cover most aspects of theoretical computer science and ... Read more

    $49.99 USD

  • Mathematical Aspects of Computer and Information Sciences

    7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

    Edited by Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in ... Read more

    $49.99 USD