It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 7, 2008 | History
Edit

David Harel

We need a photo of David Harel

Born 1950

16 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Algorithmics: The Spirit of Computing (3rd Edition)

    First published in 1987 — 5 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Algorithmics: the spirit of computing

    Cover of edition algorithmicsspir00hare_323 First published in 1987 — 5 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Real-time UML: developing efficient objects for embedded systems

    Cover of edition realtimeumladvan0000doug First published in 1997 — 5 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computers Ltd.: what they really can't do

    Cover of edition computersltdwhat00hare First published in 2000 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

    First published in 2003 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Algoritmi (UNITEXT / Collana di Informatica)

    First published in 2008 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Pirḳe yesod be-madaʻe ha-maḥshev

    First published in 1985 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Oxford Maths Zone

    First published in 2000 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Das Affenpuzzle: und weitere bad news aus der Computerwelt

    First published in 2001 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Modeling reactive systems with statecharts: the statemate approach

    First published in 1998 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: ha-Maḥshev eno kol-yakhol

    First published in 2004 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rzecz o istocie informatyki: algorytmika

    First published in 2000 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: First-order dynamic logic

    First published in 1979 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The science of computing: exploring the nature and power of algorithms

    First published in 1989 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rzecz o istocie informatyki: Algorytmika

    First published in 2001 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: המחשב אינו כל־יכול

    First published in 2012 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of David Harel

Born 1950

Subjects

Computer software, Computers, Computer algorithms, Electronic data processing, Algorithms, Object-oriented programming (Computer science), System design, 004, 005.1/17, Algorytmy, Computer programming, Computer science, Development, Embedded computer systems, Embedded computer systems--programming, Informatyka, Logic, Symbolic and mathematical, Object-oriented methods (Computer science), Object-oriented programming (computer science), Programming, Qa76.5 .h3575 2000, Qa76.6 .d658 2004, Real-time data processing, Real-time programming, Recursion theory

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL224414A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 7, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import