Skip to main content

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...


Distinguished Dissertations Bogserier

1 - 12 af 12 resultater
Skip side bar filters
  • Automated Theory Formation in Pure Mathematics

    af Simon Colton ...
    Serier serie 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 ... Læs mere

    840,61 kr.

Personer, der læser dette, syntes også om...

  • Basic Mathematics

    A bestselling introduction to mathematics for absolute beginners

    af 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 ... Læs mere

    72,08 kr.

  • Number-Crunching

    Taming Unruly Computational Problems from Mathematical Physics to Science Fiction

    af 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 ... Læs mere

    204,11 kr.

  • Symmetry and Pattern in Projective Geometry

    af 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 ... Læs mere

    513,67 kr.

  • Facets of Combinatorial Optimization

    Festschrift for Martin Grötschel

    Redigeret af Michael Jünger, Gerhard Reinelt ...
    Serier serie 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 ... Læs mere

    840,61 kr.

  • Ordering Block Designs

    Gray Codes, Universal Cycles and Configuration Orderings

    Serier serie 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 ... Læs mere

    438,94 kr.

  • Worked Examples in Nonlinear Continuum Mechanics for Finite Element Analysis

    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 ... Læs mere

    561,24 kr.

  • Structural Information and Communication Complexity

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

    Redigeret af Shantanu Das, Sebastien Tixeuil ...
    Serier serie 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 ... Læs mere

    466,97 kr.

  • Autonomous Agents and Multiagent Systems

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

    Serier serie 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 ... Læs mere

    466,97 kr.

  • Combinatorics on Words

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

    Redigeret af Dirk Nowotka, Florin Manea ...
    Serier serie 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 ... Læs mere

    466,97 kr.

  • Combinatorial Optimization and Applications

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

    Redigeret af Xiaofeng Gao, Hongwei Du, Meng Han ...
    Serier Bog 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 ... Læs mere

    466,97 kr.

  • Mathematical Aspects of Computer and Information Sciences

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

    Serier serie 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 ... Læs mere

    466,97 kr.