Theory of Computation

Theory of Computation

Bibliographic Details
Published in:	Springer e-books
Main Author:	Kozen, Dexter C.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer-Verlag London Limited, 2006.
Series:	Texts in Computer Science
Subjects:	Computer Science Computer sciencexMathematics Computer software Information theory Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computational Mathematics and Numerical Analysis Computational Science and Engineering Theory of Computation
Online Access:	http://dx.doi.org/10.1007/1-84628-477-5 Перейти в каталог НБ ТГУ

Similar Items

Effective Computational Geometry for Curves and Surfaces
by: Boissonnat, Jean-Daniel
Published: (2006)

High Performance Computing in Science and Engineering' 05 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005 /
by: Nagel, Wolfgang E.
Published: (2006)

Automatic Differentiation: Applications, Theory, and Implementations
by: Bücker, Martin
Published: (2006)

The Mathematica GuideBook for Numerics
by: Trott, Michael
Published: (2006)

The Calculus of Computation Decision Procedures with Applications to Verification /
by: Bradley, Aaron R.
Published: (2007)

Nonsmooth Mechanics and Analysis Theoretical and Numerical Advances /
by: Alart, P.
Published: (2006)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
by: Cai, Jin-Yi
Published: (2007)

Computer Science вЂ" Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
by: Diekert, Volker
Published: (2007)

Computer Science вЂ" Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings /
by: Hirsch, Edward A.
Published: (2008)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity /
by: Rothe, Jörg
Published: (2005)

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
by: Cai, Jin-Yi
Published: (2006)

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
by: Grigoriev, Dima
Published: (2006)

Mathematics of Large Eddy Simulation of Turbulent Flows
by: Berselli, Luigi C.
Published: (2006)

Parameterized Complexity Theory
by: Flum, Jörg
Published: (2006)

Combinatorial Optimization in Communication Networks
by: Cheng, Maggie Xiaoyan
Published: (2006)

Inverse Problems for Partial Differential Equations
by: Isakov, Victor
Published: (2006)

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, XiвЂ™an, China, April 25-29, 2008. Proceedings /
by: Agrawal, Manindra
Published: (2008)

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers /
Published: (2013)

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers /
by: Hutchison, David
Published: (2008)

Analysis, Modeling and Simulation of Multiscale Problems
by: Mielke, Alexander
Published: (2006)

Geometric Properties for Incomplete data
by: Klette, Reinhard
Published: (2006)

Super-Recursive Algorithms
by: Burgin, Mark
Published: (2005)

Global Optimization Scientific and Engineering Case Studies /
by: Pintér, János D.
Published: (2006)

Numerical Solution of Partial Differential Equations on Parallel Computers
by: Bruaset, Are Magnus
Published: (2006)

Quantum Computation and Information From Theory to Experiment /
by: Imai, Hiroshi
Published: (2006)

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
Published: (2014)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies /
by: Zomaya, Albert Y.
Published: (2006)

The Foundations of Computability Theory
by: Robič, Borut
Published: (2015)

Variational Problems in Materials Science
by: Maso, Gianni
Published: (2006)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
by: Hromkovič, Juraj
Published: (2005)

Classification Algorithms for Codes and Designs
by: Kaski, Petteri
Published: (2006)

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Published: (2014)

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Nonlinear Ill-posed Problems of Monotone Type
by: Alber, Yakov
Published: (2006)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
by: Cooper, Barry S.
Published: (2005)

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
by: Cooper, S. Barry
Published: (2007)

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
by: Beckmann, Arnold
Published: (2006)

Open Problems in Mathematics and Computational Science
Published: (2014)

Handbook on Modelling for Discrete Optimization
by: Appa, Gautam
Published: (2006)

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by: Avron, Arnon
Published: (2008)