Mathematical Theory of Computation

This book integrates the foundations of quantum computing with a hands-on coding approach to this emerging field; it is the first to bring these el...

The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as r...

This book offers a gentle motivation and introduction to computational thinking, in particular to algorithms and how they can be coded to solve sig...

This book constitutes the refereed proceedings of the 9th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2021, hel...

Based on a two-semester course aimed at illustrating various interactions of pure mathematics with other sciences, such as hydrodynamics, thermodyn...

This volume contains the articles presented at the 20th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories ...

Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification ...

Sir Walter Raleigh wollte wissen, wie Kanonenkugeln in einem Schiff am dichtesten aufgestapelt werden können. Im Jahre 1611 gab der Astronom Johann...

This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the High Perfor...

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to form...

A modern approach to statistical learning and its applications through visualization methods With a unique and innovative presentation, Multivariat...

Discrete Mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scien...

The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through ...

Welcome to the proceedings of the 2010 International Conferences on Database Theory and Application (DTA 2010), and Bio-Science and Bio-Technology ...

This book constitutes the refereed proceedings of the International Conference on Logic, Information, Control and Computation, ICLICC 2011, held in...

This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICS...

This volume contains the proceedings of the International Conference on Inf- mation Computing and Applications (ICICA 2010), which was held in Tang...

The 2009 International Conference on High-Performance Networking, Computing and Communication Systems and the 2009 International Conference on Theo...

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science an...

This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum founda...

Using diverse real-world examples, this text examines what models used for data analysis mean in a specific research context. What assumptions unde...

This book provides a comprehensive presentation of a recently introduced framework, named probabilistic indexing (PrIx), for searching text in larg...