David Harel's Documents

David Harel's Documents

Computers Ltd: What They Really Can't Do

Computers Ltd: What They Really Can't Do
Read more
Algorithmics: The Spirit of Computing

Algorithmics: The Spirit of Computing
Read more
Computers Ltd: What They Really Can't Do

Computers Ltd: What They Really Can't Do
Read more
Rzecz o istocie informatyki: algorytmika

Rzecz o istocie informatyki: algorytmika
Read more
Modeling Reactive Systems With Statecharts : The Statemate Approach

Modeling Reactive Systems With Statecharts : The Statemate Approach
Read more
Algorithmics. Spirit of Computing

Algorithmics. Spirit of Computing
Read more
Algorithmik: Die Kunst des Rechnens

Algorithmik: Die Kunst des Rechnens
Read more
Espaces en perdition : Tome 2, Humanites jetables

Espaces en perdition : Tome 2, Humanites jetables
Read more
A Theory of Direct Legislation (Law and Society) (Law and Society)

A Theory of Direct Legislation (Law and Society) (Law and Society)
Read more
Dynamic Logic

Dynamic Logic
Read more
Algorithmik: Die Kunst des Rechnens (German Edition)

Algorithmik: Die Kunst des Rechnens (German Edition)
Read more
הבית ברחוב גריבלדי (The House on Garibaldi Street)

הבית ברחוב גריבלדי (The House on Garibaldi Street)
Read more
Dynamic logic

Dynamic logic
Read more
Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)
Read more
34 Days: Israel, Hezbollah, and the War in Lebanon

34 Days: Israel, Hezbollah, and the War in Lebanon
Read more
The Development of Multiplicative Reasoning in the Learning of Mathematics

The Development of Multiplicative Reasoning in the Learning of Mathematics
Read more
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Read more
Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
Read more
Linking Quality of Long-Term Care and Quality of Life

Linking Quality of Long-Term Care and Quality of Life
Read more
Holocaust Survivors and Immigrants: Late Life Adaptations (Springer Series on Stress and Coping)

Holocaust Survivors and Immigrants: Late Life Adaptations (Springer Series on Stress and Coping)
Read more
Holocaust Survivors and Immigrants: Late Life Adaptations (Springer Series on Stress and Coping)

Holocaust Survivors and Immigrants: Late Life Adaptations (Springer Series on Stress and Coping)
Read more
Algorithmic bioprocesses

Algorithmic bioprocesses
Read more
The Adventures of Dannen Lifehold 1 Breaking Free

The Adventures of Dannen Lifehold 1 Breaking Free
Read more
Mentoring Executives and Directors

Mentoring Executives and Directors
Read more
Geographic Information Analysis

Geographic Information Analysis
Read more
Handbook of Thromboprophylaxis, 2nd Edition

Handbook of Thromboprophylaxis, 2nd Edition
Read more
2d Artwork and 3d Modelling for Game Artists

2d Artwork and 3d Modelling for Game Artists
Read more
Assassin's Creed: Prima Official Game Guide (Prima Official Game Guides)

Assassin's Creed: Prima Official Game Guide (Prima Official Game Guides)
Read more
The Big Picture: Reflections on Science, Humanity, and a Quickly Changing Planet

The Big Picture: Reflections on Science, Humanity, and a Quickly Changing Planet
Read more
The Aid Effect: Ethnographies of Development Practice and Neo-liberal Reform (Anthropology, Culture and Society)

The Aid Effect: Ethnographies of Development Practice and Neo-liberal Reform (Anthropology, Culture and Society)
Read more