Mathematical theory of computation books

11103 books were found.

Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology

Fuzzy-Neuro Approach to Agent Applications: From the...

Author: Raymond S.T. Lee
ISBN: 9783642059490
Format: Paperback
$261.36

 Read More >>

Parameterized Complexity Theory

Parameterized Complexity Theory

Author: J. Flum ,  M. Grohe
ISBN: 9783642067570
Format: Paperback
$314.16

Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework...  Read More >>

Artificial General Intelligence

Artificial General Intelligence

Author: Ben Goertzel ,  Cassio Pennachin
ISBN: 9783642062674
Format: Paperback
$287.76

“Only a small community has concentratedon general intelligence. What distinguishes AGI work from run-of-the-mill...  Read More >>

Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Structural Information and Communication Complexity:...

Author: Shay Kutten ,  Janez Žerovnik
ISBN: 9783642114755
Format: Paperback
$219.12

Constitutes the refereed post-conference proceedings of the 16th International Colloquium on Structural Information...  Read More >>

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and...

Author: Dines Bjørner
ISBN: 9783642059407
Format: Paperback
$314.16

Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular...  Read More >>

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Author: Dines Bjørner
ISBN: 9783642059391
Format: Paperback
$314.16

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable,...  Read More >>

Prüfungstrainer Rechnernetze: Aufgaben und Lösungen

Prüfungstrainer Rechnernetze: Aufgaben und Lösungen...

Author: Jörg Roth ,  Jorg Roth
ISBN: 9783834809254
Format: Paperback
$47.49

Dieses Buch richtet sich an Studierende und Autodidakten, die sich gezielt die verschiedenen Themen rund um Computernetzwerke...  Read More >>

Emerging Trends in Technological Innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010, Proceedings

Emerging Trends in Technological Innovation: First IFIP...

Author: Luis M. Camarinha-Matos ,  Pedro Pereira
ISBN: 9783642116278
Format: Hardback
$578.16

Identifying Emerging Trends in Technological Innovation Doctoral programs in science and engineering are important...  Read More >>

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Perspectives of Systems Informatics: 7th International...

Author: Amir Pnueli ,  Andrei Voronkov
ISBN: 9783642114854
Format: Paperback
$250.80

 Read More >>

Discrete, Continuous, and Hybrid Petri Nets

Discrete, Continuous, and Hybrid Petri Nets

Author: René David ,  Hassane Alla
ISBN: 9783642106682
Format: Hardback
$472.56

This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets...  Read More >>

Partial Inner Product Spaces: Theory and Applications

Partial Inner Product Spaces: Theory and Applications...

Author: J-P Antoine ,  Camillo Trapani
ISBN: 9783642051357
Format: Paperback
$237.47

 Read More >>

Auto-Validating Numerical Methods

Auto-Validating Numerical Methods

Author: Warwick Tucker
ISBN: 9783034603010
Format: Paperback
$105.47

The main goal of this text is to introduce the reader to the field of auto-validating algorithms by providing a...  Read More >>

Discrete Mathematics for Computer Scientists: United States Edition

Discrete Mathematics for Computer Scientists: United...

Author: Cliff L Stein ,  Robert Drysdale
ISBN: 9780132122719
Format: Paperback
$348.48

Stein/Drysdale/Bogart's Discrete Mathematics for Computer Scientists is ideal for computer science students taking...  Read More >>

Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings

Engineering Secure Software and Systems: Second International...

Author: Fabio MASSACCI ,  Dan Wallach
ISBN: 9783642117466
Format: Paperback
$190.08

The parallel technical spons- ships from the ACM SIGSAC (the ACM interest group in security) and ACM SIGSOF (the...  Read More >>

Transactions on Rough Sets XI

Transactions on Rough Sets XI

Author: James F. Peters ,  Andrzej Skowron
ISBN: 9783642114786
Format: Paperback
$258.72

Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape,...  Read More >>

WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings

WALCOM: Algorithms and Computation: 4th International...

Author: Md. Saidur Rahman ,  Satoshi Fujita
ISBN: 9783642114397
Format: Paperback
$219.12

Constitutes the proceedings of the 4th International Workshop on Algorithms and Computation, that was held in Dhaka,...  Read More >>

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis:...

Author: Jean-Raymond Abrial ,  Uwe Glässer
ISBN: 9783642114465
Format: Paperback
$190.08

This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover...  Read More >>

Autonomic Computing and Communications Systems: Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Autonomic Computing and Communications Systems: Third...

Author: Athanasios V. Vasilakos ,  Roberto Beraldi
ISBN: 9783642114816
Format: Paperback
$190.08

These proceedings contain the papers presented at the Third International ICST C- ference on Autonomic Computing...  Read More >>

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Practical Aspects of Declarative Languages: 12th International...

Author: Manuel Carro ,  Ricardo Peña
ISBN: 9783642115028
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative...  Read More >>

Lectures on Complex Networks

Lectures on Complex Networks

Author: Sergey Dorogovtsev (Department of Physics, University of Aveiro, Portugal, and the Ioffe Institute, St Petersburg)
ISBN: 9780199548934
Format: Paperback
$106.06

This text is a very concise modern introduction to complex networks based on lectures for university students and...  Read More >>

Graph-Theoretic Concepts in Computer Science: 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers

Graph-Theoretic Concepts in Computer Science: 35th International...

Author: Christophe Paul ,  Michel Habib
ISBN: 9783642114083
Format: Paperback
$219.12

The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier...  Read More >>

Parameterized and Exact Computation: 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

Parameterized and Exact Computation: 4th International...

Author: Jianer Chen ,  Fedor V. Fomin
ISBN: 9783642112683
Format: Paperback
$219.12

The Workshop on Parameterized and Exact Computation (IWPEC) is an - ternational workshop series that covers research...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List