Mathematical theory of computation books

11108 books were found.

Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming
Author: R. Goldblatt ISBN: 9783540112105 Format: Paperback	$52.80
Read More >>

Data Base Design Techniques I: Requirements and Logical Structures. NYU Symposium, New York, May 1978

Data Base Design Techniques I: Requirements and Logical...
Author: S. B. Yao , S. B. Navathe ISBN: 9783540112143 Format: Paperback	$55.44
Read More >>

Data Base Design Techniques II: Physical Structures and Applications. Proceedings, Tokyo, November 1979

Data Base Design Techniques II: Physical Structures...
Author: S. B. Yao , T. L. Kunii ISBN: 9783540112150 Format: Paperback	$28.38
Read More >>

Logics of Programs: Workshop, Yorktown Heights, NY, USA

Logics of Programs: Workshop, Yorktown Heights, NY,...
Author: D. Kozen ISBN: 9783540112129 Format: Paperback	$84.48
Read More >>

International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings

International Symposium on Programming: 5th Colloquium,...
Author: M. Dezani-Ciancaglini , U. Montanari ISBN: 9783540114949 Format: Paperback	$84.48
Read More >>

Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic...
Author: B. T. Hailpern ISBN: 9783540112051 Format: Paperback	$139.79
Read More >>

Data Structures and Algorithms

Data Structures and Algorithms
Author: Alfred Aho , Jeffrey Ullman ISBN: 9780201000238 Format: Paperback	$209.56
The authors' treatment of data structures in Data Structures and Algorithms is unified by an informal notion of... Read More >>

Einführung in PASCAL: Mit zahlreichen Beispielen und 10 vollständigen Programmen

Einführung in PASCAL: Mit zahlreichen Beispielen und...
Author: Wolfgang Schneider ISBN: 9783528042004 Format: Paperback	$184.77
Die hohere Programmiersprache PASCAL findet z.Z. eine schnelle Verbreitung, da das systematische Programmieren in... Read More >>

Logic of Programs: Workshop, ETH Zürich, May-July 1979

Logic of Programs: Workshop, ETH Zürich, May-July 1979...
Author: E. Engeler ISBN: 9783540111603 Format: Paperback	$131.87
Read More >>

GI — 11. Jahrestagung: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

GI — 11. Jahrestagung: In Verbindung mit Third Conference...
Author: W. Brauer ISBN: 9783540108849 Format: Paperback	$139.92
Read More >>

A Basis for Theoretical Computer Science

A Basis for Theoretical Computer Science
Author: M. A. Arbib , A. J. Kfoury ISBN: 9780387905730 Format: Hardback	$131.87
Computer science seeks to provide a scientific basis for the study of inform a- tion processing, the solution of... Read More >>

Mathematical Foundations of Computer Science 1981: 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings

Mathematical Foundations of Computer Science 1981: 10th...
Author: Jozef Gruska , M. Chytil ISBN: 9783540108566 Format: Paperback	$224.27
Read More >>

Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-28, 1981

Fundamentals of Computation Theory: Proceedings of the...
Author: F. Gecseg ISBN: 9783540108542 Format: Paperback	$197.87
Read More >>

Modelle von Informationssystemen zur kurzfristigen Fertigungssteuerung und ihre Gestaltung nach betriebsspezifischen Gesichtspunkten

Modelle von Informationssystemen zur kurzfristigen Fertigungssteuerung...
Author: R. Gentner ISBN: 9783540109921 Format: Paperback	$57.82
Zur Steuerung und Durchftihrung der Fertigung werden organisato- rische und technische Daten benotigt. Mit der Automatisierung... Read More >>

Beitrag zur Analyse der Auswirkungen der Mikroelektronik;Dargestellt am Beispiel der Büromaschinen-Industrie: Dargestellt am Beispiel der Büromaschinen-Industrie

Beitrag zur Analyse der Auswirkungen der Mikroelektronik;Dargestellt...
Author: W. Neubauer ISBN: 9783540109914 Format: Paperback	$184.77
In allen Industrielandern wird derzeit die Diskussion tiber die Auswirkungen des Mikroelektronik-Einsatzes auf Produktion... Read More >>

The Concurrency Control Problem for Database Systems

The Concurrency Control Problem for Database Systems...
Author: M. A. Casanova ISBN: 9783540108450 Format: Paperback	$131.87
Read More >>

Automata, Languages and Programming: Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981

Automata, Languages and Programming: Eighth Colloquium,...
Author: S. Even , O. Kariv ISBN: 9783540108436 Format: Paperback	$224.27
Read More >>

CAAP '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings

CAAP '81: Trees in Algebra and Programming /6th Colloquium,...
Author: E. Astesiano , C. Böhm ISBN: 9783540108283 Format: Paperback	$158.27
Read More >>

Organisation und Betrieb von Rechenzentren: Fachgespräch der GI Erlangen, 12./13. März 1981

Organisation und Betrieb von Rechenzentren: Fachgespräch...
Author: F. Wolf ISBN: 9783540108313 Format: Paperback	$73.92
Dieser Band enthi: ilt die Vortrfi, ge, die anlfisslir: h des 1i'achgespri: ichs der Gesellschaft fiir Informatik... Read More >>

Das Codasyl-Datenbankmodell

Das Codasyl-Datenbankmodell
Author: T.W. Olle , H. Münzenberger ISBN: 9783540106692 Format: Paperback	$189.95
Dieses Buch stellt, in Form eines Lehrtextes, den Datenbankansatz vor, der durch CODASYL (Con!erence on Data Systems... Read More >>

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981

Theoretical Computer Science: 5th GI-Conference Karlsruhe,...
Author: P. Deussen ISBN: 9783540105763 Format: Paperback	$139.79
Read More >>

Algebraic Semantics

Algebraic Semantics
Author: Irene Guessarian ISBN: 9783540102847 Format: Paperback	$65.87
Read More >>

Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980

Graphtheoretic Concepts in Computer Science: Proceedings...
Author: Hartmut Noltemeier ISBN: 9783540102915 Format: Paperback	$184.67
Read More >>

Solitons: Mathematical Methods for Physicists

Solitons: Mathematical Methods for Physicists
Author: G. Eilenberger ISBN: 9783540102236 Format: Paperback	$163.55
1.1 Why Study Solitons? The last century of physics, which was initiated by Maxwell's completion of the theory of... Read More >>

Mathematische Unterhaltungen und Spiele mit dem programmierbaren Taschenrechner (AOS)

Mathematische Unterhaltungen und Spiele mit dem programmierbaren...
Author: Hans Heinrich Gloistehn ISBN: 9783528041250 Format: Paperback	$184.77
Vor etwa fUnf Jahren erschienen die ersten programmierbaren Taschenrechner auf dem deutschen Markt. Sie waren hauptsachlich... Read More >>

Page 437 of 445 ... 432 433 434 435 436 437 438 439 440 441 ...

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