Mathematical theory of computation books

11108 books were found.

GI — 13. Jahrestagung: Hamburg, 3.–7. Oktober 1983 Proceedings

GI — 13. Jahrestagung: Hamburg, 3.–7. Oktober 1983 Proceedings...
Author: I. Kupka ISBN: 9783540127345 Format: Paperback	$126.72
Die Gesellschaft fur Informatik bietet ihren Mitgliedern, den auf dem Ge- biet der Informatik tatigen Fachleuten... Read More >>

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

Foundations of Computation Theory: Proceedings of the...
Author: M. Karpinski ISBN: 9783540126898 Format: Paperback	$113.52
Read More >>

The Design of Dynamic Data Structures

The Design of Dynamic Data Structures
Author: Mark H. Overmars ISBN: 9783540123309 Format: Paperback	$131.87
Read More >>

Mathematical Programming the State of the Art: Bonn 1982

Mathematical Programming the State of the Art: Bonn...
Author: Achim Bachem , Martin Grotschel ISBN: 9783540120827 Format: Hardback	$475.20
In the late forties, Mathematical Programming became a scientific discipline in its own right. Since then it has... Read More >>

Introduction to Numerical Computation in Pascal

Introduction to Numerical Computation in Pascal
Author: DEW/JAMES , Dew/James ISBN: 9780387912165 Format: Hardback	$95.04
Our intention in this book is to cover the core material in numerical analysis normally taught to students on degree... Read More >>

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium...
Author: J. Diaz ISBN: 9783540123170 Format: Paperback	$117.48
Read More >>

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Automation of Reasoning: Classical Papers on Computational...
Author: Jorg Siekmann , Graham Wrightson ISBN: 9783540120438 Format: Hardback	$308.88
""Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl"" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer... Read More >>

Automation of Reasoning: Classical Papers on Computational Logic 1967-1970

Automation of Reasoning: Classical Papers on Computational...
Author: Jorg Siekmann , Graham Wrightson ISBN: 9783540120445 Format: Hardback	$308.88
""Kind of crude, but it works, boy, it works!"" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program... Read More >>

Fernsehüberwachung von Schutzgasschweißvorgängen mit abschmelzender Elektrode MIG — MAG

Fernsehüberwachung von Schutzgasschweißvorgängen mit...
Author: R. Niepold , Ruprecht Niepold ISBN: 9783540121817 Format: Paperback	$66.00
Die vor1iegende Arbeit entstand von 1977 - 1980 im Fraunhofer-Institut fUr Informations- und Datenverarbeitung (IITB),... Read More >>

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980

Logics of Programs and Their Applications: Proceedings,...
Author: A. Salwicki ISBN: 9783540119814 Format: Paperback	$71.28
Read More >>

Elliptische Integrale für TI-58/59: Mathematische Routinen der Physik, Chemie und Technik Teil III

Elliptische Integrale für TI-58/59: Mathematische Routinen...
Author: Peter Kahlig ISBN: 9783528042134 Format: Paperback	$184.77
Der vorliegende Band beschiiftigt sich mit der Gewinnung von Zahlenwerten zu elliptischen Integralen erster und... Read More >>

Theta-Funktionen und elliptische Funktionen für TI-59: Mathematische Routinen der Physik, Chemie und Technik Teil IV

Theta-Funktionen und elliptische Funktionen für TI-59:...
Author: Peter Kahlig ISBN: 9783528042165 Format: Paperback	$158.37
Die speziellen Funktionen, insbesondere die elliptischen Funktionen, hatten in Physik und Technik stets ungeheure... Read More >>

Grundzüge der Datenverarbeitung: Methoden und Konzepte für die Anwendungen

Grundzüge der Datenverarbeitung: Methoden und Konzepte...
Author: Kurt Bauknecht , Carl August Zehnder ISBN: 9783519124504 Format: Paperback	$158.37
Die Datenverarbeitung spielt seit vie len Jahren eine wesentliche Rolle in einer Vielzahl von Anwendungen in Dienstleistung,... Read More >>

The Evolution of Programs

The Evolution of Programs
Author: DERSHOWITZ , Nachum Dershowitz (Tel-Aviv University University of Illinois, Urbana-Champaign Tel-Aviv University Tel-Aviv University University of Illinois, Urbana-Champaign Tel-Aviv University) ISBN: 9780817631710 Format: Paperback	$116.03
The synthesis rules may be used when a program is first being developed, or when, in the course of modifying a program,... Read More >>

Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983

Theoretical Computer Science: 6th GI-Conference Dortmund,...
Author: A.B. Cremers , H.-P. Kriegel ISBN: 9783540119739 Format: Paperback	$168.83
Read More >>

Rechnerunterstützte Gestaltung ortsgebundener Montagearbeitsplätze, dargestellt am Beispiel kleinvolumiger Produkte

Rechnerunterstützte Gestaltung ortsgebundener Montagearbeitsplätze,...
Author: E. Haller ISBN: 9783540120155 Format: Paperback	$58.34
Die vorliegende Dissertation entstand wahrend meiner Tatig- keit als wissenschaftlicher Mitarbeiter am Institut... Read More >>

Algorithmic Language and Program Development

Algorithmic Language and Program Development
Author: H. Partsch , F.L. Bauer ISBN: 9783540111481 Format: Hardback	$229.55
The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. The notation used in this book... Read More >>

GI-12. Jahrestagung: Kaiserslautern, 5.–7. Oktober 1982 Proceedings

GI-12. Jahrestagung: Kaiserslautern, 5.–7. Oktober 1982...
Author: J. Nehmer ISBN: 9783540116097 Format: Paperback	$189.95
Jahrestagung der Gesellschaft für Informatik an der Univer sität Kaiserslautern steht unter dem thematischen Schwerpunkt... Read More >>

Simulationstechnik: 1. Symposium Simulationstechnik Erlangen, 26. – 28. April 1982 Proceedings

Simulationstechnik: 1. Symposium Simulationstechnik...
Author: M. Goller ISBN: 9783540116059 Format: Paperback	$126.72
Die 56 Beiträge des vorliegenden Bandes enthalten die Hauptvorträge, die Beschreibung der beim Symposium verfügbaren... Read More >>

Informatik: Eine einführende Übersicht Erster Teil

Informatik: Eine einführende Übersicht Erster Teil
Author: F. L. Bauer , G. Goos ISBN: 9783540063322 Format: Paperback	$184.77
Neben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens,... Read More >>

Pascal für Mikrocomputer

Pascal für Mikrocomputer
Author: K. L. Bowles , A. Kleine ISBN: 9783540113911 Format: Paperback	$118.80
Dieses Buch ist für Anfängerkurse bestimmt und soll helfen, Probleme mitHilfe des Rechners zu lösen. Es ist für... Read More >>

Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

Automata, Languages and Programming: Ninth Colloquium...
Author: M. Nielsen , E. M. Schmidt ISBN: 9783540115762 Format: Paperback	$72.86
Read More >>

An Attribute Grammar for the Semantic Analysis of ADA

An Attribute Grammar for the Semantic Analysis of ADA...
Author: J. Uhl , Sophia Drossopoulou ISBN: 9783540115717 Format: Paperback	$63.36
Read More >>

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982

6th Conference on Automated Deduction: New York, USA,...
Author: Donald W. Loveland ISBN: 9783540115588 Format: Paperback	$52.80
Read More >>

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981

Program Specification: Proceedings of a Workshop Aarhus,...
Author: J. Staunstrup , Workshop On Program Specification ISBN: 9783540114901 Format: Paperback	$184.67
Read More >>

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

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