Artículos relacionados a Automata, Computability and Complexity: Theory and...

Automata, Computability and Complexity: Theory and Applications - Tapa dura

 
9780132288064: Automata, Computability and Complexity: Theory and Applications

Sinopsis

The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems. The goal of this book is to change that. The book is organized into a core set of chapters (that cover the standard material suggested by the title), followed by a set of appendix chapters that highlight application areas including programming language design, compilers, software verification, networks, security, natural language processing, artificial intelligence, game playing, and computational biology.

 

The core material includes discussions of finite state machines, Markov models, hidden Markov models (HMMs), regular expressions, context-free grammars, pushdown automata, Chomsky and Greibach normal forms, context-free parsing, pumping theorems for regular and context-free languages, closure theorems and decision procedures for regular and context-free languages, Turing machines, nondeterminism, decidability and undecidability, the Church-Turing thesis, reduction proofs, Post Correspondence problem, tiling problems, the undecidability of first-order logic, asymptotic dominance, time and space complexity, the Cook-Levin theorem, NP-completeness, Savitch's Theorem, time and space hierarchy theorems, randomized algorithms and heuristic search. Throughout the discussion of these topics there are pointers into the application chapters. So, for example, the chapter that describes reduction proofs of undecidability has a link to the security chapter, which shows a reduction proof of the undecidability of the safety of a simple protection framework.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Elaine Rich received her Ph.D. in Computer Science from Carnegie-Mellon in 1979.  Her thesis, Building and Exploiting User Models, laid the groundwork for the next twenty years of work on personalizing information systems to meet the needs of individual users.  Over twenty years later, she still gets requests for her thesis and the papers based on it.

 

Dr. Rich joined the UT CS faculty in 1979.  She continued her work in the area of human/machine interfaces, with a focus on the use of knowledge-based systems.  She was PI on an NSF grant, "Individual Models in Computer Systems", $56,000, NSF, 1980, which supported that work.  She was also co-PI on two other grants while at UT: "An Experimental Computing Facility to Support the Design and Analysis of Reliable, High Performance Computing Systems", with J. C. Browne, A. G. Dale, D. I. Good, and A. Silberschatz, $3,700,000, NSF, 1982 and "Support for an AI Laboratory", with G. Novak, R. Simmons, and V. Kumar, $1,300,000, Army Research Office, 1984.  The $3.7M NSF grant is particularly significant.  It supported, for the first time in our department's history, a significant investment in the computing and networking infrastructure required to enable research groups to cooperate in work that required building large software systems.

 

In 1985, Dr. Rich left UT for the Microelectronic and Computing Technology Corporation (MCC).  She served first as a Member of the Technical Staff, then Associate Director of the Human Interface Lab, then Director of the Artificial Intelligence Lab.  At MCC, she was responsible for attracting and maintaining support, from MCC's corporate shareholders, for the research projects in her lab.  Dr. Rich was responsible for setting research agendas, for enabling technology transfer from MCC to the shareholder companies, and for managing the lab's annual budgets (between $1M and $3M per year).

 

In 1998, Dr. Rich returned to the CS department at UT Austin as a Senior Lecturer.  She has taught Automata Theory, Artificial Intelligence, and Natural Language Processing.  She served for two years as Associate Chair for Academic Affairs in the department.  During that time, she oversaw a major redesign of the undergraduate curriculum, as well as the launch of several new programs including Turing Scholars, an undergraduate honors program and First Bytes, a summer camp for high school girls to encourage their interest in computer science.

 

In 1983, Dr. Rich published her textbook, Artificial Intelligence, from which at least a decade of the world's computer scientists learned AI.  The book was translated into Japanese, French, Spanish, German, Italian and Portugese.  In 1991, with Kevin Knight, she published a second edition.  The two editions have sold over 250,000 copies.

 

Dr. Rich has published nine book chapters and 24 refereed papers.   She has served as Editor of AI Magazine and on the editorial boards of Artificial Intelligence Review, The Knowledge Engineering Review, User Modeling and User-Adapted Interaction, and Applied Intelligence.  She has served on numerous review panels for NSF and on the Discipline Advisory Committee of the Council of International Exchange of Scholars.  In 1991, she was elected a Fellow of the American Association for Artificial Intelligence.

 

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Aceptable
Connecting readers with great books...
Ver este artículo

EUR 3,20 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 3,67 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9780132346177: Automata, Computability and Complexity

Edición Destacada

ISBN 10:  0132346176 ISBN 13:  9780132346177
Editorial: pearson international, 2009
Tapa blanda

Resultados de la búsqueda para Automata, Computability and Complexity: Theory and...

Imagen de archivo

Rich, Elaine A.
Publicado por Pearson, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Antiguo o usado Tapa dura

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_443743808

Contactar al vendedor

Comprar usado

EUR 9,59
Convertir moneda
Gastos de envío: EUR 3,20
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Rich, Elaine A.
Publicado por Pearson, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Antiguo o usado Tapa dura

Librería: Swan Trading Company, GEORGETOWN, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

hardcover. Condición: Good. Hardcover shows moderate cover wear. Text is unmarked. Ships FAST! Nº de ref. del artículo: 2508090003

Contactar al vendedor

Comprar usado

EUR 14,89
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Rich, Elaine A.
Publicado por Pearson, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Antiguo o usado Tapa dura

Librería: Big River Books, Powder Springs, GA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting. Nº de ref. del artículo: BRV.0132288060.G

Contactar al vendedor

Comprar usado

EUR 13,10
Convertir moneda
Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Rich, Elaine A.
Publicado por Pearson, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Antiguo o usado Tapa dura Original o primera edición

Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

hardcover. Condición: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Nº de ref. del artículo: 000856726U

Contactar al vendedor

Comprar usado

EUR 33,49
Convertir moneda
Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen de archivo

Rich, Elaine A.
Publicado por Pearson, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Nuevo Tapa dura

Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0132288060

Contactar al vendedor

Comprar nuevo

EUR 106,92
Convertir moneda
Gastos de envío: EUR 3,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Rich, Elaine A.
Publicado por Pearson, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Nuevo Tapa dura

Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-0132288060

Contactar al vendedor

Comprar nuevo

EUR 111,26
Convertir moneda
Gastos de envío: EUR 5,93
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Elaine A. Rich
Publicado por Prentice Hall, 2007
ISBN 10: 0132288060 ISBN 13: 9780132288064
Nuevo Tapa dura

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Brand New. 1st edition. 1099 pages. 9.50x7.25x1.75 inches. In Stock. Nº de ref. del artículo: 0132288060

Contactar al vendedor

Comprar nuevo

EUR 152,55
Convertir moneda
Gastos de envío: EUR 28,67
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito