Suchresultat
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 [...]
Englisch; Taschenbuch
Erschienen: 08.03.2013 / Lieferfrist: 1-2 Wochen (Titel wird auf Bestellung gedruckt)
CHF 95.00
Algorithmics (Buch)
Yishai Feldman (Autor), David Harel (Autor)
Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biology and biochemistry, [...]
Englisch; Fester Einband
Erschienen: Mai 2012 / Lieferfrist: 2-3 Tage
CHF 85.00
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 [...]
Englisch; Taschenbuch
Erschienen: Dezember 2013 / Lieferfrist: 1-2 Wochen (Titel wird auf Bestellung gedruckt)
CHF 231.10
Rebirth of Israel Passover Haggadah (Buch)
David Harel (Autor), David Harel (Illustration), Haya Harel (Herausgeber)
This bilingual edition of "The Rebirth of Israel Passover Haggadah" is a unique Haggadah that draws an analogy between the idea of freedom and exodus inherent in the Passover Festival and the national liberation and rebirth of the Jewish people in the modern era. The [...]
Englisch; Fester Einband
Erschienen: Juni 2009 / Lieferfrist: mind. 4 Wochen (Titel wird speziell besorgt)
CHF 45.00
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 [...]
Englisch; Fester Einband
Erschienen: 08.09.2009 / Lieferfrist: 5-7 Tage
CHF 267.20
The Schechter Haggadah (Buch)
David Golinkin (Autor), Joshua Kulp (Autor), Joshua (TRN)/ Golinkin Kulp (Autor), David Harel (Herausgeber)
Englisch; Fester Einband
Erschienen: Juni 2009 / Lieferfrist: mind. 4 Wochen (Titel wird speziell besorgt)
CHF 69.00
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 [...]
Englisch; Taschenbuch
Erschienen: 26.06.2009 / Lieferfrist: 1-2 Wochen (Titel wird auf Bestellung gedruckt)
CHF 144.50
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 [...]
Englisch; Fester Einband
Erschienen: 14.04.2009 / Lieferfrist: 5-7 Tage
CHF 288.90
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 [...]
Englisch; Taschenbuch
Erschienen: 14.04.2009 / Lieferfrist: 1-2 Wochen (Titel wird auf Bestellung gedruckt)
CHF 173.40
Dynamic Logic (Buch)
David Harel (Autor), Dexter Kozen (Autor), Jerzy Tiuryn (Autor)
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 [...]
Englisch; Fester Einband
Erschienen: 2000 / Lieferfrist: 3-5 Wochen (Titel wird speziell besorgt)
CHF 82.80
First-Order Dynamic Logic (Buch)
D. Harel (Autor), David Harel (Autor)
Englisch; Taschenbuch
Erschienen: 26.06.2009 / Lieferfrist: 1-2 Wochen (Titel wird auf Bestellung gedruckt)
CHF 15.90
Come, Let's Play, w. CD-ROM (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 [...]
Englisch; Fester Einband
Erschienen: 2003 / Lieferfrist: 2-3 Wochen (Titel wird auf Bestellung gedruckt)
CHF 95.00
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 [...]
Englisch; Taschenbuch
Erschienen: 15.08.2003 / Lieferfrist: 3-5 Wochen (Titel wird speziell besorgt)
CHF 24.90
Algorithmic Bioprocesses (E-Book)
Anne Condon (Autor), David Harel (Autor), Joost N. Kok (Autor), Arto Salomaa (Autor), Erik Winfree (Autor)
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 [...]
Englisch; E-Book
Erschienen: 2009 / Lieferfrist: Sofort per Download verfügbar
CHF 214.00
Engineering Theories of Software Intensive Systems (E-Book)
Manfred Broy (Autor), Johannes Grünbauer (Autor), David Harel (Autor), Tony Hoare (Autor)
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 [...]
Englisch; E-Book
Erschienen: 15.07.2005 / Lieferfrist: Sofort per Download verfügbar
CHF 113.70