Mathematical theory of computation books

11108 books were found.

Algorithms - ESA '98: 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings

Algorithms - ESA '98: 6th Annual European Symposium,...
Author: Gianfranco Bilardi , Giuseppe F. Italiano ISBN: 9783540648482 Format: Paperback	$250.80
Read More >>

Open Security: Von den Grundlagen zu den Anwendungen

Open Security: Von den Grundlagen zu den Anwendungen...
Author: Stephan Fischer , Achim Steinacker ISBN: 9783540646549 Format: Paperback	$76.40
Ausgehend von den Grundlagen der Netzwerksicherheit stellen die Autoren die unterschiedlichen Sicherheitsaspekte... Read More >>

Solving Irregularly Structured Problems in Parallel: 5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings

Solving Irregularly Structured Problems in Parallel:...
Author: Afonso Ferreira , Jose Rolim ISBN: 9783540648093 Format: Paperback	$218.99
Read More >>

Computing and Combinatorics: 4th Annual International Conference, COCOON’98, Taipei, Taiwan, R.o.C., August 12–14, 1998

Computing and Combinatorics: 4th Annual International...
Author: Wen-Lian Hsu , Ming-Yang Kao ISBN: 9783540648246 Format: Paperback	$145.17
The papers in this volume were selected for presentation at the Fourth Annual International Computing and Combinatorics... Read More >>

Invitation to Discrete Mathematics

Invitation to Discrete Mathematics
Author: Jiri Matousek , Jaroslav Nesetril ISBN: 9780198502081 Format: Hardback	$382.80
This is an introduction and a comprehensive textbook for courses in combinatorics and graph theory. It also contains... Read More >>

Mathematical Control Theory: Deterministic Finite Dimensional Systems

Mathematical Control Theory: Deterministic Finite Dimensional...
Author: Eduardo D. Sontag ISBN: 9780387984896 Format: Hardback	$261.36
This textbook introduces the basic concepts and results of mathematical control and system theory. Read More >>

Macsyma 2.3: Lite - the Student Edition

Macsyma 2.3: Lite - the Student Edition
Author: Macsyma, Inc, Arlington, Massachusetts, USA ISBN: 9783540147039 Format: Mixed media product	$161.17
Macsyma mathematical software combines symbolic and numerical mathematics, interactive graphics, scientific notebooks,... Read More >>

Combinatorial Pattern Matching: 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings

Combinatorial Pattern Matching: 9th Annual Symposium,...
Author: Martin Farach-Colton ISBN: 9783540647393 Format: Paperback	$184.67
Read More >>

Introduction To Quantum Computers

Introduction To Quantum Computers
Author: Gennady P Berman (Los Alamos National Laboratory, Usa & New Mexico Consortium, Usa) , Gary D Doolen (Los Alamos Nat'l Lab, Usa) ISBN: 9789810235499 Format: Paperback	$82.80
Quantum computing promises to solve problems which are intractable on digital computers. This book explains how... Read More >>

Introduction To Quantum Computers

Introduction To Quantum Computers
Author: Gennady P Berman (Los Alamos National Laboratory, Usa & New Mexico Consortium, Usa) , Gary D Doolen (Los Alamos Nat'l Lab, Usa) ISBN: 9789810234904 Format: Hardback	$102.96
Quantum computing promises to solve problems which are intractable on digital computers. This book explains how... Read More >>

Approximation Algorithms for Combinatorial Optimization: International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings

Approximation Algorithms for Combinatorial Optimization:...
Author: Klaus Jansen , Jose Rolim ISBN: 9783540647362 Format: Paperback	$171.47
Read More >>

Invitation to Discrete Mathematics

Invitation to Discrete Mathematics
Author: Jiri Matousek , Jaroslav Nesetril ISBN: 9780198502074 Format: Paperback	$120.00
Invitation to Discrete Mathematics is an introduction and a textbook for courses in combinatorics and graph theory.... Read More >>

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Cafeobj Report: The Language, Proof Techniques, And...
Author: Razvan Diaconescu (Romanian Academy, Romania) , Kokichi Futatsugi (Jaist, Japan) ISBN: 9789810235130 Format: Hardback	$121.44
CafeOBJ is an industrial strength modern algebraic specification language. This book presents not only the formal... Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9780792351290 Format: Hardback	$789.36
rather the books present the concepts and methods now available in automated deduction in a form which can be... Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9780792351306 Format: Hardback	$765.60
BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of... Read More >>

Algorithm Theory - SWAT'98: 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings

Algorithm Theory - SWAT'98: 6th Scandinavian Workshop...
Author: Stefan Arnborg , Lars Ivansson ISBN: 9783540646822 Format: Paperback	$197.87
Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9780792351320 Format: Book	$1135.20
rather the books present the concepts and methods now available in automated deduction in a form which can be... Read More >>

Cnn: A Paradigm For Complexity

Cnn: A Paradigm For Complexity
Author: Leon O Chua (Univ Of California, Berkeley, Usa) ISBN: 9789810234836 Format: Hardback	$335.81
This treatise presents a new paradigm of emergence and complexity, with applications drawn from numerous disciples,... Read More >>

Computer - Human Interaction in Symbolic Computation

Computer - Human Interaction in Symbolic Computation...
Author: Norbert Kajler , D.S. Scott ISBN: 9783211828434 Format: Paperback	$250.80
The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion... Read More >>

Introduction To Formal Languages And Machine Computation, An

Introduction To Formal Languages And Machine Computation,...
Author: Song Y Yan (Aston Univ, Uk) ISBN: 9789810234225 Format: Paperback	$147.84
Read More >>

Introduction To Formal Languages And Machine Computation, An

Introduction To Formal Languages And Machine Computation,...
Author: Song Y Yan (Aston Univ, Uk) ISBN: 9789810221676 Format: Hardback	$295.68
Read More >>

Algorithmic Number Theory: Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings

Algorithmic Number Theory: Third International Symposium,...
Author: Joe P. Buhler ISBN: 9783540646570 Format: Paperback	$266.64
This book constitutes the refereed proceedings of the Third International Symposium on Algorithmic Number Theory,... Read More >>

Integer Programming and Combinatorial Optimization: 6th International IPCO Conference Houston, Texas, June 22–24, 1998 Proceedings

Integer Programming and Combinatorial Optimization:...
Author: Robert E. Bixby , Andrew E. Boyd ISBN: 9783540645900 Format: Paperback	$145.17
A collection of papers from the Sixth International Conference on Integer Programming and Combinatorial Optimization.... Read More >>

Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings

Application and Theory of Petri Nets 1998: 19th International...
Author: Jörg Desel , Manuel Silva ISBN: 9783540646778 Format: Paperback	$211.07
This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri... Read More >>

Scientific Computing: Proceedings of the Workshop, 10 - 12 March 1997, Hong Kong

Scientific Computing: Proceedings of the Workshop, 10...
Author: Gene H. Golub , Lui Shui-Hong ISBN: 9789813083608 Format: Paperback	$340.56
Read More >>

Page 393 of 445 ... 388 389 390 391 392 393 394 395 396 397 ...

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