Mathematical theory of computation books

11069 books were found.

Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Multi-Agent Systems: 12th European Conference, EUMAS...
Author: Nils Bulling ISBN: 9783319171296 Format: Paperback	$116.41
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in... Read More >>

Computation and its Limits

Computation and its Limits
Author: Paul Cockshott (Reader, Department of Computing Science, University of Glasgow) , Lewis M Mackenzie (Senior Lecturer, Department of Computing Science, University of Glasgow) ISBN: 9780198729129 Format: Paperback	$86.95
Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve,... Read More >>

Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik

Parametrisierte uniforme Berechnungskomplexität in Geometrie...
Author: Carsten Rösnick ISBN: 9783658096588 Format: Paperback	$171.57
Carsten Rösnick legt seiner Arbeit die Frage nach der algorithmischen Komplexität der approximativen Berechnung... Read More >>

Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Integration of AI and OR Techniques in Constraint Programming:...
Author: Laurent Michel ISBN: 9783319180076 Format: Paperback	$116.41
This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence... Read More >>

Algorithms and Complexity: 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings

Algorithms and Complexity: 9th International Conference,...
Author: Vangelis Th. Paschos , Peter Widmayer ISBN: 9783319181721 Format: Paperback	$116.41
This book constitutes the refereed conference proceedings of the 9th International Conference on Algorithms and... Read More >>

Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Theory and Applications of Models of Computation: 12th...
Author: Rahul Jain , Sanjay Jain ISBN: 9783319171418 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models... Read More >>

The Message of Quantum Science: Attempts Towards a Synthesis

The Message of Quantum Science: Attempts Towards a Synthesis...
Author: Philippe Blanchard , Jürg Fröhlich ISBN: 9783662464212 Format: Paperback	$145.17
The Message of Quantum Science Read More >>

Geometry, Mechanics, and Dynamics: The Legacy of Jerry Marsden

Geometry, Mechanics, and Dynamics: The Legacy of Jerry...
Author: Dong Eui Chang , Darryl D. Holm ISBN: 9781493924400 Format: Hardback	$290.37
This book illustrates the broad range of Jerry Marsden’s mathematical legacy in areas of geometry, mechanics, and... Read More >>

Mathematik der Information: Theorie und Anwendungen der Shannon-Wiener Information

Mathematik der Information: Theorie und Anwendungen...
Author: Stefan Schäffler ISBN: 9783662463819 Format: Paperback	$79.17
Read More >>

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

NASA Formal Methods: 7th International Symposium, NFM...
Author: Klaus Havelund , Gerard Holzmann ISBN: 9783319175232 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015,... Read More >>

Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnology

Design of Arithmetic Circuits in Quantum Dot Cellular...
Author: K. Sridharan , Vikramkumar Pudi ISBN: 9783319166872 Format: Hardback	$290.37
This research monograph focuses on the design of arithmetic circuits in Quantum Dot Cellular Automata (QCA). Using... Read More >>

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis...
Author: Christel Baier , Cesare Tinelli ISBN: 9783662466803 Format: Paperback	$145.17
The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers... Read More >>

Open Problems in Mathematics and Computational Science

Open Problems in Mathematics and Computational Science...
Author: Çetin Kaya Koç ISBN: 9783319106823 Format: Hardback	$145.17
Read More >>

Information Security and Cryptology - ICISC 2014: 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers

Information Security and Cryptology - ICISC 2014: 17th...
Author: Jooyoung Lee , Jongsung Kim ISBN: 9783319159423 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on... Read More >>

Evolutionary Computation in Combinatorial Optimization: 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Evolutionary Computation in Combinatorial Optimization:...
Author: Gabriela Ochoa , Francisco Chicano ISBN: 9783319164670 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial... Read More >>

Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Genetic Programming: 18th European Conference, EuroGP...
Author: Penousal Machado , Malcolm I. Heywood ISBN: 9783319165004 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 18th European Conference on Genetic Programming, EuroGP 2015,... Read More >>

A First Course in Network Theory

A First Course in Network Theory
Author: Ernesto Estrada (Professor and Chair in Complexity Science, Professor and Chair in Complexity Science, University of Strathclyde, UK) , Philip A. Knight (Lecturer in Mathematics, Lecturer in Mathematics, University of Strathclyde, UK) ISBN: 9780198726463 Format: Paperback	$87.95
Read More >>

A First Course in Network Theory

A First Course in Network Theory
Author: Ernesto Estrada (Professor and Chair in Complexity Science, Professor and Chair in Complexity Science, University of Strathclyde, UK) , Philip A. Knight (Lecturer in Mathematics, Lecturer in Mathematics, University of Strathclyde, UK) ISBN: 9780198726456 Format: Hardback	$222.00
Read More >>

Evolutionary Multi-Criterion Optimization: 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II

Evolutionary Multi-Criterion Optimization: 8th International...
Author: António Gaspar-Cunha , Carlos Henggeler Antunes ISBN: 9783319158914 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion... Read More >>

Introduction au traitement mathématique des images - méthodes déterministes

Introduction au traitement mathématique des images -...
Author: Maïtine Bergounioux ISBN: 9783662465387 Format: Paperback	$145.17
Cet ouvrage s’adresse à des étudiants de MASTER, élèves-ingénieurs ou chercheurs désireux de comprendre ou d’approfondir... Read More >>

Quantum Interaction: 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Quantum Interaction: 8th International Conference, QI...
Author: Harald Atmanspacher , Claudia Bergomi ISBN: 9783319159300 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 8th International Conference on Quantum Interaction, QI 2014,... Read More >>

Evolutionary Multi-Criterion Optimization: 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

Evolutionary Multi-Criterion Optimization: 8th International...
Author: António Gaspar-Cunha , Carlos Henggeler Antunes ISBN: 9783319159331 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion... Read More >>

Arithmetic of Finite Fields: 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

Arithmetic of Finite Fields: 5th International Workshop,...
Author: Çetin Kaya Koç , Sihem Mesnager ISBN: 9783319162768 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 5th International Workshop on the Arithmetic of Finite Field,... Read More >>

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems:...
Author: Martin Wirsing , Matthias Hölzl ISBN: 9783319163093 Format: Paperback	$116.41
Software Engineering for Collective Autonomic Systems Read More >>

Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Language and Automata Theory and Applications: 9th International...
Author: Adrian-Horia Dediu , Enrico Formenti ISBN: 9783319155784 Format: Paperback	$116.41
Read More >>

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

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