Automata, Computability and Complexity: Theory and Applications
Language: English
Published by Pearson Education (US), 2007
- Hardcover
- Used

Seller: Studibuch, Stuttgart, GermanyStudibuch
AbeBooks seller since April 24, 2018
Condition: Used - Very good
US$ 24.08
Quantity: 1 available
Add to basketItem description from seller
1120 Seiten; 9780132288064.3 Gewicht in Gramm: 3.
Seller Inventory # 592057
- Title
- Automata, Computability and Complexity: Theory and Applications
- Author
- Rich Elaine, A.:
- Publisher
- Pearson Education (US)
- Publication year
- 2007
- Condition
- Gut
- Binding
- hardcover
- Language
- English
- ISBN 10
- 0132288060
- ISBN 13
- 9780132288064
- Item weight
- 3 grams
- Seller catalogs
- Varia
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.
"Synopsis" may belong to another edition of this title.
About the Author
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.
"About the title" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 10 to 21 business days | 10 to 21 business days |
|---|---|---|
| First item | US$ 70.91 | US$ 87.98 |
Payment methods
- Check
Store description
Studibuch ist ein Onlineshop für Studien- und Fachbücher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. Bücher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollständig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalität setzt. Wenn Du selbst noch gebrauchte Fachbücher hast, die Du nicht mehr benötigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserlös für ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle Bücher eingegeben hast, kannst Du über einen Link Deinen Paketschein ausdrucken und die Bücher an uns versenden. Nach Eintreffen der Bücher erhältst Du garantiert innerhalb von drei Werktagen Dein Geld.…
Specialty
FachbücherSeller's business information
Studibuch GmbH
Neue Weinsteige 69
Stuttgart, Germany 70180
Terms of sale
§ 1 Geltungsbereich
(1) Diese allgemeinen Geschäftsbedingungen gelten für alle Geschäftsbeziehungen zwischen der Studibuch GmbH und ihren Kunden über physische Produkte (z.B. Bücher, CDs) und Dienstleistungen über sämtliche von Studibuch bereitgestellten Kanäle, z.B. Webshop, Applikationen (im Folgenden: App)
(2) Die allgemeinen Geschäftsbedingungen gelten in der jeweiligen, zum Zeitpunkt des Vertragsschlusses aktuellen Fassung. Je nach Endgerät des Kunden kann dieses Dokument ausgedruckt und/oder gespeichert ("Datei speichern unter") werden.
§ 2 Zustandekommen des Vertrages
(1) Die Darstellung des Sortiments von Studibuch stellt kein Angebot i.S.d. §§ 145 ff BGB dar, sondern eine unverbindliche Aufforderung an den Kunden, diese physischen Produkte (im Folgenden: Produkt/e) zu bestellen.
(2) Indem der Kunde per Internet (durch Anklicken des Buttons "Kaufen"), E-Mail, Telefon oder über sonstige Kommunikationswege eine Bestellung an Studibuch absendet, gibt er ein verbindliches Angebot auf Abschluss eines Vertrages mit Studibuch ab. Der Kunde erhält eine Bestätigung des Empfangs der Bestellung per E-Mail (Bestelleingangsbestätigung), in der die Bestelldaten aufgeführt sind. Diese Bestelleingangsbestätigung stellt keine Annahme des Angebots dar, sondern soll den Kunden nur darüber informieren, dass die Bestellung bei Studibuch eingegangen ist.
(3) Ein Kaufvertrag mit Studibuch über physische Produkte kommt zustande, wenn Studibuch das Angebot des Kunden annimmt, indem Studibuch das bestellte Produkt an den Kunden versendet bzw. den Versand an den Kunden mit einer zweiten E-Mail (Versandbestätigung) bestätigt.
(4) Über Produkte aus ein- und derselben Bestellung, die nicht in der Versandbestätigung aufgeführt sind, kommt kein Kaufvertrag zustande. Bei der Zahlungsart "Vorkasse" kommt der Kaufvertrag bereits mit Aufgabe der Bestellung durch den Kunden und Versand der Vorkasseaufforderung durch Studibuch zustande.
(5) Kann Studibuch das Angebot des Kunden nicht annehmen, wird der Kunde anstelle der Annahme der Bestellung über die Nichtverfügbarkeit informiert. Bereits erbrachte Gegenleistungen des Kunden werden unverzüglich erstattet.
(6) Auf Wunsch stellt Studibuch eine Kopie der Bestelldaten zur Verfügung.
§ 3 Preis, Fälligkeit, Bezahlung
(1) Alle Preise enthalten die gesetzliche Mehrwertsteuer.
(2) Studibuch akzeptiert nur die im Rahmen des Bestellvorgangs dem Kunden jeweils angezeigten Zahlungsarten. Soweit Studibuch eine gültige E-Mail-Adresse des Kunden vorliegt, erfolgt der Versand der Rechnung per E-Mail.
(3) Der Kaufpreis sowie ggf. anfallende Versandkosten werden vorbehaltlich Absatz 3 mit Rechnungsstellung fällig. Bei Zahlung per Bankeinzug und Kreditkarte erfolgt die Belastung am Tag der Rechnungsstellung.
(4) Studibuch behält sich vor, insbesondere in den Fällen, in denen sich im Zeitpunkt des Auftragseingangs offene Rechnungen bereits im Mahnlauf befinden, eine Vorkasse in Höhe des Auftragswerts zu verlangen. Gleiches gilt, wenn der Warenwert aller Aufträge, die Summe noch offener Rechnungen oder bereits auf den Versandweg gebrachte Aufträge im Zeitpunkt einer neuen Bestellung einen Betrag in Höhe von 200,00 EUR überschreiten. Eine Aufforderung, Vorkasse zu leisten, erhält darüber hinaus jeder Kunde, dessen Gutschriften 30 Prozent seines bisherigen Gesamtrechnungsvolumens erreichen bzw. überschreiten. Die Bestellung wird nach Zahlungseingang bearbeitet.
(5) Der Kunde ist zur Aufrechnung nur berechtigt, sofern und soweit seine Gegenansprüche rechtskräftig festgestellt, unbestritten oder von Studibuch anerkannt sind. Zur Ausübung eines Zurückbehaltungsrechts ist der Kunde nur befugt, wenn sein Gegenanspruch auf demselben Kaufvertrag beruht.
§ 4 Kundenrezensionen
Verfasst der Kunde eine Kundenrezension, ist Studibuch berechtigt, diesen Text über alle Kanäle, z.B. Webshop, eReader, und Social Media Auftritte der Studibuch GmbH anzuzeigen. Studibuch behält sich vor, eine Rezension nicht oder nur für einen begrenzten Zeitraum und, soweit dies aus rechtlichen Gründen geboten ist (z.B. bei Verletzung von Persönlichkeitsrechten), gekürzt anzuzeigen. Kundenrezensionen geben ausschließlich die Meinung der Kunden wieder und stimmen nicht unbedingt mit der Auffassung von Studibuch überein.
^ nach oben
§ 5 Gewährleistung
(1) Studibuch wird für Mängel im Rahmen der gesetzlichen Bestimmungen einstehen.
(2) Bei Verträgen mit Verbrauchern gemäß § 13 BGB, d.h. die Bestellung kann weder einer gewerblichen noch selbständigen beruflichen Tätigkeit des Kunden zugeordnet werden, beträgt die Gewährleistungsfrist 2 Jahre ab Ablieferung der Ware. Bei Bestellungen von Kunden, die gemäß § 14 BGB Unternehmer sind, ist die Gewährleistungsfrist auf ein Jahr beschränkt.
§ 6 Haftung
Studibuch schließt die Haftung für leicht fahrlässige Pflichtverletzungen aus, sofern
a) dies keine Garantien oder vertragswesentlichen Pflichten betrifft, d.h. Verpflichtungen, deren Erfüllung die ordnungsgemäße Durchführung des Vertrages überhaupt erst ermöglichen und auf deren Einhaltung der Vertragspartner regelmäßig vertraut und vertrauen darf, b) es nicht um Schäden aus der Verletzung des Lebens, des Körpers oder der Gesundheit geht, c) Ansprüche nach dem Produkthaftungsgesetz unberührt bleiben. Gleiches gilt für Pflichtverletzungen unserer Erfüllungsgehilfen.
§ 7 Datenschutz
Studibuch verpflichtet sich, die personenbezogenen Daten der Kunden nach den datenschutzrechtlichen Bestimmungen (insbesondere BDSG und TMG) vertraulich zu behandeln.
§ 8 Streitschlichtung
Ab dem 15. Februar 2016 stellt die EU-Kommission eine Plattform für außergerichtliche Streitschlichtung bereit. Verbrauchern gibt dies die Möglichkeit, Streitigkeiten im Zusammenhang mit Ihrer Online-Bestellung zunächst ohne die Einschaltung eines Gerichts zu klären. Die Streitbeilegungs-Plattform ist unter dem externen Link http://ec.europa.eu/consumers/odr/ erreichbar. In diesem Zusammenhang sind wir gesetzlich verpflichtet, Sie auf unsere E-Mail-Adresse hinzuweisen. Diese lautet: info@studibuch.de.
§ 9 Anschriften
Anbieter und Vertragspartner:
Studibuch GmbH / Neue Weinsteige 69 / 70180 Stuttgart / Deutschland
E-Mail: info@studibuch.de
Sitz der Gesellschaft:
Studibuch GmbH Neue Weinsteige 69
70180 Stuttgart, Geschäftsführer: Lutz Gaissmaier Amtsgericht , HRB, Ust.-Id.: DE
§ 11 Schlussbestimmungen
(1) Der Vertragsschluss erfolgt ausschließlich in deutscher Sprache. Für die Rechtsbeziehungen der Kunden und Studibuch gilt deutsches Recht ohne die Verweisungsnormen des Internationalen Privatrechts und unter Ausschluss des UN-Kaufrechts (CISGG). Ist der Kunde Verbraucher kann auch das Recht am Wohnsitz des Kunden anwendbar sein, sofern es sich um zwingende verbraucherrechtliche Bestimmungen handelt.
(2) Sofern der Kunde Kaufmann ist, ist Stuttgart ausschließlicher Gerichtsstand für alle Ansprüche im Zusammenhang mit der Geschäftsbeziehung.
(3) Sollten ein oder mehrere Bestimmungen dieser allgemeinen Geschäftsbedingungen ganz oder teilweise unwirksam sein oder ihre Rechtswirksamkeit später verlieren, so wird hierdurch die Wirksamkeit der Geschäftsbedingungen im Übrigen nicht berührt.
Shipping terms
Shipping outside Germany
For shipments outside Germany, we include insurance coverage up to €50 (for packages up to 2kg). Additionally, a tracking number is provided.
Important! Returns due to refusal of acceptance or failure to collect
Shipments returned to us due to refusal of acceptance by the customer or failure to collect from the delivery service provider in time are not considered regular returns under the right of withdrawal. In such cases, we reserve the right to deduct a flat-rate processing and return shipping fee from the refund amount.
The fees consist of a handling charge and return shipping costs and are as follows:
For returns within Germany: €4.90
For returns from abroad: €12.90
The total fee will be automatically deducted from the refund.