Mathematical theory of computation books

11069 books were found.

The Language Phenomenon: Human Communication from Milliseconds to Millennia

The Language Phenomenon: Human Communication from Milliseconds...
Author: P.-M. Binder , K. Smith ISBN: 9783642446160 Format: Paperback	$145.17
The contributors, all experts in their fields, address language in the brain, production of sentences and dialogues,... Read More >>

Evolution of Semantic Systems

Evolution of Semantic Systems
Author: Bernd-Olaf Küppers , Udo Hahn ISBN: 9783642434426 Format: Paperback	$290.37
Read More >>

Quantum Attacks on Public-Key Cryptosystems

Quantum Attacks on Public-Key Cryptosystems
Author: Song Y. Yan ISBN: 9781489997791 Format: Paperback	$290.37
Read More >>

Advances in Interdisciplinary Mathematical Research: Applications to Engineering, Physical and Life Sciences

Advances in Interdisciplinary Mathematical Research:...
Author: Bourama Toni ISBN: 9781493900848 Format: Paperback	$263.97
This volume contains the invited contributions to the Spring 2012 seminar series at Virginia State University on... Read More >>

Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Logic, Language, and Computation: 10th International...
Author: Martin Aher , Daniel Hole ISBN: 9783662469057 Format: Paperback	$116.41
Read More >>

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming: 15th International...
Author: Marco Bernardo , Einar Broch Johnsen ISBN: 9783319189406 Format: Paperback	$103.47
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School... Read More >>

Computer Arithmetic - Volume Ii

Computer Arithmetic - Volume Ii
Author: Earl E Swartzlander (The Univ Of Texas At Austin, Usa) , Earl E Swartzlander, Jr, Jr. ISBN: 9789814641463 Format: Hardback	$401.06
This is the new edition of the classic book Computer Arithmetic in three volumes published originally in 1990 by... Read More >>

Computer Arithmetic - Volume I

Computer Arithmetic - Volume I
Author: Earl E Swartzlander (The Univ Of Texas At Austin, Usa) ISBN: 9789814651561 Format: Hardback	$331.20
The book provides many of the basic papers in computer arithmetic. These papers describe the concepts and basic... Read More >>

Stochastic Reliability and Maintenance Modeling: Essays in Honor of Professor Shunji Osaki on his 70th Birthday

Stochastic Reliability and Maintenance Modeling: Essays...
Author: Tadashi Dohi , Toshio Nakagawa ISBN: 9781447161820 Format: Paperback	$448.77
In honor of the work of Professor Shunji Osaki, Stochastic Reliability and Maintenance Modeling provides a comprehensive... Read More >>

Cellular Automata and Discrete Complex Systems: 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

Cellular Automata and Discrete Complex Systems: 21st...
Author: Jarkko Kari ISBN: 9783662472200 Format: Paperback	$64.66
This volume constitutes the thoroughly refereed proceedings of the 21st International Workshop on Cellular Automata... Read More >>

Principal Bundles: The Classical Case

Principal Bundles: The Classical Case
Author: Stephen Bruce Sontz ISBN: 9783319147642 Format: Paperback	$155.22
Read More >>

Beyond Databases, Architectures and Structures: 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings

Beyond Databases, Architectures and Structures: 11th...
Author: Stanisław Kozielski , Dariusz Mrozek ISBN: 9783319184210 Format: Paperback	$145.17
Read More >>

Mathematical Morphology and Its Applications to Signal and Image Processing: 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings

Mathematical Morphology and Its Applications to Signal...
Author: Jón Atli Benediktsson , Jocelyn Chanussot ISBN: 9783319187198 Format: Paperback	$116.41
Read More >>

Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

Analytical and Stochastic Modelling Techniques and Applications:...
Author: Marco Gribaudo , Daniele Manini ISBN: 9783319185781 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic... Read More >>

Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New...
Author: Gilles Dowek (Ecole Polytechnique, Paris) , Pierre Guillot ISBN: 9780521133777 Format: Paperback	$158.40
Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning... Read More >>

High Performance Computing for Computational Science -- VECPAR 2014: 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

High Performance Computing for Computational Science...
Author: Michel Daydé , Osni Marques ISBN: 9783319173528 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on... Read More >>

Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New...
Author: Gilles Dowek (Ecole Polytechnique, Paris) , Pierre Guillot ISBN: 9780521118019 Format: Hardback	$214.76
Read More >>

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 24th...
Author: Maurizio Proietti , Hirohisa Seki ISBN: 9783319178219 Format: Paperback	$116.41
The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling... Read More >>

Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers

Approximation and Online Algorithms: 12th International...
Author: Evripidis Bampis , Ola Svensson ISBN: 9783319182629 Format: Paperback	$103.47
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Approximation... Read More >>

Linear and Integer Optimization: Theory and Practice, Third Edition

Linear and Integer Optimization: Theory and Practice,...
Author: Gerard Sierksma , Yori Zwols ISBN: 9781498710169 Format: Hardback	$231.00
This textbook presents a strong and clear relationship between theory and practice. It covers basic topics such... Read More >>

Principal Bundles: The Quantum Case

Principal Bundles: The Quantum Case
Author: Stephen Bruce Sontz ISBN: 9783319158280 Format: Paperback	$155.22
This introductory text is the first book about quantum principal bundles and their quantum connections which are... Read More >>

New Horizons in Design Science: Broadening the Research Agenda: 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings

New Horizons in Design Science: Broadening the Research...
Author: Brian Donnellan , Markus Helfert ISBN: 9783319187136 Format: Paperback	$116.41
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Design Science... Read More >>

Operations Research and Enterprise Systems: Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers

Operations Research and Enterprise Systems: Third International...
Author: Eric Pinson , Fernando Valente ISBN: 9783319175089 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the Third International Conference on Operations Research and... Read More >>

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Structured Object-Oriented Formal Language and Method:...
Author: Shaoying Liu , Zhenhua Duan ISBN: 9783319174037 Format: Paperback	$90.54
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured... Read More >>

Computer Arithmetic - Volume Iii

Computer Arithmetic - Volume Iii
Author: Earl E Swartzlander (The Univ Of Texas At Austin, Usa) , Carl E Lemonds (Qualcomm, Austin, Usa) ISBN: 9789814651134 Format: Hardback	$388.12
Computer Arithmetic Volume III is a compilation of key papers in computer arithmetic on floating-point arithmetic... Read More >>

Page 196 of 443 ... 191 192 193 194 195 196 197 198 199 200 ...

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