Mathematical theory of computation books

11108 books were found.

SQL-Anfragen: Optimierung für parallele Bearbeitung

SQL-Anfragen: Optimierung für parallele Bearbeitung...
Author: Günter v. Bültzingsloewen , G Von B'Ultzingsloewen ISBN: 9783540542520 Format: Paperback	$81.71
Immer komplexere Anwendungen stellen steigende Leistungsanforderungen an relationale Datenbanksysteme. Um diese... Read More >>

The Use of Projective Geometry in Computer Graphics

The Use of Projective Geometry in Computer Graphics...
Author: Ivan Herman ISBN: 9783540550754 Format: Paperback	$105.47
Read More >>

Turbo-Pascal für Ingenieure: Eine Einführung mit Anwendungen aus Naturwissenschaft und Technik

Turbo-Pascal für Ingenieure: Eine Einführung mit Anwendungen...
Author: Hering Ekbert ISBN: 9783528144791 Format: Paperback	$158.37
4 Tabelle 1-1 Dateitypen in Turbo Pascal Abkiirzung Dateityp . BAK Sicherungskopie (BACK UP) . BGI Turbo Pascal... Read More >>

Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker
Author: Dirk Siefkes ISBN: 9783528147570 Format: Paperback	$197.97
Read More >>

Vieweg-Software-Trainer Windows 3. 1

Vieweg-Software-Trainer Windows 3. 1
Author: Jürgen Burberg , Jurgen Burberg ISBN: 9783528052201 Format: Paperback	$158.37
Vorwort Die Erfolge früher Computersysteme der Hersteller Apple (LisaundMaclntosh), Atari(STusw.)oodCommodore(Amiga),... Read More >>

Mathematische Modellierung: Laster, Busse und Schweine im Mathematikstudium

Mathematische Modellierung: Laster, Busse und Schweine...
Author: Ulrich Knauer , Ulrich Knauer ISBN: 9783528064341 Format: Paperback	$158.37
EinfUhrung in die konkreten Probleme In diesem Band sind drei Beriehte Uber Modellierungs- projekte gesammelt. In... Read More >>

Einführung in die klassische und intensionale Logik

Einführung in die klassische und intensionale Logik...
Author: Ulf Friedrichsdorf ISBN: 9783528064891 Format: Paperback	$197.97
Read More >>

Formale Programmentwicklung mit dynamischer Logik

Formale Programmentwicklung mit dynamischer Logik
Author: Maritta Heisel ISBN: 9783824420315 Format: Paperback	$119.00
Read More >>

Vieweg Profi-Software WESTgraf: GKS für professionelle Grafik mit C

Vieweg Profi-Software WESTgraf: GKS für professionelle...
Author: Bernhard Stauss ISBN: 9783528052157 Format: Paperback	$158.37
Fur ein von uns entwickeltes Programmpaket zur Aufnahme und Auswertung von MeBwerten suchten wir nach einer geeigneten... Read More >>

Modellbildung und Simulation: Konzepte, Verfahren und Modelle zum Verhalten dynamischer Systeme

Modellbildung und Simulation: Konzepte, Verfahren und...
Author: Hartmut Bossel ISBN: 9783528052423 Format: Paperback	$184.67
Read More >>

Greedoids

Greedoids
Author: B. Korte (University of Bonn, Germany) , L. Lovasz (University of Budapest, Hungary) ISBN: 9783540181903 Format: Hardback	$356.40
This monograph attempts to unify different mathematical approaches and to lead the reader from fundamental results... Read More >>

Engineering Mathematics with Mathematica

Engineering Mathematics with Mathematica
Author: John S. Robertson ISBN: 9780070531710 Format: Paperback	$36.96
A text covering topics found in courses on ordinary and partial differential equations, vector analysis, and applied... Read More >>

Representation and Control of Infinite Dimensional Systems

Representation and Control of Infinite Dimensional Systems...
Author: Alain Bensoussan , G. Da Prato ISBN: 9780817636418 Format: Hardback	$261.36
The second part of a two-volume work, presenting an account of the theory of quadratic cost optimal control for... Read More >>

