Verwandte Artikel zu Computability, Complexity, and Languages: Fundamentals...

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing) - Softcover

 
9780122063824: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

Inhaltsangabe

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Born in New York City in 1928, Martin Davis was a student of Emil L. Post at City College and his doctorate at Princeton in 1950 was under the supervision of Alonzo Church. Davis's book Computability and Unsolvability (1958) has been called "one of the few real classics in computer science." He is best known for his pioneering work in automated deduction and for his contributions to the solution of Hilbert's tenth problem. For this latter work he was awarded the Chauvenet and Lester R. Ford Prizes by the Mathematical Association of America and the Leroy P. Steele Prize by the American Mathematical Society. In 1983 he was a Guggenheim Foundation Fellow and in 2005 he received the Herbrand Prize from the Conference on Automated Deduction. His books have been translated into a number of languages including Russian and Japanese. Davis has been on the faculty of the Courant Institute of Mathematical Sciences of New York University since 1965, was one of the charter members of the Computer Science Department founded in 1969, and is now Professor Emeritus. He is currently a Visiting Scholar at the University of California, Berkeley.

Ron Sigal is an independently employed software developer who has held positions at Yale University, Lafayette College, Hofstra University, and the University of Catania in Italy. He has a PhD in computer science and has published in the areas of mathematical logic, robotics, and programming languages.

Elaine Weyuker is a researcher at AT&T Labs who specializes in empirical software engineering and testing research. She is a member of the National Academy of Engineering, an IEEE Fellow, an ACM Fellow, and an AT&T Fellow. She is the co-chair of the ACM Committee on Women in Computing (ACM-W) and a member of the Coalition to Diversify Computing's steering committee. She was the 2004 recipient of the Harlan D. Mills Award, the Rutgers University 50th Anniversary Outstanding Alumni Award, and the AT&T Chairman's Diversity Award. Before moving to AT&T, she was a computer science professor at the Courant Institute of Mathematical Sciences of NYU.

Von der hinteren Coverseite

This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagAcademic Press
  • Erscheinungsdatum1994
  • ISBN 10 0122063821
  • ISBN 13 9780122063824
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage2
  • Anzahl der Seiten630
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Befriedigend
A copy that has been read, remains...
Diesen Artikel anzeigen

EUR 10,48 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

Suchergebnisse für Computability, Complexity, and Languages: Fundamentals...

Foto des Verkäufers

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
Verlag: Morgan Kaufmann, 1994
ISBN 10: 0122063821 ISBN 13: 9780122063824
Gebraucht Softcover

Anbieter: -OnTimeBooks-, Phoenix, AZ, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase please return item for full refund. Ships via media mail. Bestandsnummer des Verkäufers OTV.0122063821.G

Verkäufer kontaktieren

Gebraucht kaufen

EUR 14,07
Währung umrechnen
Versand: EUR 10,48
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
ISBN 10: 0122063821 ISBN 13: 9780122063824
Gebraucht Hardcover

Anbieter: ThriftBooks-Dallas, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.3. Bestandsnummer des Verkäufers G0122063821I3N10

Verkäufer kontaktieren

Gebraucht kaufen

EUR 14,93
Währung umrechnen
Versand: EUR 15,10
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Davis, Martin
Verlag: Morgan Kaufmann, 2003
ISBN 10: 0122063821 ISBN 13: 9780122063824
Gebraucht Softcover

Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1100grams, ISBN:9780122063824. Bestandsnummer des Verkäufers 5845468

Verkäufer kontaktieren

Gebraucht kaufen

EUR 24,80
Währung umrechnen
Versand: EUR 6,87
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
Verlag: Morgan Kaufmann, 1994
ISBN 10: 0122063821 ISBN 13: 9780122063824
Gebraucht Softcover

Anbieter: Friends of Johnson County Library, Lenexa, KS, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. Hardcover book. The exterior can have some minor wear. Dust jacket shows only light wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library. Bestandsnummer des Verkäufers 53DTTR000R2G

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,36
Währung umrechnen
Versand: EUR 38,91
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Martin Davis
ISBN 10: 0122063821 ISBN 13: 9780122063824
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. Englisch. Bestandsnummer des Verkäufers 9780122063824

Verkäufer kontaktieren

Neu kaufen

EUR 54,95
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Davis, Martin|Sigal, Ron|Weyuker, Elaine J.
ISBN 10: 0122063821 ISBN 13: 9780122063824
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers the key areas of computer science, including recursive function theory, formal languages, and automata. This book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. It also covers in a variety of d. Bestandsnummer des Verkäufers 594356261

Verkäufer kontaktieren

Neu kaufen

EUR 57,24
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
Verlag: Morgan Kaufmann, 1994
ISBN 10: 0122063821 ISBN 13: 9780122063824
Gebraucht Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Bestandsnummer des Verkäufers 494522-5

Verkäufer kontaktieren

Gebraucht kaufen

EUR 46,40
Währung umrechnen
Versand: EUR 17,48
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Martin Davis
ISBN 10: 0122063821 ISBN 13: 9780122063824
Neu Taschenbuch
Print-on-Demand

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. Bestandsnummer des Verkäufers 9780122063824

Verkäufer kontaktieren

Neu kaufen

EUR 65,55
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
Verlag: Morgan Kaufmann, 1994
ISBN 10: 0122063821 ISBN 13: 9780122063824
Gebraucht Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Bestandsnummer des Verkäufers 494522-5

Verkäufer kontaktieren

Gebraucht kaufen

EUR 51,63
Währung umrechnen
Versand: EUR 17,71
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Martin Davis
ISBN 10: 0122063821 ISBN 13: 9780122063824
Neu Hardcover

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: New. Bestandsnummer des Verkäufers 6666-ELS-9780122063824

Verkäufer kontaktieren

Neu kaufen

EUR 58,58
Währung umrechnen
Versand: EUR 15,34
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 18 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen