Mathematical theory of computation books

11108 books were found.

Frauenwelt — Computerräume: Fachtagung, veranstaltet von der Fachgruppe „Frauenarbeit und Informatik” im Fachbereich 8 der GI Bremen, 21.–24. September 1989

Frauenwelt — Computerräume: Fachtagung, veranstaltet...
Author: Heidi Schelhowe ISBN: 9783540518020 Format: Paperback	$108.11
Zum erstenmal in der Bundesrepublik laden Informatikerinnen Frauen und Manner aus den verschiedensten Fachdisziplinen... Read More >>

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg,...
Author: Egon Borger , Hans Kleine Buning ISBN: 9783540516590 Format: Paperback	$192.59
This volume contains the papers which were presented at the second workshop ""Computer Science Logic"" held in Duisburg,... Read More >>

Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings

Symbolic and Algebraic Computation: International Symposium...
Author: Patrizia Gianni ISBN: 9783540510840 Format: Paperback	$245.52
The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then... Read More >>

Konzepte der Betriebssysteme

Konzepte der Betriebssysteme
Author: Wolfgang Laun ISBN: 9783211821534 Format: Paperback	$113.39
Das Buch präsentiert in vergleichender Darstellung die wesentlichen Funktionen von Betriebssystemen: Prozeßverwaltung,... Read More >>

EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings

EUROCAL '87: European Conference on Computer Algebra,...
Author: James H. Davenport ISBN: 9783540515173 Format: Paperback	$224.40
These calculations may be polynomial-like calculations - one thread of the conference was devoted to polynomial... Read More >>

Mathematics for Large Scale Computing

Mathematics for Large Scale Computing
Author: Julio Diaz , J.C. Diaz ISBN: 9780824781224 Format: Paperback	$525.00
Read More >>

UNIX-Werkzeuge zur Textmusterverarbeitung: Awk, Lex und Yacc

UNIX-Werkzeuge zur Textmusterverarbeitung: Awk, Lex...
Author: Gottfried Staubach ISBN: 9783540512325 Format: Paperback	$81.71
Das Betriebssystem UNIX. hat seit seiner Entwicklung in den spaten siebzi ger Jahren einen stetigen Aufschwung genommen.... Read More >>

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

Logic at Botik '89: Symposium on Logical Foundations...
Author: Albert R. Meyer , Michael A. Taitslin ISBN: 9783540512370 Format: Paperback	$152.99
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer... Read More >>

Computers and Mathematics

Computers and Mathematics
Author: Erich Kaltofen , Stephen M. Watt ISBN: 9780387970196 Format: Paperback	$290.37
In June of 1989, an international conference was held at MIT, bringing together mathematicians and computer scientists,... Read More >>

Perspective In Theoretical Computer Science, A: Commemorative Volume For Gift Siromoney

Perspective In Theoretical Computer Science, A: Commemorative...
Author: R Narasimhan (Tata Inst, India) ISBN: 9789971509255 Format: Hardback	$390.71
Read More >>

Perspective In Theoretical Computer Science, A: Commemorative Volume For Gift Siromoney

Perspective In Theoretical Computer Science, A: Commemorative...
Author: R Narasimhan (Tata Inst, India) ISBN: 9789971509262 Format: Paperback	$186.30
This volume consists of invited papers written by eminent researchers working in the areas of theoretical computer... Read More >>

Desktop als Mensch-Maschine-Schnittstelle

Desktop als Mensch-Maschine-Schnittstelle
Author: Andrea König , Andrea Konig ISBN: 9783211821350 Format: Paperback	$105.47
Read More >>

Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung

Dynamische Integrität von Datenbanken: Grundlagen der...
Author: Udo W. Lipeck ISBN: 9783540511304 Format: Paperback	$73.92
Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines... Read More >>

Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Termersetzungssysteme: Grundlagen der Prototyp-Generierung...
Author: Klaus Drosten ISBN: 9783540511724 Format: Paperback	$87.12
Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung... Read More >>

Proceedings / Parcella 1988: Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988

Proceedings / Parcella 1988: Fourth International Workshop...
Author: Gottfried Wolf , Tamas Legendi ISBN: 9783540506478 Format: Paperback	$179.39
This volume contains selected papers for the Parcella '88, the Fourth International Workshop on ""Parallel Processing... Read More >>

PRODIA und PRODAT: Dialog- und Datenbankschnittstellen für Systementwurfswerkzeuge

PRODIA und PRODAT: Dialog- und Datenbankschnittstellen...
Author: Detlef Krömker , Hartwig Steusloff ISBN: 9783540193982 Format: Paperback	$226.91
Dieses Buch beschreibt die Konzepte sowie die Prozedurschnittstellen des Dialogsystems PRODIA und des Datenbanksystems... Read More >>

Programmentwicklung und Verifikation

Programmentwicklung und Verifikation
Author: Gerald Futschek ISBN: 9783211818671 Format: Paperback	$113.39
Read More >>

Introduction to the Theory of Computation

Introduction to the Theory of Computation
Author: Eitan Gurari ISBN: 9780716781820 Format: Hardback	$121.31
Read More >>

5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings

5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol,...
Author: Johannes Retti , Karl Leidlmair ISBN: 9783540510390 Format: Paperback	$147.84
Die 5. Osterreichische Artificial-Intelligence-Tagung setzt sich zusammen aus wissenschaftlichem Programm, Workshops... Read More >>

Programming Languages Implementation and Logic Programming: International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings

Programming Languages Implementation and Logic Programming:...
Author: Pierre Deransart , Bernard Lorho ISBN: 9783540508205 Format: Paperback	$179.39
The aim of the workshop was to discuss whether research on implementation of programming languages and research... Read More >>

Semantik von Programmiersprachen

Semantik von Programmiersprachen
Author: Elfriede Fehr ISBN: 9783540151630 Format: Paperback	$102.96
Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher... Read More >>

Reliability Data Collection and Use in Risk and Availability Assessment: Proceedings of the 6th Euredata Conference, Siena, Italy, March 15-17, 1989

Reliability Data Collection and Use in Risk and Availability...
Author: Viviana Colombari ISBN: 9783540508342 Format: Hardback	$448.80
Read More >>

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Compositionality, Concurrency, and Partial Correctness:...
Author: Job Zwiers ISBN: 9783540508458 Format: Paperback	$152.99
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity... Read More >>

STACS 89: 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings

STACS 89: 6th Annual Symposium on Theoretical Aspects...
Author: Burkhard Monien , Robert Cori ISBN: 9783540508403 Format: Paperback	$155.63
This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS... Read More >>

Speech Technology at Work

Speech Technology at Work
Author: Jack Hollingum , Graham Cassford ISBN: 9783540163565 Format: Hardback	$145.07
Speech technology - the use of speech as a means of sending information to, and receiving information from computer... Read More >>

Page 428 of 445 ... 423 424 425 426 427 428 429 430 431 432 ...

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