Mathematical theory of computation books

11069 books were found.

Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Web Services and Formal Methods: 10th International...

Author: Emilio Tuosto ,  Chun Ouyang
ISBN: 9783319082592
Format: Paperback
$118.77

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web...  Read More >>

Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Unconventional Computation and Natural Computation:...

Author: Oscar H. Ibarra ,  Lila Kari
ISBN: 9783319081229
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation...  Read More >>

Structural Information and Communication Complexity: 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings

Structural Information and Communication Complexity:...

Author: Magnús M. Halldórsson
ISBN: 9783319096193
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 21st International Colloquium on Structural Information and...  Read More >>

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Declarative Programming and Knowledge Management: Declarative...

Author: Michael Hanus ,  Ricardo Rocha
ISBN: 9783319089089
Format: Paperback
$145.17

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following...  Read More >>

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile,  September 1-4, 2014. Proceedings

Logic, Language, Information, and Computation: 21st...

Author: Ulrich Kohlenbach ,  Pablo Barceló
ISBN: 9783662441442
Format: Paperback
$103.47

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the...  Read More >>

Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Descriptional Complexity of Formal Systems: 16th International...

Author: Helmut Jürgensen ,  Juhani Karhumäki
ISBN: 9783319097039
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity...  Read More >>

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Author: Jan A Bergstra ,  Cornelis A. Middelburg
ISBN: 9789462390492
Format: Paperback
$290.37

The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures...  Read More >>

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Rewriting and Typed Lambda Calculi: Joint International...

Author: Gilles Dowek
ISBN: 9783319089171
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques...  Read More >>

Biomimetic and Biohybrid Systems: Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings

Biomimetic and Biohybrid Systems: Third International...

Author: Armin Duff ,  Nathan F. Lepora
ISBN: 9783319094342
Format: Paperback
$116.41

This book constitutes the proceedings of the Third International Conference on Biomimetic and Biohybrid Systems,...  Read More >>

Intelligent Computing in Bioinformatics: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

Intelligent Computing in Bioinformatics: 10th International...

Author: De-Shuang Huang ,  Kyungsook Han
ISBN: 9783319093291
Format: Paperback
$116.41

This book – in conjunction with the volumes LNCS 8588 and LNAI 8589 – constitutes the refereed proceedings of the...  Read More >>

Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014: 4th International...

Author: Hoon Hong ,  Chee Yap
ISBN: 9783662441985
Format: Paperback
$145.17

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held...  Read More >>

Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation:...

Author: Margot Colinet ,  Sophia Katrenko
ISBN: 9783662441152
Format: Paperback
$145.17

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association...  Read More >>

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming: 12th International...

Author: Michael Codish ,  Eijiro Sumii
ISBN: 9783319071503
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming,...  Read More >>

Transactions on Computational Science XXIII: Special Issue on Cyberworlds

Transactions on Computational Science XXIII: Special...

Author: Marina L. Gavrilova ,  C.J. Kenneth Tan
ISBN: 9783662437896
Format: Paperback
$145.17

This, the 23rd issue of the Transactions on Computational Science journal, guest edited by Xiaoyang Mao and Lichan...  Read More >>

Negative Quantum Channels

Negative Quantum Channels

Author: James M. McCracken
ISBN: 9783031013898
Format: Paperback
$90.54

This book is a brief introduction to negative quantum channels, i.e., linear, trace-preserving (and consistent)...  Read More >>

Digital Fourier Analysis

Digital Fourier Analysis

Author: Ken'iti Kido
ISBN: 9781493915217
Format: Paperback
$145.17

Beginning with the principles of sine/cosine decomposition, the reader walks through the principles of discrete...  Read More >>

Modeling, Simulation and Optimization for Science and Technology

Modeling, Simulation and Optimization for Science and...

Author: William Fitzgibbon ,  Yuri A. Kuznetsov
ISBN: 9789401790536
Format: Hardback
$290.37

This volume contains thirteen articles on advances in applied mathematics and computing methods for engineering...  Read More >>

Digital Fourier Analysis: Fundamentals

Digital Fourier Analysis: Fundamentals

Author: Ken'iti Kido
ISBN: 9781461492597
Format: Paperback
$145.17

Digital Fourier Analysis - Fundamentals  Read More >>

Digital Fourier Analysis: Advanced Techniques

Digital Fourier Analysis: Advanced Techniques

Author: Ken'iti Kido
ISBN: 9781493911264
Format: Paperback
$145.17

Assuming knowledge of the Fast Fourier Transform, this book covers advanced topics including the Hilbert transform,...  Read More >>

Pixelspiele: Modellieren und Simulieren mit zellulären Automaten

Pixelspiele: Modellieren und Simulieren mit zellulären...

Author: Daniel Scholz
ISBN: 9783642451300
Format: Paperback
$79.17

Im vorliegenden Buch werden unterschiedliche Modelle zum Beispiel aus der Populationsdynamik, der Reaktionskinetik,...  Read More >>

Field-Coupled Nanocomputing: Paradigms, Progress, and Perspectives

Field-Coupled Nanocomputing: Paradigms, Progress, and...

Author: Neal G. Anderson ,  Sanjukta Bhanja
ISBN: 9783662437216
Format: Paperback
$145.17

The third section, Modeling and Simulation, considers the theoretical modeling and computer simulation of large...  Read More >>

Mathematical Programming Solver Based on Local Search

Mathematical Programming Solver Based on Local Search...

Author: Frédéric Gardi ,  Thierry Benoist
ISBN: 9781848216860
Format: Hardback
$295.95

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

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List