Author: David Harel
Publisher: Springer
Keywords: der, computerwelt, german, aus, news, affenpuzzle, und, weitere, das
Number of Pages: 207
Published: 2001-10-18
List price: $29.95
ISBN-10: 3540423079
ISBN-13: 9783540423072

Können Computer alles? Wenn es so wäre, gäbe es dieses Buch nicht. Es beweist bestechend logisch, dass selbst die größten, schnellsten, intelligentesten und teuersten Computer der Welt nur beschränkt leistungsfähig sind. Der Mensch kann noch so viel Geld, Zeit und Know-how investieren, es gibt Computer-Probleme, die er niemals lösen wird. Eine beunruhigende, provokative Botschaft - und doch: wussten wir es nicht eigentlich schon, haben es aber nie wirklich glauben wollen? Der bekannte Computer-Wissenschaftler David Harel vermittelt die mathematischen Fakten spannend, unterhaltsam und a

Authors:David Harel, Yishai Feldman,
Publisher: Addison Wesley
Keywords: computing, spirit, algorithmics
Number of Pages: 536
Published: 2004-06-11
List price: $77.40
ISBN-10: 0321117840
ISBN-13: 9780321117847

This book presents the concepts, methods, and results that are fundamental to the science of computing. The book begins with the basic ideas of algorithms such as the structure and the methods of data manipulation, and then moves on to demonstrate how to design an accurate and efficient algorithm. Inherent limitations to algorithmic design are also discussed throughout the second part of the text. The third edition features an introduction to the object-oriented paradigm along with new approaches to computation. Anyone interested in being introduced to the theory of computer science.

Authors:David Harel, Yishai Feldman,
Publisher: Springer
Keywords: german, rechnens, des, kunst, algorithmik
Number of Pages: 608
Published: 2006-08-03
List price: $69.95
ISBN-10: 3540243429
ISBN-13: 9783540243427

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren überhaupt möglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z.B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einführungskurses in die Inf

Authors:David Harel, Dexter Kozen, Jerzy Tiuryn,
Publisher: The MIT Press
Keywords: computing, foundations, logic, dynamic
Number of Pages: 450
Published: 2000-10-02
List price: $60.00
ISBN-10: 0262082896
ISBN-13: 9780262082891

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity th

Authors:Anne Condon, David Harel, Joost N. Kok, Arto Salomaa,
Publisher: Springer
Keywords: series, computing, natural, bioprocesses, algorithmic
Number of Pages: 742
Published: 2009-10-07
List price: $179.00
ISBN-10: 3540888683
ISBN-13: 9783540888680

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry, and DNA-oriented nanoscience on the other. In particular, this book offers a comprehensive overview of research into algorithmic self-assembly, RNA folding, the algorithmic foundations for biochemical reactions, and the algorithmic nature of developmental processes. The editors of the book invited 36 chapters, written by the leading researchers in

Authors:Manfred Broy, Johannes Gruenbauer, David Harel, Tony
Publisher: Springer
Keywords: engineering, intensive, systems, theories, software, mathematics, physics, chemistry, institute, nato, proceedings, advanced, study
Number of Pages: 404
Published: 2005-09-01
List price: $99.95
ISBN-10: 1402035314
ISBN-13: 9781402035319

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applicat

Authors:Manfred Broy, Johannes Gruenbauer, David Harel, Tony
Publisher: Springer
Keywords: engineering, intensive, systems, theories, software, mathematics, physics, chemistry, institute, nato, proceedings, advanced, study
Number of Pages: 404
Published: 2005-08
List price: $199.00
ISBN-10: 1402035306
ISBN-13: 9781402035302

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applicat