Search - List of Books by David Harel

Total Books: 19
Algorithmics The Spirit of Computing
2014 - Algorithmics the Spirit of Computing (Paperback)Hardcover
ISBN-13: 9783642441356
ISBN-10: 3642441351
Genre: Computers & Technology
  ?

Algorithmics The Spirit of Computing
2012 - Algorithmics the Spirit of Computing (Hardcover)Paperback
ISBN-13: 9783642272653
ISBN-10: 3642272657
Genre: Computers & Technology
  ?

Algorithmik Die Kunst des Rechnens
2009 - Algorithmik Die Kunst Des Rechnens [German Edition] (Paperback)Hardcover
ISBN-13: 9783642043383
ISBN-10: 3642043380
  ?

Algorithmik Die Kunst des Rechnens
2006 - Algorithmik Die Kunst Des Rechnens [German Edition] (Hardcover)Paperback
ISBN-13: 9783540243427
ISBN-10: 3540243429
  ?

Algorithmics  The Spirit of Computing
2004 - Algorithmics the Spirit of Computing [3rd Edition] (Paperback)Paperback
ISBN-13: 9780321117847
ISBN-10: 0321117840
Genre: Computers & Technology
  ?

Computers Ltd What They Really Can't Do
2003 - Computers Ltd What They Really Can't Do [Oxford Paperbacks] (Paperback)Hardcover
ISBN-13: 9780198604426
ISBN-10: 0198604424
Genres: Computers & Technology, Nonfiction
  ?

Come Let's Play Scenario-Based Programming Using LSCs and the Play-Engine
Das Affenpuzzle und weitere bad news aus der Computerwelt
2001 - Das Affenpuzzle Und Weitere Bad News Aus Der Computerwelt [German Edition] (Hardcover)
ISBN-13: 9783540423072
ISBN-10: 3540423079
  ?

Computers Ltd What They Really Can't Do
2000 - Computers Ltd What They Really Can't Do (Hardcover)Paperback
ISBN-13: 9780198505556
ISBN-10: 0198505558
Genre: Computers & Technology
  ?

Dynamic Logic
2000 - Dynamic Logic [Foundations of Computing] (Hardcover)
ISBN-13: 9780262082891
ISBN-10: 0262082896
Genres: Computers & Technology, Reference
  ?

Oxford Maths Zone Recording Book Year R term 2
2000 - Oxford Maths Zone Recording Book Year R Term 2 (Paperback)
ISBN-13: 9780198360018
ISBN-10: 0198360010
  ?

Oxford Maths Zone Shared Activity Book Year R term 2
2000 - Oxford Maths Zone Shared Activity Book Year R Term 2 (Other)
ISBN-13: 9780198360100
ISBN-10: 019836010X
  ?

Modeling Reactive Systems With Statecharts  The Statemate Approach
1998 - Modeling Reactive Systems with Statecharts the Statemate Approach (Hardcover)
ISBN-13: 9780070262058
ISBN-10: 0070262055
Genre: Computers & Technology
  ?

Real-Time UML Developing Efficient Objects for Embedded Systems
1997 - Real-time Uml Developing Efficient Objects for Embedded Systems (Paperback)Paperback
ISBN-13: 9780201325799
ISBN-10: 0201325799
Genre: Computers & Technology
  ?

Algorithmics The Spirit of Computing
1992 - Algorithmics the Spirit of Computing [2nd Edition] (Paperback)Paperback
ISBN-13: 9780201504019
ISBN-10: 0201504014
Genre: Computers & Technology
  ?

Algorithmics The Spirit of Computing
1987 - Algorithmics the Spirit of Computing (Paperback)Paperback
ISBN-13: 9780201192407
ISBN-10: 0201192403
Genre: Computers & Technology
  ?

First-Order Dynamic Logic
First-order Dynamic Logic [Lecture Notes in Computer Science] (Paperback)Paperback
ISBN-13: 9780387092379
ISBN-10: 0387092374
  ?

Pirke yesod be-madae ha-mahshev
Pirke Yesod Be-madae Ha-mahshev [Sifriyat universitah meshuderet - Hebrew Edition] (Other)
ISBN-13: 9789650502454
ISBN-10: 9650502459
Genre: Science & Math
  ?