Mathematical theory of computation books

11069 books were found.

Mathematical Tools for Data Mining: Set Theory, Partial Orders, Combinatorics

Mathematical Tools for Data Mining: Set Theory, Partial...

Author: Dan A. Simovici ,  Chabane Djeraba
ISBN: 9781447164067
Format: Hardback
$527.97

Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition...  Read More >>

EXCEL in der Wirtschaftsmathematik: Anwendung von Tabellenkalkulationsprogrammen für Studenten, Dozenten und Praktiker

EXCEL in der Wirtschaftsmathematik: Anwendung von Tabellenkalkulationsprogrammen...

Author: Hans Benker
ISBN: 9783658007652
Format: Paperback
$105.57

Das Buch behandelt alle Grundgebiete der Wirtschaftsmathematik wie Matrizen, Gleichungen, Differential- und Integralrechnung...  Read More >>

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence

Proceedings of the Twenty-Third International Joint...

Author: Francesca Rossi
ISBN: 9781577356332
Format: Paperback
$478.69

The International Joint Conference on Artificial Intelligence (IJCAI) is the premier international gathering of...  Read More >>

Geometrical Multiresolution Adaptive Transforms: Theory and Applications

Geometrical Multiresolution Adaptive Transforms: Theory...

Author: Agnieszka Lisowska
ISBN: 9783319050102
Format: Hardback
$145.17

Modern image processing techniques are based on multiresolution geometrical methods of image representation.  Read More >>

Business Intelligence: Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures

Business Intelligence: Third European Summer School,...

Author: Esteban Zimányi
ISBN: 9783319054605
Format: Paperback
$145.17

This book offers a concise and comprehensive introduction to various aspects of business intelligence (BI). It combines...  Read More >>

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

NASA Formal Methods: 6th International Symposium, NFM...

Author: Julia M. Badger ,  Kristin Yvonne Rozier
ISBN: 9783319061993
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014,...  Read More >>

Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Theory and Applications of Models of Computation: 11th...

Author: T V Gopal ,  Manindra Agrawal
ISBN: 9783319060880
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models...  Read More >>

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2013 Collocated...

Author: Steve Counsell ,  Manuel Núñez
ISBN: 9783319050317
Format: Paperback
$145.17

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference...  Read More >>

Pedestrian and Evacuation Dynamics 2012

Pedestrian and Evacuation Dynamics 2012

Author: Ulrich Weidmann ,  Uwe Kirsch
ISBN: 9783319024462
Format: Hardback
$580.77

The 6th International Conference on Pedestrian and Evacuation Dynamics (PED2012) showcased research on human locomotion....  Read More >>

Grundlegende Algorithmen mit Java: Lern- und Arbeitsbuch für Informatiker und Mathematiker

Grundlegende Algorithmen mit Java: Lern- und Arbeitsbuch...

Author: Doina Logofătu
ISBN: 9783834819727
Format: Paperback
$131.97

Das Buch ermöglicht das solide Erlernen von wichtigen Programmiermethoden, algorithmischen/mathematischen Basiskonzepten...  Read More >>

Parallel Computational Fluid Dynamics: 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers

Parallel Computational Fluid Dynamics: 25th International...

Author: Kenli Li ,  Zheng Xiao
ISBN: 9783642539619
Format: Paperback
$290.37

 Read More >>

Mathematik für Informatiker: Band 2: Analysis und Statistik

Mathematik für Informatiker: Band 2: Analysis und Statistik...

Author: Gerald Teschl ,  Susanne Teschl
ISBN: 9783642542732
Format: Paperback
$158.37

In diesem Lehrbuch werden die mathematischen Grundlagen exakt und dennoch anschaulich und gut nachvollziehbar vermittelt....  Read More >>

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Trustworthy Global Computing: 8th International Symposium,...

Author: Martín Abadi ,  Alberto Lluch Lafuente
ISBN: 9783319051185
Format: Paperback
$145.17

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on...  Read More >>

Quantum Information and Coherence

Quantum Information and Coherence

Author: Erika Andersson ,  Patrik Öhberg
ISBN: 9783319040622
Format: Hardback
$290.37

This book offers an introduction to key topics in quantum information science and quantum coherent phenomena, covering...  Read More >>

Model-Driven Software Migration: A Methodology: Reengineering, Recovery and Modernization of Legacy Systems

Model-Driven Software Migration: A Methodology: Reengineering,...

Author: Christian Wagner
ISBN: 9783658052690
Format: Paperback
$343.17

Today, reliable software systems are the basis of any business or company. The continuous further development of...  Read More >>

Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures:...

Author: Anca Muscholl
ISBN: 9783642548291
Format: Paperback
$145.17

 Read More >>

A Cryptography Primer: Secrets and Promises

A Cryptography Primer: Secrets and Promises

Author: Philip N. Klein (Brown University, Rhode Island)
ISBN: 9781107603455
Format: Paperback
$77.63

This accessible introduction for undergraduates explains the cryptographic protocols for privacy and the use of...  Read More >>

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering: 17th...

Author: Stefania Gnesi ,  Arend Rensink
ISBN: 9783642548031
Format: Paperback
$145.17

This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software...  Read More >>

Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Categories and Types in Logic, Language, and Physics:...

Author: Claudia Casadio ,  Bob Coecke
ISBN: 9783642547881
Format: Paperback
$145.17

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions...  Read More >>

Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems: 23rd European Symposium...

Author: Zhong Shao
ISBN: 9783642548321
Format: Paperback
$145.17

This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place...  Read More >>

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work

Advances in Natural Deduction: A Celebration of Dag...

Author: Luiz Carlos Pereira ,  Edward Haeusler
ISBN: 9789400775473
Format: Hardback
$369.57

Advances in Natural Deduction  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List