Mathematical theory of computation books

11108 books were found.

Foundations of Logic Programming

Foundations of Logic Programming
Author: J.W. Lloyd (University of Bristol) ISBN: 9783540181996 Format: Hardback	$208.43
This is a revised edition of an introductory account of the mathematical foundations of logic programming. In addition... Read More >>

Attributierte Grammatiken und Attributierungsalgorithmen

Attributierte Grammatiken und Attributierungsalgorithmen...
Author: Ulrich Mahn ISBN: 9783540186502 Format: Paperback	$100.32
Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung... Read More >>

Fundamentals of Computation Theory: International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings

Fundamentals of Computation Theory: International Conference...
Author: Lothar Budach , Rais G. Bukharajev ISBN: 9783540187400 Format: Paperback	$211.07
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International... Read More >>

Information, Randomness & Incompleteness: Papers On Algorithmic Information Theory

Information, Randomness & Incompleteness: Papers On...
Author: Gregory J Chaitin (Ibm Thomas J Watson Research Ctr, Usa) ISBN: 9789971504809 Format: Paperback	$198.00
The papers gathered in this book were published over a period of more than twenty years in widely scattered journals.... Read More >>

Information, Randomness & Incompleteness: Papers On Algorithmic Information Theory

Information, Randomness & Incompleteness: Papers On...
Author: Gregory J Chaitin (Ibm Thomas J Watson Research Ctr, Usa) ISBN: 9789971504793 Format: Hardback	$269.28
The papers gathered in this book were published over a period of more than twenty years in widely scattered journals.... Read More >>

Systems of Reductions

Systems of Reductions
Author: Benjamin Benninghofen , Susanne Kemmerich ISBN: 9783540185987 Format: Paperback	$184.67
Read More >>

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings

Foundations of Software Technology and Theoretical Computer...
Author: Kesav V. Nori ISBN: 9783540186250 Format: Paperback	$211.07
Read More >>

Semantics of Digital Circuits

Semantics of Digital Circuits
Author: Carlos Delgado Kloos ISBN: 9783540185406 Format: Paperback	$65.87
Read More >>

Peripherie von Informationssystemen: Technologie und Anwendung Eingabe: Tastatur, Sensoren, Sprache etc. Ausgabe: Drucker, Bildschirm, Anzeigen etc. Externe Speicher: Magnetik, Optik etc.

Peripherie von Informationssystemen: Technologie und...
Author: Walter E. Proebster ISBN: 9783540183365 Format: Paperback	$168.83
Dieses Buch ist aus Vorlesungen an den U niversitiiten Karlsruhe, Kaiserslautern und Passau hervorgegangen. Es wendet... Read More >>

Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings

Category Theory and Computer Science: Edinburgh, UK,...
Author: David H. Pitt , Axel Poigne ISBN: 9783540185086 Format: Paperback	$105.47
Read More >>

Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986

Trends, Techniques, and Problems in Theoretical Computer...
Author: Alica Kelemenova , Jozef Kelemen ISBN: 9783540185352 Format: Paperback	$139.79
Read More >>

Graph Reduction: Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

Graph Reduction: Proceedings of a Workshop Santa Fe,...
Author: Joseph H. Fasel , Robert M. Keller ISBN: 9783540184201 Format: Paperback	$197.87
Read More >>

A Guide to SPSS/PC+ 1ED

A Guide to SPSS/PC+ 1ED
Author: Neil Frude , N Frude ISBN: 9780387913124 Format: Hardback	$131.87
SPSS (The Statistical Package for the Social Sciences) is a computer program which enables data from surveys and... Read More >>

Messung, Modellierung und Bewertung von Rechensystemen: 4. GI/ITG-Fachtagung Erlangen, 29. September – 1. Oktober 1987. Proceedings

Messung, Modellierung und Bewertung von Rechensystemen:...
Author: Ulrich Herzog , Martin Paterok ISBN: 9783540184065 Format: Paperback	$116.16
Dies ist der Tagungsband der 4. GI/ITG-Fachtagung ""Messung, Modellierung und Bewertung von Rechensystemen"", Erlangen,... Read More >>

Sprachkonzepte für benutzergerechte Systeme

Sprachkonzepte für benutzergerechte Systeme
Author: Horst Oberquelle ISBN: 9783540182351 Format: Paperback	$108.24
Dieses Buch prasentiert einen neuen konzeptionellen Rahmen und primar graphische Ausdrucksmittel fur die benutzerorientierte... Read More >>

3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987

3. Österreichische Artificial-Intelligence-Tagung: Wien,...
Author: Ernst Buchberger , Johannes Retti ISBN: 9783540183846 Format: Paperback	$81.84
Die dritte Osterreichische Artificial-Intelligence-Tagung fand vom 22.-25. September 1987 an der Technischen Universitiit... Read More >>

SCALES:INTRODUCTION NON-LINEAR, OPTIMIZATION RPT

SCALES:INTRODUCTION NON-LINEAR, OPTIMIZATION RPT
Author: SCALES , L E Scales ISBN: 9780387912523 Format: Hardback	$108.24
Read More >>

Computation Theory and Logic

Computation Theory and Logic
Author: Egon Börger ISBN: 9783540181705 Format: Paperback	$197.87
Read More >>

Numerical Integration: Recent Developments, Software and Applications

Numerical Integration: Recent Developments, Software...
Author: Patrick Keast , Graeme Fairweather ISBN: 9789027725141 Format: Hardback	$887.04
This volume contains refereed papers and extended abstracts of papers presented at the NATO Advanced Research Workshop... Read More >>

Database Machine Performance: Modeling Methodologies and Evaluation Strategies

Database Machine Performance: Modeling Methodologies...
Author: Francesca Cesarini , Silvio Salza ISBN: 9783540179429 Format: Paperback	$145.07
Read More >>

Die Konfigurierung modular aufgebauter Datenbanksysteme

Die Konfigurierung modular aufgebauter Datenbanksysteme...
Author: Dieter Lienert ISBN: 9783540179085 Format: Paperback	$71.15
Ein ausführliches Beispiel demonstriert, wie die Ergebnisse der Arbeit in der Praxis angewendet werden können. Der... Read More >>

Temporal Logic of Programs

Temporal Logic of Programs
Author: Fred Kroger ISBN: 9783540170303 Format: Hardback	$179.39
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta-... Read More >>

Graph-Theoretic Concepts in Computer Science: International Workshop WG '86 Bernried, Federal Republic of Germany, June 17-19, 1986, Proceedings

Graph-Theoretic Concepts in Computer Science: International...
Author: Gottfried Tinhofer , Gunther Schmidt ISBN: 9783540172185 Format: Paperback	$166.19
The topics covered include: Graph Grammars, Graph Manipulation, Nets, Complexity Issues, Algorithmic and Network... Read More >>

Datenbanksysteme in Büro, Technik und Wissenschaft: GI-Fachtagung Darmstadt, 1.–3. April 1987 Proceedings

Datenbanksysteme in Büro, Technik und Wissenschaft:...
Author: H.-J. Schek , G. Schlageter ISBN: 9783540177364 Format: Paperback	$158.37
In den letzten Jahren wird in wachsendem Mafie Datenbankunterstiitzung fijr An- wendungsgebiete gefordert, fUr die... Read More >>

Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Tapsoft '87. Proceedings of the International Joint...
Author: Hartmut Ehrig , Robert A. Kowalski ISBN: 9783540176114 Format: Paperback	$105.47
Read More >>

Page 431 of 445 ... 426 427 428 429 430 431 432 433 434 435 ...

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