Mathematical theory of computation books

11107 books were found.

The Finite Element Method Using MATLAB

The Finite Element Method Using MATLAB
Author: Young W. Kwon , Hyochoong Bang (Korea Aerospace Research Institute, Taejon, Korea) ISBN: 9780849300967 Format: Hardback	$347.00
Read More >>

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Theorem Proving in Higher Order Logics: 13th International...
Author: Mark Aagaard , John Harrison ISBN: 9783540678632 Format: Paperback	$237.47
Read More >>

Artificial Evolution: 4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers

Artificial Evolution: 4th European Conference, AE'99...
Author: Cyril Fonlupt , Jin-Kao Hao ISBN: 9783540678465 Format: Paperback	$184.67
The Arti?cial Evolution conference was originally conceived as a forum for the French-speaking Evolutionary Computation... Read More >>

Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings

Recent Advances in AI Planning: 5th European Conference...
Author: Susanne Biundo , Maria Fox ISBN: 9783540678663 Format: Paperback	$197.87
The papers address aspects of AI planning and scheduling. Several planning paradigms are represented, including... Read More >>

Dynamical Systems: From Crystal To Chaos, Conference In Honor Of Gerard Rauzy On His 60th Birthday

Dynamical Systems: From Crystal To Chaos, Conference...
Author: J-m Gambaudo (Univ De Bourgogne, France) , P Hubert (Inst. De Mathematiques De Luminy) ISBN: 9789810242176 Format: Hardback	$274.56
The contributions to this volume focus on the interactions between discrete and geometric dynamical systems, and... Read More >>

Automata and Languages: Theory and Applications

Automata and Languages: Theory and Applications
Author: Alexander Meduna ISBN: 9781852330743 Format: Paperback	$512.16
Read More >>

Mathematics Mechanization and Applications

Mathematics Mechanization and Applications
Author: Dongming Wang (Laboratoire LEIBNIZ Institut IMAG, France) , Xiao-Shan Gao (Institute of Systems Science, Academica Sinica, China) ISBN: 9780127347608 Format: Hardback	$554.40
This is a presentation of major developments, carried out mostly in Chinese research groups, on algorithms and software... Read More >>

Grundlagen der Computerlinguistik: Mensch-Maschine-Kommunikation in natürlicher Sprache

Grundlagen der Computerlinguistik: Mensch-Maschine-Kommunikation...
Author: Roland R. Hausser ISBN: 9783540671879 Format: Paperback	$115.84
Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit... Read More >>

Computing and Combinatorics: 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 Proceedings

Computing and Combinatorics: 6th Annual International...
Author: Ding-Zhu Du , Peter Eades ISBN: 9783540677871 Format: Paperback	$237.47
Read More >>

The Computer and the Brain

The Computer and the Brain
Author: John Von Neumann , Paul M. Churchland (Professor of Philosophy, University of California, USA) ISBN: 9780300084733 Format: Paperback	$29.04
This work represents the views of a mathematician on the analogies between computing machines and the living human... Read More >>

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Automata, Languages and Programming: 27th International...
Author: Ugo Montanari , Jose D.P. Rolim ISBN: 9783540677154 Format: Paperback	$293.04
This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming,... Read More >>

A Graphic Apology for Symmetry and Implicitness

A Graphic Apology for Symmetry and Implicitness
Author: Alessandra Carbone (Department of Mathematics and Computer Science, Department of Mathematics and Computer Science, University of Paris XII) , Stephen Semmes (Department of Mathematics, Department of Mathematics, Rice University, Houston) ISBN: 9780198507291 Format: Hardback	$312.95
Succinct representation and fast access to large amounts of data are challenges of our time. This unique book suggests... Read More >>

Computational Methods for Electromagnetic and Optical Systems

Computational Methods for Electromagnetic and Optical...
Author: Partha P. Banerjee (University of Dayton, Ohio, USA) , John M. Jarem (University of Alabama, Huntsville, USA) ISBN: 9780824779160 Format: Hardback	$395.87
Introduces and examines a variety of spectral computational techniques - including k-space theory, Floquet theory... Read More >>

Projects in Scientific Computation

Projects in Scientific Computation
Author: Richard E. Crandall ISBN: 9780387950099 Format: Paperback	$261.36
This interdisciplinary book provides a compendium of projects, together with a large number of example programs... Read More >>

Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings

Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop...
Author: Magnus M. Halldorsson ISBN: 9783540676904 Format: Paperback	$261.36
Read More >>

Completeness and Reduction in Algebraic Complexity Theory

Completeness and Reduction in Algebraic Complexity Theory...
Author: Peter Bürgisser ISBN: 9783540667520 Format: Hardback	$446.16
In 1989, Blum, Shub, and Smale [12] combined existing algebraic models of computation with the concept of uniformity... Read More >>

Realzeit-Programmierung

Realzeit-Programmierung
Author: Ataeddin Ghassemi-Tabrizi ISBN: 9783540671213 Format: Paperback	$127.43
Das Buch führt in die verschiedenen Techniken der Realzeit- und Parallel-Programmierung ein. Besonderes Gewicht... Read More >>

Combinatorial Pattern Matching: 11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings

Combinatorial Pattern Matching: 11th Annual Symposium....
Author: Raffaele Giancarlo , David Sankoff ISBN: 9783540676331 Format: Paperback	$218.99
Read More >>

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Automated Deduction - CADE-17: 17th International Conference...
Author: David McAllester ISBN: 9783540676645 Format: Paperback	$237.47
Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions,... Read More >>

Computational Intelligence in Data Mining

Computational Intelligence in Data Mining
Author: Giacomo Della Riccia , Rudolf Kruse ISBN: 9783211833261 Format: Paperback	$179.39
The book aims to merge Computational Intelligence with Data Mining, which are both hot topics of current research... Read More >>

Generalized Linear Models: A Bayesian Perspective

Generalized Linear Models: A Bayesian Perspective
Author: Dipak K. Dey , Sujit K. Ghosh ISBN: 9780824790349 Format: Hardback	$273.00
Read More >>

NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks: IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings

NETWORKING 2000. Broadband Communications, High Performance...
Author: Guy Pujolle , Harry Perros ISBN: 9783540675068 Format: Paperback	$419.76
This was the first conference jointly organized by the IFIP Working Groups 6. In view of the three sponsoring Working... Read More >>

Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Algebraic Methodology and Software Technology: 8th International...
Author: Teodor Rus ISBN: 9783540675303 Format: Paperback	$261.36
Read More >>

Abduction and Induction: Essays on their Relation and Integration

Abduction and Induction: Essays on their Relation and...
Author: P.A. Flach , Antonis Hadjiantonis ISBN: 9780792362500 Format: Hardback	$578.16
The papers collected here address the relationship between abduction and induction and their possible integration.... Read More >>

Digitale Wasserzeichen: Grundlagen, Verfahren, Anwendungsgebiete

Digitale Wasserzeichen: Grundlagen, Verfahren, Anwendungsgebiete...
Author: Jana Dittmann ISBN: 9783540666615 Format: Paperback	$137.28
Read More >>

Page 384 of 445 ... 379 380 381 382 383 384 385 386 387 388 ...

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