Bokus

David Harel – författare

Visar alla böcker från författaren David Harel. Handla med fri frakt och snabb leverans.

22 produkter

  1. David Harel, Dexter Kozen, Jerzy Tiuryn - Dynamic Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Dynamic Logic

    Av David Harel, Dexter Kozen m. fl.

    Häftad, 2000

    1030 kr

    Lägg i varukorg

  2. David Harel, Yishai Feldman - Algorithmics, Häftad. Tillgänglighet: Lägg i varukorg

    Algorithmics

    The Spirit of Computing

    Av David Harel, Yishai Feldman

    Häftad, 2004

    1148 kr

    Lägg i varukorg

    The best selling 'Algorithmics' presents the most important, concepts, methods and results that are fundamental to the science of computing. It starts by introducing the basic ideas of algorithms, including their structures and methods of data manipulation. It then goes on to demonstrate how to …

  3. Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Engineering Theories of Software Intensive Systems

    Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

    Av Manfred Broy, Johannes Gruenbauer m. fl.

    Inbunden, 2005

    2250 kr

    Lägg i varukorg

    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 …

  4. Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Engineering Theories of Software Intensive Systems

    Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

    Av Manfred Broy, Johannes Gruenbauer m. fl.

    Häftad, 2005

    2250 kr

    Lägg i varukorg

    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 …

  5. Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy - Engineering Theories of Software Intensive Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Engineering Theories of Software Intensive Systems

    Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

    Av Tony Hoare, David Harel m. fl.

    E-bok, 2005

    3013 kr

    Lägg i varukorg

    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 …

  6. David Harel, Rami Marelly - Come, Let’s Play, Inbunden. Tillgänglighet: Lägg i varukorg

    Come, Let’s Play

    Scenario-Based Programming Using LSCs and the Play-Engine

    Av David Harel, Rami Marelly

    Inbunden, 2003

    566 kr

    Lägg i varukorg

    This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con­ centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. …

  7. David Harel, Yishai Feldman - Algorithmik, Inbunden. Tillgänglighet: Lägg i varukorg

    Algorithmik

    Die Kunst des Rechnens

    Av David Harel, Yishai Feldman

    Inbunden, 2006

    530 kr

    Lägg i varukorg

    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 …

  8. Yishai Feldman, David Harel - Algorithmik, E-bok. Tillgänglighet: Lägg i varukorg

    Algorithmik

    Die Kunst des Rechnens

    Av Yishai Feldman, David Harel

    E-bok, 2006

    308 kr

    Lägg i varukorg

    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 …

  9. David Harel - Das Affenpuzzle und weitere bad news aus der Computerwelt, Inbunden. Tillgänglighet: Lägg i varukorg

    Das Affenpuzzle und weitere bad news aus der Computerwelt

    und weitere bad news aus der Computerwelt

    Av David Harel

    Inbunden, 2001

    312 kr

    Lägg i varukorg

    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 …

  10. Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio - Model Driven Engineering Languages and Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Model Driven Engineering Languages and Systems

    9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

    Av Oscar Nierstrasz, Jon Whittle m. fl.

    Häftad, 2006

    1126 kr

    Lägg i varukorg

    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 papers presented were …

  11. Gianna Reggio, David Harel, Jon Whittle, Oscar Nierstrasz - Model Driven Engineering Languages and Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Model Driven Engineering Languages and Systems

    9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

    Av Gianna Reggio, David Harel m. fl.

    E-bok, 2006

    1470 kr

    Lägg i varukorg

  12. Joost N. Kok, Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree - Algorithmic Bioprocesses, Inbunden. Tillgänglighet: Lägg i varukorg

    Algorithmic Bioprocesses

    Av Joost N. Kok, Anne Condon m. fl.

    Inbunden, 2009

    2179 kr

    Lägg i varukorg

    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 …

  13. Erik Winfree, Arto Salomaa, Joost N. Kok, David Harel, Anne Condon - Algorithmic Bioprocesses, E-bok. Tillgänglighet: Lägg i varukorg

    Algorithmic Bioprocesses

    Av Erik Winfree, Arto Salomaa m. fl.

    E-bok, 2009

    2862 kr

    Lägg i varukorg

    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 …

  14. David Harel, Yishai Feldman - Algorithmik, Häftad. Tillgänglighet: Lägg i varukorg

    Algorithmik

    Die Kunst des Rechnens

    Av David Harel, Yishai Feldman

    Häftad, 2009

    342 kr

    Lägg i varukorg

    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 …

  15. Rami Marelly, David Harel - Come, Let's Play, E-bok. Tillgänglighet: Lägg i varukorg

    Come, Let's Play

    Scenario-Based Programming Using LSCs and the Play-Engine

    Av Rami Marelly, David Harel

    E-bok, 2012

    739 kr

    Lägg i varukorg

    This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con­ centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. …

  16. Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree - Algorithmic Bioprocesses, Häftad. Tillgänglighet: Lägg i varukorg

    Algorithmic Bioprocesses

    Av Anne Condon, David Harel m. fl.

    Häftad, 2012

    2179 kr

    Lägg i varukorg

    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 …

  17. David Harel, Yishai Feldman - Algorithmics, Inbunden. Tillgänglighet: Lägg i varukorg

    Algorithmics

    The Spirit of Computing

    Av David Harel, Yishai Feldman

    Inbunden, 2012

    876 kr

    Lägg i varukorg

    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, similar to the role of …

  18. David Harel, Yishai Feldman - Algorithmics, Häftad. Tillgänglighet: Lägg i varukorg

    Algorithmics

    The Spirit of Computing

    Av David Harel, Yishai Feldman

    Häftad, 2014

    645 kr

    Lägg i varukorg

    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, similar to the role of …

  19. David Harel, Rami Marelly - Come, Let’s Play, Häftad. Tillgänglighet: Lägg i varukorg

    Come, Let’s Play

    Scenario-Based Programming Using LSCs and the Play-Engine

    Av David Harel, Rami Marelly

    Häftad, 2012

    566 kr

    Lägg i varukorg

    This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con­ centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. …

  20. David Harel - Das Affenpuzzle und weitere bad news aus der Computerwelt, Häftad. Tillgänglighet: Lägg i varukorg

    Das Affenpuzzle und weitere bad news aus der Computerwelt

    und weitere bad news aus der Computerwelt

    Av David Harel

    Häftad, 2012

    262 kr

    Lägg i varukorg

    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 …

  21. David Harel, Yishai Feldman - Algoritmi, Häftad. Tillgänglighet: Lägg i varukorg

    Algoritmi

    Lo spirito dell'informatica

    Av David Harel, Yishai Feldman

    Häftad, 2007

    604 kr

    Lägg i varukorg

    Un'eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilità e alla complessità, il libro è scritto in una forma allo stesso tempo elegante e schietto che fa sì che possa essere considerato sia un valido testo per un corso introduttivo di Informatica, …

  22. Yishai Feldman, David Harel - Algoritmi, E-bok. Tillgänglighet: Lägg i varukorg

    Algoritmi

    Lo spirito dell''informatica

    Av Yishai Feldman, David Harel

    E-bok, 2008

    393 kr

    Lägg i varukorg

    Un''eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilità e alla complessità, il libro è scritto in una forma allo stesso tempo elegante e schietto che fa sì che possa essere considerato sia un valido testo per un corso introduttivo di …