Mathematical theory of computation books

11078 books were found.

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Theory and Applications of Satisfiability Testing --...
Author: Alessandro Cimatti , Roberto Sebastiani ISBN: 9783642316111 Format: Paperback	$145.17
The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully... Read More >>

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science
Author: Jan A Bergstra , Cornelis A. Middelburg ISBN: 9789491216640 Format: Hardback	$290.37
Read More >>

Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

Controlled Natural Language: Second International Workshop,...
Author: Michael Rosner , Norbert E Fuchs ISBN: 9783642311741 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language,... Read More >>

Structural Information and Communication Complexity: 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers

Structural Information and Communication Complexity:...
Author: Guy Even , Magnús M. Halldórsson ISBN: 9783642311031 Format: Paperback	$145.17
The typical areas include distributed computing, communication networks, game theory, parallel computing, social... Read More >>

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Automated Reasoning: 6th International Joint Conference,...
Author: Bernhard Gramlich , Dale Miller ISBN: 9783642313646 Format: Paperback	$145.17
Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012,... Read More >>

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Mathematics of Program Construction: 11th International...
Author: Jeremy Gibbons , Pablo Nogueira ISBN: 9783642311123 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction,... Read More >>

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Application and Theory of Petri Nets: 33rd International...
Author: Serge Haddad , Lucia Pomello ISBN: 9783642311307 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of... Read More >>

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science
Author: Mordechai Ben-Ari ISBN: 9781447141280 Format: Paperback	$142.29
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the... Read More >>

A Distributed Pi-Calculus

A Distributed Pi-Calculus
Author: Matthew Hennessy (University of Sussex) ISBN: 9780511611063 Format: Undefined	$620.40
Read More >>

The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents
Author: Robin Milner (University of Cambridge) ISBN: 9780511626661 Format: Undefined	$620.40
Read More >>

The Standard ML Basis Library

The Standard ML Basis Library
Author: Emden R. Gansner (AT&T Bell Laboratories, New Jersey) , John H. Reppy (University of Chicago) ISBN: 9780511546846 Format: Undefined	$620.40
Read More >>

Modern Computer Arithmetic

Modern Computer Arithmetic
Author: Richard P. Brent (Australian National University, Canberra) , Paul Zimmermann ISBN: 9780511921698 Format: Undefined	$620.40
Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations... Read More >>

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction
Author: Davide Sangiorgi (Università di Bologna) ISBN: 9780511777110 Format: Undefined	$620.40
Bisimulation and coinduction offer powerful tools for understanding structures that are common in computer science,... Read More >>

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

On the Mathematics of Modelling, Metamodelling, Ontologies...
Author: Brian Henderson-Sellers ISBN: 9783642298240 Format: Paperback	$145.17
Read More >>

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International...
Author: Marco Bernardo , Vittorio Cortellessa ISBN: 9783642309816 Format: Paperback	$145.17
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School... Read More >>

Computer Networks: 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

Computer Networks: 19th International Conference, CN...
Author: Andrzej Kwiecien , Piotr Gaj ISBN: 9783642312168 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th International Conference on Computer Networks, CN 2012,... Read More >>

Defect and Fault Tolerance in VLSI Systems: Volume 1

Defect and Fault Tolerance in VLSI Systems: Volume 1...
Author: Israel Koren ISBN: 9781461568018 Format: Paperback	$290.37
This book contains an edited selection of papers presented at the International Workshop on Defect and Fault Tolerance... Read More >>

Das CC RIM-Referenzmodell für den Entwurf von betrieblichen, transaktionsorientierten Informationssystemen

Das CC RIM-Referenzmodell für den Entwurf von betrieblichen,...
Author: Thomas A. Gutzwiller , Thomas A Gutzwiller ISBN: 9783642524066 Format: Paperback	$158.37
Es wird ein umfassendes Referenzmodell dargestellt, welches das heutige Wissen auf dem Gebiet der Informationssystem-Modellierung... Read More >>

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third...
Author: John Derrick , John Fitzgerald ISBN: 9783642308840 Format: Paperback	$145.17
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM,... Read More >>

Guide to Computational Geometry Processing: Foundations, Algorithms, and Methods

Guide to Computational Geometry Processing: Foundations,...
Author: J. Andreas Bærentzen , Jens Gravesen ISBN: 9781447140740 Format: Hardback	$237.57
Read More >>

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Correct Reasoning: Essays on Logic-Based AI in Honour...
Author: Esra Erdem , Joohyung Lee ISBN: 9783642307423 Format: Paperback	$145.17
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles... Read More >>

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference,...
Author: John Derrick , Stefania Gnesi ISBN: 9783642307287 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods,... Read More >>

Algorithms and Models for the Web Graph: 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings

Algorithms and Models for the Web Graph: 9th International...
Author: Anthony Bonato , Jeannette Janssen ISBN: 9783642305405 Format: Paperback	$184.77
This book constitutes the refereed proceedings of the 9th International Workshop on Algorithms and Models for the... Read More >>

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

How the World Computes: Turing Centenary Conference...
Author: Barry S. Cooper , Anuj Dawar ISBN: 9783642308697 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability... Read More >>

High Level Structures for Quantum Computing

High Level Structures for Quantum Computing
Author: Jaroslaw Miszczak ISBN: 9783031013881 Format: Paperback	$72.42
Table of Contents: Introduction / Turing machines / Quantum Finite State Automata / Computational Circuits / Random... Read More >>

Page 261 of 444 ... 256 257 258 259 260 261 262 263 264 265 ...

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