Mathematical theory of computation books

11069 books were found.

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL
Author: Tobias Nipkow , Gerwin Klein ISBN: 9783319105413 Format: Hardback	$224.37
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail... Read More >>

Graph Theory with Algorithms and its Applications: In Applied Science and Technology

Graph Theory with Algorithms and its Applications: In...
Author: Santanu Saha Ray ISBN: 9788132217442 Format: Paperback	$145.17
The book has many important features which make it suitable for both undergraduate and postgraduate students in... Read More >>

Foundations of Rule Learning

Foundations of Rule Learning
Author: Johannes Fürnkranz , Dragan Gamberger ISBN: 9783642430466 Format: Paperback	$211.07
Read More >>

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Logical Thinking in the Pyramidal Schema of Concepts:...
Author: Lutz Geldsetzer , Richard L. Schwartz ISBN: 9789401784443 Format: Paperback	$343.17
This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic,... Read More >>

Shaping the Future of ICT Research: Methods and Approaches: IFIP WG 8.2 Working Conference, Tampa, FL, USA, December 13-14, 2012, Proceedings

Shaping the Future of ICT Research: Methods and Approaches:...
Author: Anol Bhattacherjee , Brian Fitzgerald ISBN: 9783642434150 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the IFIP WG 8.2 Working Conference ""Shaping the Future of ICT... Read More >>

Resilience Assessment and Evaluation of Computing Systems

Resilience Assessment and Evaluation of Computing Systems...
Author: Katinka Wolter , Alberto Avritzer ISBN: 9783642436741 Format: Paperback	$290.37
Read More >>

Geometric Methods in Physics: XXX Workshop, Białowieża, Poland, June 26 to July 2, 2011

Geometric Methods in Physics: XXX Workshop, Białowieża,...
Author: Piotr Kielanowski , S. Twareque Ali ISBN: 9783034807845 Format: Paperback	$448.77
Mielnik’s geometric approach to the description of quantum mixed states, the method of quantum state manipulation... Read More >>

Graphs, Networks and Algorithms

Graphs, Networks and Algorithms
Author: Dieter Jungnickel ISBN: 9783642436642 Format: Paperback	$184.77
With updated material, additional exercises and new references, the new edition of this book retains the attributes... Read More >>

Researching the Future in Information Systems: IFIP WG 8.2 Working Conference, Future IS 2011, Turku, Finland, June 6-8, 2011, Proceedings

Researching the Future in Information Systems: IFIP...
Author: Mike Chiasson , Ola Henfridsson ISBN: 9783642446443 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the IFIP WG 8.2 Working Conference ""Researching the Future"",... Read More >>

Mathematical Methodologies in Pattern Recognition and Machine Learning: Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

Mathematical Methodologies in Pattern Recognition and...
Author: Pedro Latorre Carmona , J. Salvador Sánchez ISBN: 9781493900923 Format: Paperback	$290.37
This volume features key contributions from the International Conference on Pattern Recognition Applications and... Read More >>

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

Bayesian Networks and Influence Diagrams: A Guide to...
Author: Uffe B. Kjærulff , Anders L. Madsen ISBN: 9781493900299 Format: Paperback	$287.76
Read More >>

Magic Graphs

Magic Graphs
Author: Alison M. Marr , W.D. Wallis ISBN: 9781489996282 Format: Paperback	$145.17
This concise, self-contained exposition is unique in its focus on the theory of magic graphs/labelings and its application... Read More >>

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Parameterized and Exact Computation: 9th International...
Author: Marek Cygan , Pinar Heggernes ISBN: 9783319135236 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on... Read More >>

Uncertainty Reasoning for the Semantic Web III: ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

Uncertainty Reasoning for the Semantic Web III: ISWC...
Author: Fernando Bobillo , Rommel N. Carvalho ISBN: 9783319134123 Format: Paperback	$116.41
This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty... Read More >>

Computational Musicology in Hindustani Music

Computational Musicology in Hindustani Music
Author: Soubhik Chakraborty , Guerino Mazzola ISBN: 9783319114712 Format: Hardback	$145.17
Read More >>

Grammatical Picture Generation: A Tree-Based Approach

Grammatical Picture Generation: A Tree-Based Approach...
Author: Frank Drewes ISBN: 9783642436628 Format: Paperback	$145.17
Introduces grammatical picture generation, a research field focusing on formal systems that describe sets of pictures... Read More >>

System Modeling and Optimization: 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers

System Modeling and Optimization: 26th IFIP TC 7 Conference,...
Author: Christian Pötzsche , Clemens Heuberger ISBN: 9783662455036 Format: Hardback	$145.17
Read More >>

M-Solid Varieties of Algebras

M-Solid Varieties of Algebras
Author: Jörg Koppitz , Klaus Denecke ISBN: 9781489996626 Format: Paperback	$290.37
Read More >>

Optimierungsmethoden: Eine Einführung

Optimierungsmethoden: Eine Einführung
Author: Dieter Jungnickel ISBN: 9783642548208 Format: Paperback	$79.17
Schließlich folgen noch ein Ausblick auf allgemeine Algorithmen sowie ein kurzer Anhang zur affinen Geometrie.In... Read More >>

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Logic and Its Applications: 6th Indian Conference, ICLA...
Author: Mohua Banerjee , Krishna S. ISBN: 9783662458235 Format: Paperback	$103.47
Read More >>

The Shortest-Path Problem: Analysis and Comparison of Methods

The Shortest-Path Problem: Analysis and Comparison of...
Author: Arturo Gonzalez-Escribano , Diego R. Llanos ISBN: 9783031014468 Format: Paperback	$103.47
Table of Contents: List of Figures / List of Tables / Acknowledgments / Introduction / Graph Theory Basics / Classical... Read More >>

Nonblocking Electronic and Photonic Switching Fabrics

Nonblocking Electronic and Photonic Switching Fabrics...
Author: Wojciech Kabacinski ISBN: 9781489991614 Format: Paperback	$290.37
Read More >>

Multiscale, Nonlinear and Adaptive Approximation: Dedicated to Wolfgang Dahmen on the Occasion of his 60th Birthday

Multiscale, Nonlinear and Adaptive Approximation: Dedicated...
Author: Ronald DeVore , Angela Kunoth ISBN: 9783642424571 Format: Paperback	$580.77
On the occasion of his 60th birthday in October 2009, friends, collaborators, and admirers of Wolfgang Dahmen have... Read More >>

SAT 2005: Satisfiability Research in the Year 2005

SAT 2005: Satisfiability Research in the Year 2005
Author: Enrico Giunchiglia , Toby Walsh ISBN: 9789400787155 Format: Paperback	$448.77
Read More >>

GPU Computing and Applications

GPU Computing and Applications
Author: Yiyu Cai , Simon See ISBN: 9789812871336 Format: Hardback	$290.37
This book presents a collection of state of the art research on GPU Computing and Application. The major part of... Read More >>

Page 200 of 443 ... 195 196 197 198 199 200 201 202 203 204 ...

Sub Categories for

Mathematical theory of computation

Maths for computer scientists

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now