Mathematical theory of computation

This new ebook from the author of 'The Music of the Primes' combines a personal insight into the mind of a working mathematician with the story of one of the biggest adventures in mathematics: the search for symmetry.

'I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.

From the author of The Music of the Primes and Finding Moonshine comes a short, lively book on five mathematical problems that just refuse be solved - and on how many everyday problems can be solved by maths.

Practical methods for analyzing your data with graphs, revealing hidden connections and new insights.

Shine a spotlight into the deep learning ';black box'.

Las tecnologías actuales permiten desarrollar ordenadores cuyos componentes funcionan de acuerdo con los postulados de la mecánica cuántica, una disciplina con fama de gran complejidad.

Machen Sie sich bereit, Ihre Vorstellung von Projektmanagement zu revolutionieren.

El Modelado y Simulación (M&S) es una disciplina científica transversal que permite obtener un nivel de comprensión difícilmente alcanzable utilizando otro enfoque disciplinar.

In einer Welt, die sich ständig weiterentwickelt, müssen sich auch die Methoden des Projektmanagements anpassen.

Algorithmic Graph Theory and Perfect Graphs, first published in 1980, has become the classic introduction to the field.

This innovative textbook presents the key foundational concepts for a one-semester undergraduate course in the theory of computation.

Ada, condesa de Lovelace (1815-1852), fue hija del poeta romántico Lord Byron y su esposa, Anna Isabella.

The use of computation and simulation has become an essential part of the scientific process.

The use of computation and simulation has become an essential part of the scientific process.

Written by an experienced physicist who is active in applying computer algebra to relativistic astrophysics and education, this is the resource for mathematical methods in physics using MapleTM and MathematicaTM.

The first edition of this excellent handbook was extremely well received by both students and lecturers alike.

Put the power of AWS Cloud machine learning services to work in your business and commercial applications!

Put the power of AWS Cloud machine learning services to work in your business and commercial applications!

Arguably the strongest addition to numerical finance of the past decade, Algorithmic Adjoint Differentiation (AAD) is the technology implemented in modern financial software to produce thousands of accurate risk sensitivities, within seconds, on light hardware.

Arguably the strongest addition to numerical finance of the past decade, Algorithmic Adjoint Differentiation (AAD) is the technology implemented in modern financial software to produce thousands of accurate risk sensitivities, within seconds, on light hardware.

Graduate from Excel to MATLAB to keep up with the evolution of finance data Foundations of Computational Finance with MATLAB is an introductory text for both finance professionals looking to branch out from the spreadsheet, and for programmers who wish to learn more about finance.

Graduate from Excel to MATLAB to keep up with the evolution of finance data Foundations of Computational Finance with MATLAB is an introductory text for both finance professionals looking to branch out from the spreadsheet, and for programmers who wish to learn more about finance.

This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering.

This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering.

Digital information and communication technologies can be seen as a threat to privacy, a step forward for freedom of expression and communication, a tool in the fight against terrorism or the source of a new economic wealth.

Digital information and communication technologies can be seen as a threat to privacy, a step forward for freedom of expression and communication, a tool in the fight against terrorism or the source of a new economic wealth.

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization.

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization.

A modern approach to statistical learning and its applications through visualization methods With a unique and innovative presentation, Multivariate Nonparametric Regression and Visualization provides readers with the core statistical concepts to obtain complete and accurate predictions when given a set of data.

A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics.

A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics.

Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation.

A modern approach to statistical learning and its applications through visualization methods With a unique and innovative presentation, Multivariate Nonparametric Regression and Visualization provides readers with the core statistical concepts to obtain complete and accurate predictions when given a set of data.

The first edition, published in 1973, has become a classic reference in the field.

This new edition continues to serve as a comprehensive guide to modern and classical methods of statistical computing.

This new edition continues to serve as a comprehensive guide to modern and classical methods of statistical computing.

Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method.

Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method.

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do from the most general model, the URM (Unbounded Register Machines), to the finite automaton.

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do from the most general model, the URM (Unbounded Register Machines), to the finite automaton.

Features recent advances and new applications in graph edge coloring Reviewing recent advances in the Edge Coloring Problem, Graph Edge Coloring: Vizing's Theorem and Goldberg's Conjecture provides an overview of the current state of the science, explaining the interconnections among the results obtained from important graph theory studies.

A complete, highly accessible introduction to one of today's most exciting areas of applied mathematics One of the youngest, most vital areas of applied mathematics, combinatorial optimization integrates techniques from combinatorics, linear programming, and the theory of algorithms.

A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel applications, most notably in data compression and computational molecular biology.

Advances in computer technology have conveniently coincided withtrends in numerical analysis toward increased complexity ofcomputational algorithms based on finite difference methods.

A new approach to the study of arithmetic circuits In Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems, the authors take a novel approach of presenting methods and examples for the synthesis of arithmetic circuits that better reflects the needs of today's computer system designers and engineers.

The Basics of Computer Arithmetic Made Enjoyable and Accessible-with a Special Program Included for Hands-on Learning "e;The combination of this book and its associated virtual computer is fantastic!

An essential overview of quantum information Information, whether inscribed as a mark on a stone tablet or encoded as a magnetic domain on a hard drive, must be stored in a physical object and thus made subject to the laws of physics.

Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering.