Suchresultat

Das Affenpuzzle und weitere bad news aus der Computerwelt (Buch)

David Harel (Autor)

In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstärksten Computer der Welt nicht alles können und niemals können werden. Eine provokative, mit Überraschungen gewürzte Botschaft, die [...]

Zum Artikel

Come, Let s Play (Buch)

David Harel (Autor), Rami Marelly (Autor)

This book presents a powerful new language and methodology for programming complex reactive systems in a scenario-based manner. The language is live sequence charts (LSCs), a multimodal extension of sequence charts and UML's sequence diagrams, used in the past mainly for [...]

Zum Artikel

Prise en charge de la douleur aigüe dans les services d'urgences (Buch)

David Harel (Autor)

Etat des lieux de la prise en charge de la douleur aiguë dans les services d'urgences adultes de Basse- Normandie. Pour faire cet état des lieux, nous avons donc réalisé une étude multicentrique sur 24 heures dans 18 services d'urgences adultes de Basse- Normandie, au cours [...]

Zum Artikel

Komputery - spolka z o.o (Buch)

David Harel (Autor)

Wbrew powszechnie panujacej opinii komputery nie potrafia wszystkiego. Istnieja bowiem zagadnienia, co do ktorych wiadomo, ze nie maja algorytmicznego rozwiazania, a takze takie, co do ktorych wiadomo, ze dane rozwiazanie jest zupelnie niepraktyczne z uwagi na [...]

Zum Artikel

Algorithmic Bioprocesses (Buch)

Anne Condon (Herausgeber), David Harel (Herausgeber), Joost N. Kok (Herausgeber), Arto Salomaa (Herausgeber), Erik Winfree (Herausgeber)

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 [...]

Zum Artikel

Algoritmi (Buch)

Yishai Feldman (Autor), David Harel (Autor)

Gli algoritmi sono il cuore dell informatica e della matematica, poiché senza di loro l uso del computer non sarebbe possibile. In questo libro, che nella sua edizione inglese è un bestseller da molto tempo, Harel e Feldmann rispondono a tutte le domande relative a questo [...]

Zum Artikel

Algorithmik (Buch)

Yishai Feldman (Autor), David Harel (Autor)

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 [...]

Zum Artikel

Engineering Theories of Software Intensive Systems (Buch)

Manfred Broy (Herausgeber), Johannes Gruenbauer (Herausgeber), David Harel (Herausgeber), Tony Hoare (Herausgeber)

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 [...]

Zum Artikel

Model Driven Engineering Languages and Systems (Buch)

David Harel (Herausgeber), Oscar Nierstrasz (Herausgeber), Gianna Reggio (Herausgeber), Jon Whittle (Herausgeber)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited [...]

Zum Artikel

First-Order Dynamic Logic (Buch)

D. Harel (Autor), David Harel (Autor)

Zum Artikel

Computers Ltd : What They Really Can't Do (Buch)

David Harel (Autor)

David Harel explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. He looks at the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or [...]

Zum Artikel