Words, Languages And Combinatorics - Proceedings Of The International Conference

Words, Languages And Combinatorics - Proceedings Of...
Author: Masami Ito (Kyoto Sangyo Univ, Japan) ISBN: 9789810206451 Format: Hardback	$578.16
Covers topics from mathematics and computer science, including codes, free monoids, transformation semigroups, automata,... Read More >>

Cryptography and Coding

Cryptography and Coding
Author: Chris Mitchell ISBN: 9780198533931 Format: Hardback	$260.00
Cryptography (the science of secret writing) and coding theory (concerned with information integrity) are closely... Read More >>

Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13–15, 1991

Algebraic Computing in Control: Proceedings of the First...
Author: Gerard Jacob , Francoise Lamnabhi-Lagarrigue ISBN: 9783540544081 Format: Paperback	$250.80
These papers, the proceedings of the First European Conference in Algebraic Computing and Control held in Paris,... Read More >>

A Resolution Principle for a Logic with Restricted Quantifiers

A Resolution Principle for a Logic with Restricted Quantifiers...
Author: Hans-Jürgen Bürckert ISBN: 9783540550341 Format: Paperback	$131.87
This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted... Read More >>

Algebraic Specification Techniques in Object Oriented Programming Environments

Algebraic Specification Techniques in Object Oriented...
Author: Ruth Breu ISBN: 9783540549727 Format: Paperback	$152.99
The main aim of this monograph is to provide a framework forthe integrated design of object-oriented programs withalgebraic... Read More >>

Computer Algebra In Physical Research: Memorial Volume For N N Govorun - Proceedings Of The Iv International Conference

Computer Algebra In Physical Research: Memorial Volume...
Author: V A Rostovtsev (.) , Dmitri V Shirkov (Jinr, Dubna, Russia) ISBN: 9789810206871 Format: Hardback	$443.52
These are the proceedings of a meeting that presented scientific results, plans for research facilities, and status... Read More >>

Fundamental Algorithms for Permutation Groups

Fundamental Algorithms for Permutation Groups
Author: Gregory Butler ISBN: 9783540549550 Format: Paperback	$184.67
Read More >>

ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings

ISA '91 Algorithms: 2nd International Symposium on Algorithms,...
Author: Wen-Lian Hsu , R.C.T. Lee ISBN: 9783540549451 Format: Paperback	$197.87
This volume presents the proceedings of the Second AnnualInternational Symposium on Algorithms held at AcademiaSinica,... Read More >>

Semantics of Type Theory: Correctness, Completeness and Independence Results

Semantics of Type Theory: Correctness, Completeness...
Author: T. Streicher ISBN: 9780817635947 Format: Hardback	$409.20
Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides... Read More >>

Fundamental Algorithms for Computer Graphics: NATO Advanced Study Institute directed by J.E. Bresenham, R.A. Earnshaw, M.L.V. Pitteway

Fundamental Algorithms for Computer Graphics: NATO Advanced...
Author: J.E. Bresenham , Rae Earnshaw ISBN: 9783540543978 Format: Paperback	$211.07
Algorithms provide the basic foundation for allcomputational processes. This volume presents algorithms atthe... Read More >>

Degeneracy Graphs and Simplex Cycling

Degeneracy Graphs and Simplex Cycling
Author: Peter Zörnig ISBN: 9783540545934 Format: Paperback	$158.27
This monograph offers information on the theory of degeneracy graphs, paving the way for an understanding of further... Read More >>

Computational Geometry - Methods, Algorithms and Applications: International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, 1991. Proceedings

Computational Geometry - Methods, Algorithms and Applications:...
Author: Hanspeter Bieri , Hartmut Noltemeier ISBN: 9783540548911 Format: Paperback	$179.39
This volume presents the proceedings of the Seventh International Workshop on Computational Geometry. Topics include:... Read More >>

Page 422 of 445 ... 417 418 419 420 421 422 423 424 425 426 ...

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